原创力文档- 1、本文档共4页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
PAGE3
课程英文名
DiscreteMathematics
课程代码
03M0254
学分
2
总学时
32
理论学时
32
实验学时
0
上机学时
0
实践学时
0
课程类别
学科基础课
课程性质
选修
先修课程
高等数学、线性代数
适用专业
人工智能
开课学院
信息工程学院
执笔人
陈薇
审定人
专业评定小组
制定时间
2024年12月
《离散数学》教学大纲
注：课程类别是指公共基础课/学科基础课/专业课；课程性质是指必修/限选/任选。
一、课程地位与课程目标
（一）课程地位
《离散数学》课程是计算机科学与人工智能领域的重要基础课程，系统讲授离散数学的基本概念与方法，包括数理逻辑、集合论、图论等内容，为学生提供理解和解决计算问题所需的基本理论工具和概念。该课程面向初级本科生，为算法数据结构等人工智能基础课程的前导课程，在培养学生的逻辑推理能力和抽象思维能力方面具有重要作用，进一步帮助学生为计算机科学及相关领域的研究和实践挑战做好准备。
（二）课程目标
该课程应达到的预期学习结果（ILO，IntendedLearningOutcomes）如下所示：
ILO-1：掌握离散数学的基本概念与方法，包括集合论、命题与谓词逻辑、关系与函数、图论等核心内容；理解其在计算机科学中的应用背景与重要性，具备将数学理论与计算机应用问题关联起来的能力。
ILO-2：熟练运用数理逻辑和集合论进行问题表示和推理分析，掌握图论的基本概念和算法，能够进行逻辑证明、关系运算及图的遍历、最短路径等计算；具备针对实际问题设计离散数学模型并进行求解的能力，培养学生独立思考、理性分析等科学精神。
ILO-3：培养学生的数学抽象与逻辑思维能力，增强解决复杂问题的分析和计算能力；理解离散数学在计算机科学领域（如算法设计、数据结构等）中的支撑作用，为后续专业学习和科研实践奠定坚实基础，并培养学生尊重客观事实，发挥主观能动性思考问题解决问题的能力，增强他们的创新自主意识，使其在未来的学习和工作中，能够更好地为社会发展贡献力量。
二、课程目标达成的途径与方法
课程主要以课堂教学与课外作业相结合，具体通过课堂教学、课堂讨论、课外作业和期末考试等途径和方式来达成。课程目标达成的途径与方法如下表所示。
课程目标
课程目标达成的途径与方法
ILO-1
课堂教学、课堂讨论、课外作业、期末考试
ILO-2
课堂教学、课堂讨论、课外作业、期末考试
ILO-3
课堂教学、课堂讨论、课外作业、期末考试
三、课程目标与相关毕业要求的对应关系
本课程支撑的毕业要求如下：
毕业要求2：问题分析：能够应用数学、自然科学和工程科学的基本原理，识别、表达、并通过文献研究分析人工智能领域复杂工程问题，以获得有效结论。
毕业要求2-1：能够利用各种数学、自然科学和工程科学等知识对人工智能复杂工程问题
进行识别和判断，并结合人工智能专业知识对问题进行有效分解。
毕业要求2-2：能够对分解后的复杂工程问题进行表达、建模。
毕业要求3：设计/开发解决方案：能够设计针对人工智能复杂问题的解决方案，设计满足特定需求的智能系统，并能够在设计环节中体现创新意识，考虑社会、健康、安全、法律、文化以及环境等因素。
毕业要求3-1：能够针对特定需求独立进行智能系统设计，并通过仿真或实验等手段验证
可行性。
课程目标对毕业要求的支撑关系如表1所示。
表1课程目标对毕业要求的支撑关系
课程目标
毕业要求
课程目标对毕业要求的支撑程度（H、M、L）
毕业要求2-1
毕业要求2-2
毕业要求3-1
ILO-1
M
ILO-2
M
H
ILO-3
注：1.支撑强度分别填写H、M或L（其中H表示支撑程度高、M为中等、L为低）。
四、课程主要内容与基本要求
第一部分：数理逻辑（3~5章）
知识点：命题逻辑、谓词逻辑的基本概念；逻辑联结词和合式公式的定义、合式公式的类型、范式的定义、谓词、个体和量词的定义、前束范式的定义。
基本要求：掌握将自然语言的问题描述转化为符号化语言的描述；熟练掌握合式公式类型及等值式的判定方法、主合取范式、主析取范式的求取。熟练掌握逻辑推理规则。本部分着重培养科学精神与逻辑思维能力。
第二部分：集合论（1、6~7章）
知识点：集合，关系的定义；理解集合、关系的基本运算和性质；
基本要求：掌握集合等式的证明方法与技巧；熟练掌握应用关系描述实际问题的方法，内容包括笛卡尔积，关系的构造、关系图、关系矩阵的表示方法；熟练掌握关系的性质及等价关系与偏序关系的结构。本部分着重引导学生树立开拓进取、追求卓越的科学精神。
第三部分：图论（第9章）
知识点：图论的基本内容及其在计算机领域中的应用；
基本要求：图的基本概念、子图与补图概念，通路与回路的概念、图的连通性与连通度的概念；掌握图的表示方法、图的可达
文档评论（0）