命题逻辑课程.ppt

课程的学时分配： （64学时） 绪 论 离散数学的性质、内容 学习此课的目的 学习此课的方法 一.此课的性质、内容： 数学所研究的对象根据它们的取值分为： 连续的：如长度、温度、面积等。 离散的：如商店商品，学生所学课程等。 离散数学是研究离散对象的结构以及它们之间相互关系的科学。 因为计算机不论硬件还是软件都属于离散结构，所以它所应用的数学必是离散数学。 性质：此课是计算机科学与技术专业的重要的理论基础课，也是该专业的主干课。 内容：1. 数理逻辑（第1、2章） 2. 集合论 （第3、4、5章） 3. 代数系统（第6、7章） 4. 图论 （第8章） *5. 组合数学 *6. 形式语言与自动机 (由于时间的关系，我们只讨论前四部分内容。) 二.学习此课的目的 ： 1.计算机的诞生与发展和离散数学密切相关 正如马克思所说的：“一门科学，只有当它能够运用数学时，才算真正发展了。” 计算机的诞生：正是在离散数学中的图灵机的理论指导下诞生的(1936提出图灵机---1946诞生计算机)。 计算机硬件的发展：从第一代起现在发展到第四代(电子管?晶体管 ?集成电路 ?大规模