【离散数学基础及应用】傅彦.pdf
系列教材 离散数学基础及应用 傅彦编著 高等学校 电子信息类
前言 离散数学是现代科学的一个重要分支.是计管机科学中基础理论的核心课程,从数学的 角度出发、数掌本身示为连续数学和离散数学,最早出现的数学实际上是一种离散型的数 学,即是以离散的观点来研究数学和描述现实让会中的各种情况。随着微积分的出现.对整 个数学约研究完全以一种新的方式来进行,即是以连续的观点来研究数学的,由此而形成 了一种新的数学一连续数学,这种连续数学在数学界一直统治了几百年之久,而且到目前 为止已基本趋于完善,直到最近的儿十年间、随着现代科学的不断发展特别是计算机科学 的兴起,离散数学才又重新找到了它自己原有的位置。特别是在最近的十年间,越发体现广 它的重要性。
9录目 1集合及其表示 1集合与元素的关系 1儿种特殊集合 1集合的运算 1无限集的基本概念 2命题逻辑 2命题与命题联结词 2命题公式.解释与真值表 2全功能联结词集合 21范式 2绎与推理 2谓词逻辑 2谓词与量词合适公 2公式的解释及其基本性质 2.谓词演算的演终与推理 23数理逻辑在计算机科学中的应用 2.