文档介绍
离 散 数 学 Ch.0 Introduction 0-1:About Math. 0-2:About Discrete Math. 0-2:About Discrete Math. 高等数学:从初等的思维方式带到基于工业革命的学科表达语言的富于创造性的思维方式 离散数学:带入信息革命的学科的表达语言中去发展和创造具有时代特点的先进的思维方式。 0-2:About Discrete Math. 学科特点 教材与教学参考书 教材: 耿素云、屈婉玲、张立昂,离散数学(第四版),清华大学出版社, 2008. 教学参考书: 屈婉玲、耿素云、张立昂,离散数学题解(第三版),清华大学出版社,2008. 参考书目 《离散数学》,左孝凌著,上海科技文献出版社; 《Discrete Mathematics and Its Applications》 (英文Fifth Edition), Kenneth H.Rosen著,机械工业出版社; 考核方法 1.平时成绩:占总成绩的50% 出勤,作业,听课情况,测验 2.期末考试:占总成绩的50%。 主要内容 数理逻辑 集合论 代数结构 图论 组合分析初步 形式语言和自动机初步 数 理 逻 辑 数理逻辑 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。 是用数学方法研究逻辑或形式逻辑的学科。 其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。 数理逻辑部分 第1章 命题逻辑 研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。 第2章 一阶逻辑 第一章 命题逻辑 第一章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 §1 命题符号化及联结词 一、命题与真值 二、命题分类:原子命题,复合命题 三、命题