【离散数学】段禅伦刘铁英杜清晏侯宏旭.pdf
编著 离散数学 本书的出版得到内蒙古大学出版基金的资助 段禅伦刘铁英 杜清晏侯宏旭 内蒙古大学教材丛书
作者 1996年6月于呼和浩特 前言 离散数学成为计算机专业基础理论的核心课程是计算机科 学飞速发展的必然结果。多年来,国内分别以分课型一把离散数 学划分为儿门课程或单课型一把分课型的几个课程探合成一门 课程的方式向本科二、三年级的学生开设。由于计算机 科学与工程领域在很大程度上依赖离散数学提供数学理论,即 使仅仅是以研究离散数量的结构和相互关系为目标,其内容的 浩繁和材料的分散也足以使教师和学生往往感到沉重和困难.编写计算机专业离散数学基础教程,以简明的方法既叙及 它的主要组成内容,也介绍它的各个重要事实,以计算机专业教 学使用为度,不去讨论那些艰深的高级课题,应当说这是教学改 革的需要。
(i) 目录 第一章命题逻辑 1-1命题及其表示 1-2逻辑联词 1-3命题形式与真值函数 1-4真值表与等值公式 1-5重言式与蕴涵式 1-6初始逻辑联词 1-7对偶和对偶定律 1-9命题演算推理理论 *1-10命题演算的形式系统 第二章一阶谓词逻辑 2-1谓词与个体 2-2命题函数与量词 2-3阶谓词公式 2-4变元的约束与自由 2-5普遍有效式及等值式 
