[离散数学基础教程]费洪晓编

【离散数学基础教程】费洪晓编.pdf离散数学基础教程 费洪晓编 2001年长沙 面向21世纪高等学校数学系列教材前言“离散数学”是专门研究离散量的结构和相互关系的数学理论 与方法,是计算机科学中基础理论的核心课程,是计算机专业最重 要的专业基础课之一,是现代数学的重要分支.离散数学形成于 20世纪70年代初期,它随着计算机科学的发展而逐步建立,并不 断地扩充与更新,离散数学中的基本概念、基本思想和方法与计算 机科学中的数据结构、操作系统、编译理论、算法分析、逻辑分析、系统结构、数据库、容错诊断、机器定理证明等课程联系紧密.广泛 用于计算机电路设计、计算机系统设计、计算机应用、软件工程、人 工智能和计算机科学理论等方面,是从事计算机设计、研究、应用 的专业人员必须掌握的基础知识.(1 目次 第一篇数论 第一章数论基础 1整数、整除和最大公约数 1关于素数的某些初等事实 1同余方程 1二次剩余的概念 第二篇数理逻辑 第二章命题逻辑 2命题的概念与表示 2逻辑联结词 2命题演算的合适公式 2等价与蕴含 2功能完备集、其他联结词 2对偶与范式命题演算的推理理论 第三章谓词逻辑 3谓词的概念与表示 3.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。