computers and make simple theoretical inferences,including basic discrete structures and their characteristics,relationships between them,and modeling capability using concepts,basic theories of propositional and predicate logic. 2课程目标及对毕业要求的支撑 (1)课程目标 课程目标1（专业知识）：能应用命题逻辑、谓词逻辑进行逻辑推理，并结 合离散结构的特性和它们之间关系，利用相关理论和方法并对相关经典问题进行 推理、证明和求解。 课程目标2（科学思维）：能够自觉选取合适的离散结构和逻辑形式，表达 实际中遇到的科学问题，建立具有高度抽象同时不乏完备性和准确性的模型，获 得解决该问题的基本思路和理论框架。 课程目标3（理论创新）：能针对实际中的典型工程问题，从命题逻辑、谓 词逻辑以及离散结构的角度重新对其进行建模，并在此基础上提出具有普适性的 定理和方法。 (2)课程目标对毕业要求的支撑 毕业要求 课程目标 (与专业培养方案一致) 2 1.工程知识：掌握软件工程在应用领域的基本知识和实践 方法，了解计算机软硬件原理、技术和方法在工程领域的 应用，了解项目管理的基本知识，认识其个具体软件工程 的实施与管理过程。 2.问题分析能力：具有能够应用数学、自然科学和工程科 学的基本原理，识别、表达、并通过文献研究分析复杂工 程问题，以获得有效结论的能力。 工程实践与创新能力：具有能够设计针对复杂工程问 的解决方案，设计满足特定需求的系统、单元（部件）或 工艺流程的能力。具有能够在设计环节中体现创新意识， 掌握基本创新方法，并得到实际运用。 4.科学研究能力：具有能够基于科学原理并采用科学方法 对复杂工程问题进行研究的能力，包括设计实验、分析与 解释数据、并通过信息综合得到合理有效的结论，具有 定的分析、归纳与整理和自主研发设计能力。 3.课程资源 (1)推荐参考教材及参考书目 类别 教材名称 主编 出版社 出版时间 参考教材 离散数学（第2版 耿素云，屈婉玲 北京大学出版社 2019.9 (美)背尼思H 参考书目 离散数学及其应用： 书第8版 罗森(Kenneth 机械工业出版利 2019.10 H.Rosen) 13 13 computers and make simple theoretical inferences, including basic discrete structures and their characteristics, relationships between them, and modeling capability using concepts, basic theories of propositional and predicate logic. 2.课程目标及对毕业要求的支撑 （1）课程目标 课程目标 1（专业知识）：能应用命题逻辑、谓词逻辑进行逻辑推理，并结 合离散结构的特性和它们之间关系，利用相关理论和方法并对相关经典问题进行 推理、证明和求解。 课程目标 2（科学思维）：能够自觉选取合适的离散结构和逻辑形式，表达 实际中遇到的科学问题，建立具有高度抽象同时不乏完备性和准确性的模型，获 得解决该问题的基本思路和理论框架。 课程目标 3（理论创新）：能针对实际中的典型工程问题，从命题逻辑、谓 词逻辑以及离散结构的角度重新对其进行建模，并在此基础上提出具有普适性的 定理和方法。 （2）课程目标对毕业要求的支撑 毕业要求 （与专业培养方案一致） 课程目标 1 2 3 1. 工程知识：掌握软件工程在应用领域的基本知识和实践 方法，了解计算机软硬件原理、技术和方法在工程领域的 应用，了解项目管理的基本知识，认识某个具体软件工程 的实施与管理过程。 √ 2. 问题分析能力：具有能够应用数学、自然科学和工程科 学的基本原理，识别、表达、并通过文献研究分析复杂工 程问题，以获得有效结论的能力。 √ √ √ 3. 工程实践与创新能力：具有能够设计针对复杂工程问题 的解决方案，设计满足特定需求的系统、单元（部件）或 工艺流程的能力。具有能够在设计环节中体现创新意识， 掌握基本创新方法，并得到实际运用。 √ 4. 科学研究能力：具有能够基于科学原理并采用科学方法 对复杂工程问题进行研究的能力，包括设计实验、分析与 解释数据、并通过信息综合得到合理有效的结论，具有一 定的分析、归纳与整理和自主研发设计能力。 √ √ 3.课程资源 （1）推荐参考教材及参考书目 类别 教材名称 主编 出版社 出版时间 参考教材 离散数学（第 2 版） 耿素云，屈婉玲 北京大学出版社 2019.9 参考书目 离散数学及其应用： 原 书第 8 版 (美) 肯尼思·H. 罗森 (Kenneth H. Rosen) 机械工业出版社 2019.10