数学与统计学院信息与计算科学专业 专业平台必修课程教学大纲 数学与统计学院信息与计算科学专业专业平台必修课程包括以下10门课 程：离散数学、C语言、数据结构、常微分方程、操作系统、计算方法、数据库 原理及应用、概率论与数理统计、JAVA语言、实变函数。 离散数学 一、说明 课程性质：该课程是信息与计算科学专业专业平台必修课程之一，第2学期 开设，周3学时。 《离散数学》是信息与计算科学等专业教学中一门基础课程。是程序设计语 言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理 论计算机科学基础等必不可少的先行课程。通过本课程的学习，使学生具有现代 数学的观点和方法，并初步掌握处理离散问题所必须的描述工具和方法，培养学 生抽象思维能力和分析问题、解决问题的能力，并为学好后继专业课打好基础。 散学目的：通过离散数学的学习，为更好地学习本专业的其它后续课程，如 数据结构、算法分析、系统结构等打下基础，并为学生今后处理离散信息，提高 专业水平，从事实际工作提供必备的数学工具。 教学内容：主要介绍本专业最需要的离散数学基础知识，包括数理逻辑、集 合论、代数系统和图论4篇内容，共6章：命题逻辑、谓词逻辑、集合与关系、 函数、代数系统和图论。 教学时数：54学时。 教学方法：主要采用讲授法，若有条件，可适当使用多媒体课件上课。 二、大纲正文 第一篇数理逻辑 逻辑是研究推理的科学。数理逻辑是用数学方法研究形式逻辑的一门科学。 所谓数学方法，主要是指引进一套符号体系的方法，因此数理漫辑又叫符号逻辑。 数学与统计学院 信息与计算科学专业 专业平台必修课程教学大纲 数学与统计学院信息与计算科学专业专业平台必修课程包括以下 10 门课 程：离散数学、C 语言、数据结构、常微分方程、操作系统、计算方法、数据库 原理及应用、概率论与数理统计、JAVA 语言、实变函数。 离散数学 一、说明 课程性质：该课程是信息与计算科学专业专业平台必修课程之一，第 2 学期 开设，周 3 学时。 《离散数学》是信息与计算科学等专业教学中一门基础课程。是程序设计语 言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理 论计算机科学基础等必不可少的先行课程。通过本课程的学习，使学生具有现代 数学的观点和方法，并初步掌握处理离散问题所必须的描述工具和方法，培养学 生抽象思维能力和分析问题、解决问题的能力，并为学好后继专业课打好基础。 教学目的：通过离散数学的学习，为更好地学习本专业的其它后续课程，如 数据结构、算法分析、系统结构等打下基础，并为学生今后处理离散信息，提高 专业水平，从事实际工作提供必备的数学工具。 教学内容：主要介绍本专业最需要的离散数学基础知识，包括数理逻辑、集 合论、代数系统和图论 4 篇内容，共 6 章：命题逻辑、谓词逻辑、集合与关系、 函数、代数系统和图论。 教学时数：54 学时。 教学方法：主要采用讲授法，若有条件，可适当使用多媒体课件上课。 二、大纲正文 第一篇 数理逻辑 逻辑是研究推理的科学。数理逻辑是用数学方法研究形式逻辑的一门科学。 所谓数学方法，主要是指引进一套符号体系的方法，因此数理逻辑又叫符号逻辑