离散数学 第1章 命题逻辑的基本概念

单击此处编辑母版标题样式,*,单击此处编辑母版标题样式,*,离散数学,高 等 教 育 出 版 社,课程简介,离散数学是现代科学的一个重要分支。,离散数学的研究对象是离散量，一切以,离散现象作为其研究对象或对象之一的数,学均称为离散数学，其研究各种各样的离,散量的结构及之间的关系。,离散数学不仅在基础数学研究中具有极,其重要的地位，在其它如计算机科学、编,码和密码学、物理、化学、生物等学科中,均有重要应用。,离散数学是计算机问世后，迅速发展起,来的一门数学分支。计算机是一个离散的,结构，计算机的研究对象大都是离散形式，,离散数学当之无愧地可以充分描述计算机,科学的离散性特点，是研究计算机科学的,基本数学工具和最合适的理论手段。计算,机科学就是算法的科学，而计算机所处理,的对象是离散的数据，所以离散对象的处,理就成了计算机科学的核心，而研究离散,对象的科学恰就是离散数学。正是因为有,了离散算法，才使计算机好象有了思维。,本课程与后续课程学习的关系,掌握离散数学知识，为后续课程（如数,据结构、操作系统、编译理论、数字逻辑,理论、算法分析、逻辑程序设计、系统结构、,容错诊断、机器定理证明、网络、人工智能,等）的学习打下坚实的理论基础；,通过离散数学的学习，培养抽象思维、,慎密概括和严密逻辑推理能力，掌握证明,问题的方法。,第一部分 数理逻辑,第一章 命题逻辑基本概念,第一节 命题与联结词,第二节 命题公式及其赋值,第一章 习题课,提示：,提示,：,提示,：,