离散数学1.命题逻辑.pdf

离散数学

软件学院 韩春燕
课件及联系邮箱
课件下载：
BlackBoard平台：
用户名：学号 密码：学号
邮箱：
******@
办公地点：
综合楼305
办公电话：
83684726
课程的学时分配： （64学时）
课程内容 讲课 习题课
第1章 命题逻辑 10 1
第2章 谓词逻辑 8 1
第3章 集合论基础 4 0
第4章 二元关系 10 1
第5章 函数 4 1
第6章 代数结构 6 1
第7章 格与布尔代数 4 1
第8章 图论 10 2
合计 56 8
绪 论

• 离散数学的性质、内容
• 学习此课的目的
• 学习此课的方法
、内容：
• 数学所研究的对象根据它们的取值分为：
连续的：如长度、温度、面积等。
离散的：如商店商品，学生所学课程等。
• 离散数学是研究离散对象的结构以及它们之
间相互关系的科学。
因为计算机不论硬件还是软件都属于离散结
构，所以它所应用的数学必是离散数学。
• 性质：此课是计算机科学与技术专业的重要
的理论基础课，也是该专业的主干课。
• 内容：1. 数理逻辑（第1、2章）
2. 集合论 （第3、4、5章）
3. 代数系统（第6、7章）
4. 图论 （第8章）
*5. 组合数学
*6. 形式语言与自动机
(由于时间的关系，我们只讨论前四部分
内容。)
电子技术 电路原理 大学物理
组成 离散数学：
原理 数字逻辑电路
硬件 数理
体系 计算机网络 通讯概论 安全与保密 逻辑
结构
接口与通讯技术 集合
汇编语言 二元
程序设
关系
计 计语言 C、C＋＋、JAVA、
算 高级语言 PB、VB…
机
系 编译原理 计算理论 函数
统 系统
操作系统 DOS、Windows 、UNIX… 代数
软件
结构
数据库 Access、Sybase 、Oracle…
软件 格与布
数据结构
应用 尔代数
软件 软件工程