计算机数学基础实施方案-安徽广播电视大学.docVIP

中央广播电视大学 计算机科学与技术专业（开放本科） 《计算机数学基础(1)》教学大纲 第一部分 大纲说明 课程的性质和任务 《计算机数学基础》(Basic Mathematics for Computer)是中央广播电视大学计算机工程类计算机科学与技术专业专科升本科教学中最为重要的核心基础课程，它是学习专业理论不可少的数学工具。 通过本课程的学习，要使学生具有现代数学的观点和方法，并初步掌握处理离散结构所必须的描述工具和方法以及计算机上常用数值分析的构造思想和计算方法。同时，也要培养学生抽象思维和慎密概括的能力，使学生具有良好的开拓专业理论的素质和使用所学知识，分析和解决实际问题的能力。 课程的目的与要求 本课程主要有数理逻辑、集合论、图论、代数系统和数值分析等内容，是一门理论性较强，应用性较广的课程。因此，通过本课程的学习，使学生： 掌握离散数学的基本概念和基本原理，进一步提高抽象思维和逻辑推理的能力； 2．熟悉数值计算方法的基本原理和基本方法，掌握常见数值计算的方法，进一步提高数值计算能力。 课程的教学要求层次 教学要求中，有关定义、定理、性质、特征等概念的内容要求，由低到高分“知道、了解、理解”三个层次；有关计算、解法、公式、法则等方法的内容要求，由低到高分“会、掌握、熟练掌握”三个层次。 第二部分 教学媒体和教学建议 学时和学分 学时分配 本课程课内学时为 144 学时，电视录象学时为 36 学时，第一学期 72 学时，周学时为 4 学时；第二、三学期均为 36 学时，周学时均为 2 学时。其中第一、第二学期教学内容为必修，第三学期教学内容为选修，具体安排如下：  序号 内 容 课内学时 1 数理逻辑 1 命题逻辑 10 2 谓词逻辑 8 2 集合论 1 集合及其运算 6 2 二元关系与函数 12 3 图论 1 基本概念 3 2 通路、回路与树 12 3 平面图、图的着色及连通性 8 4 代数系统 1 群 10 2 其它代数系统 3 5 计算方法 1 数值计算中的误差 2 2 函数插值与最小二乘拟合 8 3 数值积分与微分 7 4 方程求根 5 5 线性方程组解法 7 6 常微分方程数值解法 7 6 组合数学 1 组合数学 36 合 计 144 说明：课内学时不包括上机实习和复习课，上机实习和期末复习另行安排，上机实习不要低于 8 学时，复习课不要低于 2 学时。 学分 本课程共 8 学分，其中必修内容 6 学分，选修内容 2 学分。 教材 本课程的文字教材由主教材和辅助教材。 电视录像教材是学生获得本课程知识的重要媒体之一。 教学环节 1.先修课程 高等数学，线性代数，概论与数理统计。 2.面授辅导或自学 3.作业 本课程由于学时所限，理论推证和例题都较少，因此必须通过做练习题来加深对概念的理解和掌握，熟悉公式的运用，从而达到消化、掌握所学知识的目的。这也是任何数学课所必须要求的。由此可见，独立完成作业也是学好本课程的重要手段。 该课的前四部分的重点是概念，必须多做练习，才能理解和掌握。因此，建议另外增加辅导课或习题课，以课内学时数的二分之一为宜。数值分析部分要另外增加上机时间。 4. 数值分析上机实习 用计算机语言编制程序，程序尽量通用、结构化，或用现成的数学软件完成至少两大题的数值计算，要求输出计算结果，并对结果进行分析。 5.考试 考试是对教与学的全面验收，是不可缺少的教学环节。 第三部分 教学内容与教学要求 第（一）部分 数理逻辑 命题逻辑 学习内容： 1.命题逻辑基本概念 命题，联接词，真值表，合式公式，重言式，命题形式化 2.命题逻辑的等值演算和推理演算 基本等值公式，命题公式与真值表的关系，联接词的完备集，范式，推理的形式结构，基本推理公式，推理演算 教学要求： 理解命题概念，会判断语句是否命题。 掌握六个联接词的真值表，掌握公式与真值表的关系与构造方法。 掌握命题的基本等值公式，并熟练掌握对合式公式进行等价变换的方法。 掌握用主析取范式判断两个公式是否等价的方法，以及命题逻辑的判定问题。 理解等价式蕴涵式与逻辑结论的概念。 掌握命题逻辑的推理演算方法。 谓词逻辑 学习内容： 1. 谓词逻辑基本概念 谓词，个体词，命题函数，量词，自由变元和约束变元，谓词的合式公式，谓词的解释，自然语句的形式化。 2. 谓词逻辑的等值和推理演算 谓词逻辑等值式，范式，基本推理公式，推理演算 教学要求： 理解谓词、量词、变元、个体域等概念。 掌握用谓词、量词、联接词构造谓词逻辑公式的方法。 掌握谓词公式在给定解释下求真值的方法。 会将谓词逻辑化为前束公式。 会将谓词逻辑作为工具，将命题符号化，并能用推理规则进行逻辑