【离散数学基础教程】费洪晓编.pdf

离散数学基础教程费洪晓编 2001年长沙面向21世纪高等学校数学系列教材

前言“离散数学”是专门研究离散量的结构和相互关系的数学理论与方法,是计算机科学中基础理论的核心课程,是计算机专业最重要的专业基础课之一,是现代数学的重要分支.离散数学形成于 20世纪70年代初期,它随着计算机科学的发展而逐步建立,并不断地扩充与更新,离散数学中的基本概念、基本思想和方法与计算机科学中的数据结构、操作系统、编译理论、算法分析、逻辑分析、系统结构、数据库、容错诊断、机器定理证明等课程联系紧密.广泛用于计算机电路设计、计算机系统设计、计算机应用、软件工程、人工智能和计算机科学理论等方面,是从事计算机设计、研究、应用的专业人员必须掌握的基础知识.

(1 目次第一篇数论第一章数论基础 1整数、整除和最大公约数 1关于素数的某些初等事实 1同余方程 1二次剩余的概念第二篇数理逻辑第二章命题逻辑 2命题的概念与表示 2逻辑联结词 2命题演算的合适公式 2等价与蕴含 2功能完备集、其他联结词 2对偶与范式命题演算的推理理论第三章谓词逻辑 3谓词的概念与表示 3.