2-9、专业知识需求与专业主干课程和主要专业课程设置关 系表.pdfVIP

2-9、专业知识需求与专业主干课程和主要专业课程设置关 系表 表8 专业知识需求与专业主干课程和主要专业课程设置关系表 课程 课程目标摘要（课程的主要内容、要求 说明(可 课程名 知识 及目标） 缺省) 离散数学 掌握命题概念、联结词命题公式、真值 表、等价公式、重言式与蕴含式、对偶 与范式、推理理论。 掌握谓词概念、量词、谓词公式、变元 的约束、谓词演算的等价式与蕴含式、 谓词演算的推理理论。 掌握集合的基本概念、集合代数、笛卡 尔积。 掌握关系的定义和基本性质、关系的逆 离散结构 及关系的合成、关系的闭包、等价关系、 偏序关系。 掌握函数的基本定义和性质、复合函数 （函数的合成）、逆函数。 掌握代数结构、同态，同余关系、半群， 群、陪集与拉格朗日定理。 掌握格的概念、特殊的格、布尔代数。 图的概念、路与回路、图的矩阵表示、 欧拉图与哈密尔顿图、平面图、树与生 成树，根树及其应用。 算法与复杂性 数据结构 本课程介绍一些最常用的数据结 构，阐明数据结构内在的逻辑关系，讨 论它们在计算机中的存储表示，并结合 各种典型应用说明它们在进行各种运 算(操作)时的动态性质及实际的执行 算法。 要求学生熟练掌握三种逻辑结构 （线性结构、树形结构及网状结构）及 其各自对应的两种物理结构（顺序存储 结构、链式存储结构）；熟练掌握查找、 排序的基本概念及经典的查找、排序算 法；掌握动态规划问题和 NP 完全问题 的基本含义；具有针对实际问题选择合 适数据结构的能力；具有算法的分析、 设计及其实现等方面的基本技能和科 学作风。