[离散数学基础]耿素云

【离散数学基础】耿素云.pdf离散数学基础 耿素云屈婉玲编著 北京前言 离散数学是现代数学的-一个分支,通过这门课程的学习,可 以培养学生的抽象思维和严格逻辑推理的能力,并使他们掌握处 理离散结构所必须的描述工具和方法,离散数学是计算机专业的 一门重要的专业基础课,它在计算机科学与技术中有着广泛的应 近十多年来,许多离散数学教材陆续出版,其中大多数教材 的内容是针对计算机专业本科水平的,对于专科学生来说,内容 显得过多、过深。为此,我们编写了《离散数学基础》这本书做 为计算机专业大学专科的离散数学教材,同时也可以做为相关专 业大学本科或专科的离散数学教材或教学参考书.录 第一部分数理逻辑 第二部分集合论 目 1命题与联结词 命题公式与赋值 等值演算 析取范式与合取范式 命题逻辑的推理理论 1例题分析 一阶逻辑 一阶逻辑的基本概念 一阶逻辑公式及解释 一阶逻辑等值式与前束范式 一阶逻辑推理理论 第三章集合的基本概念和运算 集合的基本概念 集合的基本运算 集合恒等式 第一章命题逻辑 1 1 1 1 习题一 第二章 2 2 2 2 2例题分析 习题二 3 3 3.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。