【离散数学】王朝阳.pdf
离散数学 勤 尚肖飞陈慧琴秦少青 编委罗满叶红潘祝山 林尚垣宋伟李永安 杨运平林大志 面向21世纪高等学校教材 主审江兆林
前言 《离散数学》是高等院校计算机专业及其他相关专业的一门重 要基础课。这门课程在现代科学中的重要性日益增强,它不仅是 计算机专业的必修课,也是其他相关专业工程技术人员必备的基 为全面贯彻教育部关于全面实施《高等教育面向21世纪教学 内容和课程体系改革计划》,有必要对高等教育教学内容和课程体 系进行系统改革,尽快编写出面向21世纪的《离散数学》教材,这 也是每位热心于《离散数学》教学内容改革的老师最为关心的大 事。为此,我们特意组织编写了这部面向21世纪的《离散数学》教 材。
目录 习题 1 重言式 习题 1 范式.1 习题 联结词的扩充与归约 习题1 推理规则和证明方法 习题1 谓词和量词 习题1 永真公式 习题1 谓词演算的推理规则 习题 1 第二章集合论与无限集合 2基本概念.习题2 2集合的运算 习题2 第一章数理逻辑 1命题 .1 .1 S1 .1. 
