离散数学-西北师范大学数学与统计学院.PDFVIP

数学与统计学院 信息与计算科学专业 专业平台必修课程教学大纲 数学与统计学院信息与计算科学专业专业平台必修课程包括以下 10 门课 程：离散数学、C 语言、数据结构、常微分方程、操作系统、计算方法、数据库 原理及应用、概率论与数理统计、JAVA语言、实变函数。 离散数学 一、说明 课程性质：该课程是信息与计算科学专业专业平台必修课程之一，第2学期 开设，周 3 学时。 《离散数学》是信息与计算科学等专业教学中一门基础课程。是程序设计语 言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理 论计算机科学基础等必不可少的先行课程。通过本课程的学习，使学生具有现代 数学的观点和方法，并初步掌握处理离散问题所必须的描述工具和方法，培养学 生抽象思维能力和分析问题、解决问题的能力，并为学好后继专业课打好基础。 教学目的：通过离散数学的学习，为更好地学习本专业的其它后续课程，如 数据结构、算法分析、系统结构等打下基础，并为学生今后处理离散信息，提高 专业水平，从事实际工作提供必备的数学工具。 教学内容：主要介绍本专业最需要的离散数学基础知识，包括数理逻辑、集 合论、代数系统和图论4 篇内容，共6章：命题逻辑、谓词逻辑、集合与关系、 函数、代数系统和图论。 教学时数：54 学时。 教学方法：主要采用讲授法，若有条件，可适当使用多媒体课件上课。 二、大纲正文 第一篇 数理逻辑 逻辑是研究推理的科学。数理逻辑是用数学方法研究形式逻辑的一门科学。 所谓数学方法，主要是指引进一套符号体系的方法，因此数理逻辑又叫符号逻辑。 现代数理逻辑有 4大分支：证明论、模型论、递归论和公理化集合论。本篇介绍 它们的共同基础——命题逻辑和谓词逻辑。 第一章 命题逻辑 教学要点：命题、联结词、命题公式、真值表、重言式、蕴涵式、对偶与范 式的定义；命题符号化；常用的等价式与蕴涵式；命题公式的等值演算；给定公 式的主析取范式、主和取范式；命题演算的推理。 教学时数：10 学时。 教学内容： §1.1 命题及其表示法（2学时）：理解命题的定义，掌握常见的5个命题联 结词，并将不太复杂的命题符号化。 §1.2 命题公式、真值表及等价公式（2学时）：了解命题公式、真值表的定 义，理解命题公式的等价，熟练掌握真值表的作法，熟练掌握常用的等价公式， 掌握命题公式的等价演算。 §1.3 重言式和蕴含式（2 学时）：掌握重言式、蕴涵式的定义，掌握蕴涵式 的证明方法，熟练掌握常用的蕴涵式。 §1.4 对偶与范式（2学时）：了解对偶式的概念，理解范式的概念，熟练掌 握主析取范式和主和取范式的作法。 §1.5 推理理论（2学时）：掌握推理规则，熟练应用 P 规则、T 规则进行命 题推理，掌握 CP 规则和归谬法的使用。 考核要求：将不太复杂的命题符号化，列出所给命题公式的真值表，证明命 题公式的等价，证明蕴涵式，求命题公式的主析取范式和主和取范式，将不太复 杂的命题推理使用推理规则证明。 第二章 谓词逻辑 教学要点：客体词和谓词的概念，量词的定义，谓词公式的等价式和蕴涵式， 前束范式的概念，谓词演算的推理理论。 教学时数：6 学时。 教学内容： §2.1 谓词、客体词和量词（2 学时）：理解客体词和谓词的概念，掌握量词 的定义，能将不太复杂的命题符号化。 §2.2 谓词公式的等价式和蕴涵式（1 学时）：了解谓词公式的定义，了解辖 域理解常用的等价式和蕴涵式。 §2.3 前束范式（1 学时）：了解谓词公式的范式。 §2.4 谓词演算的推理理论（2 学时）：掌握谓词演算的推理规则 US、UG、 ES、EG，并熟练应用规则对不太复杂的推理进行谓词演算的证明。 考核要求：能将不太复杂的命题符号化，领会量词的概念，能将不太复杂的 谓词推理使用推理规则证明。 第二篇 集合论 集合论是现代各科数学的基