命题逻辑-大数据与智能系统室.PDF

离散数学 大连理工大学软件学院 陈志奎 博士、教授、博士生导师 办公室： 综合楼405，Tel： 实验室：综合楼一楼，教学楼A502/C109， Mobile: Email: zkchen@ zkchen00@ QQ： 1062258606 1 引言 离散数学是计算机专业的一门重要基础课。 它所研究的对象是离散数量关系和离散结构数学结构模型。 离散数学课程主要介绍离散数学的各个分支的基本概念、基本理论和基本方 法。这些概念、理论以及方法大量地应用在数字电路、编译原理、数据结构、 操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络等专业 课程中。 同时，该课程所提供的训练十分有益于学生概括抽象能力、逻辑思维能力、 归纳构造能力的提高，十分有益于学生严谨、完整、规范的科学态度的培养。 2 学习方法 •精确严格地掌握好概念和术语，正确理解它们的 内涵和外延； •独立完成作业，自觉归纳基本解题方法； •阅读和复习时，随时备好纸笔，以便进行详细的 推导和计算； •学习和理解术语，给术语赋予特殊的含义，加深 理解。 •多做习题，加深理解。 3 要求 •基本要求： –1. 考勤-按大学生手册执行（缺三次取消考试 资格，迟到10分钟不能进入教室） –2. 作业独立完成 –3. 考教分离 –4. 每周三上交作业（按自然班，班长负责）， 周一发还 •考核 –平时成绩30%-每次作业成绩的算术平均+考勤 –期末成绩70% 4 教材及资料 •教材： 《离散数学》陈志奎周勇高静编著 清华大学出版社 •主要参考书： – 《DISCRITE MATHEMATICAL STRUCTURES》Bernard Kolman Robert C. Busby, Shron Cutler Ross 高等教育出版社 – 《DISCRITE MATHEMATICS and its applications》Rosen 华章出版 社 – 《离散数学与算法》曹晓东原旭编著 机械工业出版社 – 《离散数学》曲婉玲，耿素云，张立昂著高等教育出版社 •网站： – /Lisan/ – – 可以在线答疑 – 讲义在线或下载 – 勘误信息在线，作业共性问题在线 5 离散数学 第一章 命题逻辑 • 什么是数理逻辑？ 数理逻辑是用数学方法研究思维规律的一门学科。 所谓数学方法是指:用一套数学的符号系统来描述和 处理思维的形式与规律。因此，数理逻辑又称为符 号逻辑。 7 数理逻辑的创始人--莱布尼茨 (Leibniz, Gottfried Wilhelm) 1646.7.1-1716.11.14 德国数学家、物理学家、哲学家等， 一个举世罕见的科学天才。研究领域涉 及到