上海海洋大学：信息学院专业课程教学大纲汇编（2022年版）.pdf_大学文库

目录 (具体修课要求见教学一览） 1. 计算机类学科基础必修......................................................................................................................1 1.1 课程 1108104《离散数学》教学大纲.....................................................................................1 1.2 课程 5204210《程序设计基础 I》教学大纲..........................................................................9 1.3 课程 5204211《程序设计基础 II》教学大纲.......................................................................15 1.4 课程 5208002《Java 框架编程》教学大纲.......................................................................... 24 1.5 课程 5208007《操作系统原理》教学大纲.......................................................................... 34 1.6 课程 5208025《计算机网络》教学大纲.............................................................................. 42 1.7 课程 5208029《计算机组成原理》教学大纲...................................................................... 50 1.8 课程 5208072《数据库原理》教学大纲.............................................................................. 58 1.9 课程 5208301《海洋空间信息工程概论》教学大纲.......................................................... 66 1.10 课程 52010004《数据结构与算法》教学大纲.................................................................. 74 2. 计算机类学科专业必修....................................................................................................................81 2.1 课程 5104022《数据分析原理与技术》教学大纲.............................................................. 81 2.2 课程 5104023《数据可视化原理与应用》教学大纲.......................................................... 89 2.3 课程 5204072《软件工程》教学大纲.................................................................................. 95 2.4 课程 5208018《高级程序设计》教学大纲........................................................................ 103 2.5 课程 5208086 实习（实践）教学大纲................................................................................110 2.6 课程 5208094《海洋大数据技术与工程应用》教学大纲................................................ 118 2.7 课程 5208099《大数据原理与技术》教学大纲................................................................ 127 2.8 课程 5208110《数据挖掘》教学大纲.................................................................................134 2.9 课程 5208105《大数据处理技术》教学大纲.................................................................... 140 2.10 课程 5208303《海洋遥感影像分析》教学大纲.............................................................. 147 2.11 课程 5208311《空间建模与分析》教学大纲...................................................................154 2.12 课程 5208313《空间数据获取技术基础》教学大纲...................................................... 162 2.13 课程 5208562《软件工程导论》教学大纲...................................................................... 170 2.14 课程 5208566《软件开发与创新》教学大纲.................................................................. 176 2.15 课程 42020002《数字信号处理》教学大纲.................................................................... 185 2.16 课程 46040012《微机原理与接口技术》教学大纲........................................................ 194 2.17 课程 52010002《数据科学导论》教学大纲.................................................................... 200 2.18 课程 52010007《算法设计与分析》教学大纲................................................................ 207 2.19 课程 52020021《人工智能》教学大纲............................................................................ 214 2.20 课程 52040002《软件项目管理》教学大纲.................................................................... 223 2.21 课程 52040003《软件需求分析》教学大纲.................................................................... 231

2.22课程52040004《软件架构与设计模式》教学大纲. 240 2.23课程52040005《软件测试与质量保证》教学大纲. 247 2.24课程52080002《编译原理》教学大纲 255 2.25课程52083001《海洋空间信息管理与服务》教学大纲 261 3.计算机类专业选修 .267 3.1课程5208020《海洋大数据技术与工程应用》教学大纲 267 32果程5208027《计算机系统结构》教学大纲 275 3.3课程11014101《数学建模》教学大纲.. 280 3.4课程11061101《数值计算方法》教学大纲 288 3.5课程42020101《数字图像处理》教学大纲 295 3.6课程52010101《逻辑与计算机设计基础》教学大纲 .304 3.7课程52020124《智能计算及应用》教学大纲 308 3.8课程52030101《物联网概论》教学大纲. 314 39课程52040101《Liux操作系统》教学大纲 321 3.10课程52040102《现代操作系统》教学大纲 327 3.11课程52040103《软件需求分析》教学大纲 334 3.12课程52040105《软件架构与设计模式》教学大纲 .343 3.13课程52040109《WEB程序设计》教学大纲 349 3.14课程52040110《Python程序设计》教学大纲 354 3.15课程52050101《单片机原理与应用》教学大纲 …39 3.16课程52080105《虚拟现实》教学大纲 365 3.17课程52080106《信息安全概论》教学大纲 373 318课程52080107《移动开发技术》教学大纲. 382 3.19课程52080108《编程艺术》教学大纲 389 3.20课程52081104《生物大数据》教学大纲. 394 3.21课程52083101《海洋空间信息管理与服务》教学大纲 o 3.22课程52083103《海洋信息技术与应用》教学大纲. 405 4.计算机类实践课 410 4.1课程5104024《数据分析原理与技术课程设计》教学大纲. 410 4.2课程5104025《数据可视化原理与应用课程设计》教学大纲 .417 4.3课程5201055《数据科学综合课程设计》教学大纲. 424 4.4课程5204212《程序设计基础I课程设计》教学大纲 …432 4.5课程5204213《程序设计基础Ⅱ课程设计》教学大纲 438 46课程5208003《JAVA框架绵程课程设计》教学大纲 442 4.7课程5208008《操作系统原理课程设计》教学大纲 …449 4.8课程5208019《高级程序设计课程设计》教学大纲。 .455

2.22 课程 52040004《软件架构与设计模式》教学大纲........................................................ 240 2.23 课程 52040005《软件测试与质量保证》教学大纲........................................................ 247 2.24 课程 52080002《编译原理》教学大纲............................................................................ 255 2.25 课程 52083001《海洋空间信息管理与服务》教学大纲................................................ 262 3. 计算机类专业选修..........................................................................................................................267 3.1 课程 5208020《海洋大数据技术与工程应用》教学大纲................................................ 267 3.2 课程 5208027《计算机系统结构》教学大纲.................................................................... 275 3.3 课程 11014101《数学建模》教学大纲.............................................................................. 280 3.4 课程 11061101《数值计算方法》教学大纲.......................................................................288 3.5 课程 42020101《数字图像处理》教学大纲...................................................................... 295 3.6 课程 52010101《逻辑与计算机设计基础》教学大纲...................................................... 304 3.7 课程 52020124《智能计算及应用》教学大纲.................................................................. 308 3.8 课程 52030101《物联网概论》教学大纲.......................................................................... 314 3.9 课程 52040101《Linux 操作系统》教学大纲....................................................................321 3.10 课程 52040102《现代操作系统》教学大纲.................................................................... 327 3.11 课程 52040103《软件需求分析》教学大纲.................................................................... 334 3.12 课程 52040105《软件架构与设计模式》教学大纲........................................................ 343 3.13 课程 52040109《WEB 程序设计》教学大纲.................................................................. 349 3.14 课程 52040110《Python 程序设计》教学大纲................................................................ 354 3.15 课程 52050101《单片机原理与应用》教学大纲............................................................ 359 3.16 课程 52080105《虚拟现实》教学大纲............................................................................ 365 3.17 课程 52080106《信息安全概论》教学大纲.................................................................... 373 3.18 课程 52080107《移动开发技术》教学大纲.................................................................... 382 3.19 课程 52080108《编程艺术》教学大纲............................................................................ 389 3.20 课程 52081104《生物大数据》教学大纲........................................................................ 394 3.21 课程 52083101《海洋空间信息管理与服务》教学大纲................................................ 400 3.22 课程 52083103《海洋信息技术与应用》教学大纲........................................................ 405 4. 计算机类实践课..............................................................................................................................410 4.1 课程 5104024《数据分析原理与技术课程设计》教学大纲............................................410 4.2 课程 5104025《数据可视化原理与应用课程设计》教学大纲........................................417 4.3 课程 5201055《数据科学综合课程设计》教学大纲........................................................ 424 4.4 课程 5204212《程序设计基础 I 课程设计》教学大纲.....................................................432 4.5 课程 5204213《程序设计基础 II 课程设计》教学大纲................................................... 438 4.6 课程 5208003《JAVA 框架编程课程设计》教学大纲......................................................442 4.7 课程 5208008《操作系统原理课程设计》教学大纲........................................................ 449 4.8 课程 5208019《高级程序设计课程设计》教学大纲........................................................ 455

4.9课程5208021《海洋大数据技术与工程应用课程设计》教学大纲 462 4.10课程5208026《计算机网络课程设计》教学大纲 …468 4.11课程5208028《计算机综合实践与案例》教学大纲 474 412课程5208073《数据库原理课程设计》教学大纲 481 4.13课程5208087《专业大型综合实验》教学大纲 4.14课程5208088《专业大型综合实验》教学大纲 491 415课程5208090综合实习教学大纲 .498 4.16课程5208091综合实习教学大纲 3 4.17课程5208092综合实习教学大纲】 510 418课程5208095海洋大数据技术与工程应用课程设计教学大纲 .516 4.19课程5208107《大数据原理与技术课程设计》教学大纲 420课程5208108《大数据处理技术课程设计》教学大纲， 528 421课程5208109《专业大型综合实验》教学大纲. .534 4.22课程5208110《综合实习》教学大纲 540 4.23课程5208113《中级综合开发实践》教学大纲. 547 424课程5208304《海洋谣感影像分析课程设计》教学大纲 .552 4.25课程5208312《空间建模与分析课程设计》教学大纲 559 4.26课程5208314《空间数据获取技术基础课程设计》教学大纲 566 427课程5208563《软件工程导论课程设计》教学大纲 .571 4.28课程5208564《软件工程课程设计》教学大纲 575 4.29课程5208565软件工程综合课程设计实习（实践）教学大纲 581 430课程5208567《软件开发与创新课程设计》教学大纲 586 4.31课程46040013《微机原理与接口技术课程设计》教学大纲 594 4.32课程52010005《数据结构与算法课程设计》教学大纲 599 433课程52010008《算法设计与分析课程设计》教学大纲 .604 4.34课程52020019人工智能课程设计教学大纲 4.35课程52040011《软件需求分析课程设计》教学大纲 614 436课程52040012《软件架构与设计模式课程设计》教学大纲 .620 4.37课程52040013《软件项目管理课程设计》教学大纲 4.38课程52040014《软件测试与质量保证课程设计》教学大纲 633 4.39课程52040104《软件需求分析课程设计》教学大纲 638 4.40课程52040106《软件架构与设计模式课程设计》教学大纲 643 4.41课程52080003《编译原理课程设计》教学大纲. 651 4.42课程52080004《数据挖掘课程设计》教学大纲. 656 4.43课程52083002《海洋空间信息管理与服务课程设计》教学大纲 .662 4.44课程52083102《海洋空间信总管理与服务课程设计》教学大纲 667

4.9 课程 5208021《海洋大数据技术与工程应用课程设计》教学大纲................................462 4.10 课程 5208026《计算机网络课程设计》教学大纲.......................................................... 468 4.11 课程 5208028《计算机综合实践与案例》教学大纲...................................................... 474 4.12 课程 5208073《数据库原理课程设计》教学大纲.......................................................... 481 4.13 课程 5208087《专业大型综合实验》教学大纲.............................................................. 486 4.14 课程 5208088《专业大型综合实验》教学大纲.............................................................. 491 4.15 课程 5208090 综合实习教学大纲..................................................................................... 498 4.16 课程 5208091 综合实习教学大纲..................................................................................... 503 4.17 课程 5208092 综合实习教学大纲..................................................................................... 510 4.18 课程 5208095 海洋大数据技术与工程应用课程设计教学大纲.....................................516 4.19 课程 5208107《大数据原理与技术课程设计》教学大纲.............................................. 522 4.20 课程 5208108《大数据处理技术课程设计》教学大纲.................................................. 528 4.21 课程 5208109《专业大型综合实验》教学大纲.............................................................. 534 4.22 课程 5208110《综合实习》教学大纲.............................................................................. 540 4.23 课程 5208113《中级综合开发实践》教学大纲.............................................................. 547 4.24 课程 5208304《海洋遥感影像分析课程设计》教学大纲.............................................. 552 4.25 课程 5208312《空间建模与分析课程设计》教学大纲.................................................. 559 4.26 课程 5208314《空间数据获取技术基础课程设计》教学大纲......................................566 4.27 课程 5208563《软件工程导论课程设计》教学大纲...................................................... 571 4.28 课程 5208564《软件工程课程设计》教学大纲.............................................................. 575 4.29 课程 5208565 软件工程综合课程设计实习（实践）教学大纲.....................................581 4.30 课程 5208567《软件开发与创新课程设计》教学大纲.................................................. 586 4.31 课程 46040013《微机原理与接口技术课程设计》教学大纲........................................594 4.32 课程 52010005《数据结构与算法课程设计》教学大纲................................................ 599 4.33 课程 52010008《算法设计与分析课程设计》教学大纲................................................ 604 4.34 课程 52020019 人工智能课程设计教学大纲................................................................... 608 4.35 课程 52040011《软件需求分析课程设计》教学大纲.................................................... 614 4.36 课程 52040012《软件架构与设计模式课程设计》教学大纲........................................620 4.37 课程 52040013《软件项目管理课程设计》教学大纲.................................................... 628 4.38 课程 52040014《软件测试与质量保证课程设计》教学大纲........................................633 4.39 课程 52040104《软件需求分析课程设计》教学大纲.................................................... 638 4.40 课程 52040106《软件架构与设计模式课程设计》教学大纲........................................643 4.41 课程 52080003《编译原理课程设计》教学大纲............................................................ 651 4.42 课程 52080004《数据挖掘课程设计》教学大纲............................................................ 656 4.43 课程 52083002《海洋空间信息管理与服务课程设计》教学大纲................................662 4.44 课程 52083102《海洋空间信息管理与服务课程设计》教学大纲................................667

4.45 课程 55099001《毕业论文（设计）》教学大纲.............................................................. 672 4.46 课程 55099002《毕业论文（设计）》教学大纲.............................................................. 679 4.47 课程 55099004《毕业论文（设计）》教学大纲.............................................................. 688 4.48 课程 55099006《毕业论文（设计）》教学大纲.............................................................. 696 5. 信息与计算科学专业学科基础必修............................................................................................. 705 5.1 课程 1102125《高等代数 I》教学大纲.............................................................................. 705 5.2 课程 1102126《高等代数 II》教学大纲.............................................................................711 5.3 课程 1102704《空间解析几何》教学大纲........................................................................ 717 5.4 课程 1103414《数学分析 I》教学大纲.............................................................................. 722 5.5 课程 1103415《数学分析 II》教学大纲.............................................................................728 5.6 课程 1106402《概率论与数理统计 A》教学大纲............................................................ 734 5.7 课程 5208009《常微分方程》教学大纲............................................................................ 741 6. 信息与计算科学专业学科专业必修............................................................................................. 746 6.1 课程 1104104《复变函数》教学大纲.................................................................................746 6.2 课程 1107406《运筹学》教学大纲.....................................................................................754 6.3 课程 5208074《数据挖掘》教学大纲................................................................................ 761 6.4 课程 5208408《数值分析》教学大纲................................................................................ 766 6.5 课程 11014003《数学建模》教学大纲.............................................................................. 771 7. 信息与计算科学专业专业选修......................................................................................................779 7.1 课程 1106404《应用随机过程》教学大纲........................................................................ 779 7.2 课程 1107408《最优化方法》教学大纲............................................................................ 783 7.3 课程 5208413《微分方程数值解》教学大纲.................................................................... 790 7.4 课程 11061102《应用回归分析》教学大纲.......................................................................796 7.5 课程 52020125《计算智能》教学大纲.............................................................................. 802 8. 信息与计算科学专业实践课..........................................................................................................808 8.1 课程 5208075《数据挖掘课程设计》教学大纲................................................................ 808 8.2 课程 5208089《专业技能实践》实习（实践）教学大纲................................................ 813 8.3 课程 5208407《数学实验》教学大纲................................................................................ 818 8.4 课程 11014004《数学建模课程设计》实习（实践）教学大纲...................................... 826 8.5 课程 55099003《毕业设计（论文）》教学大纲................................................................ 831 8.6 课程 88099001《综合实习》实习（实践）教学大纲...................................................... 837

1.计算机类学科基础必修 1.1课程1108104《离散数学》教学大纲一、课程基本信息中文名称：离散数学课程名称英文名称：Discrete Mathematics 课程号 1108104 学分学时讲授学时实验学时上机学时讨论学时总学时：48 48 0 0 0 开课学院信总学院开课学期 2022-2023第1学期计算机科学与技术、件工程、空间信息与数字课程负责人张文博适用专业技术、信息与计算科学、数据科学与大数据技术先修课程及要求无二、课程简介 (一)课程概况《离散数学》课程是为计算机科学与技术、软件工程、电子信息、信息管理、应用数学等专业学生开设的一门专业基础课程。随着计算机科学的发展和计算机应用领域的日益广泛迫切需要适当的数学工具来解决计算机科学领域中提出的有关离散量的理论问题，而离散数学就是适应这种需要而建立的。它综合了计算机科学中所用到的研究离散量的各个数学方面，并进行系统、全面的论述，从而为研究计算机科学及相关学科提供了有利的理论基础和工具是学习后续专业课程（如：数据结构、操作系统原理、数据库原理、计算机网络、算法设计与分析等)不可缺少的数学工具，也是研究自动控制、管理科学、电子工程等的重要工具。课程教学的目的是提高学生的抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础，并为后续课程的学习打下良好的基础。 Discrete mathematics is a basic course for students majoring in computer science and technology,software engineering.electronic information,information management and applied mathematics.With the development of computer science and computer applications more widely. computer science is an urgent need.Discrete mathematics is established to adapt to this need Discrete mathematics combines various discrete mathematics researches used and systematically and comprehensively discussed in computer aspects and provides a favorable theoretical basis and oos for esearch in and related disciplines.Discrete mathematics is the mathematical tool for the study of follow-up courses such as data structure,operating system, compiler principle,formal language and automaton,information management and retrieval,but

1 1. 计算机类学科基础必修 1.1 课程 1108104《离散数学》教学大纲一、课程基本信息课程名称中文名称：离散数学英文名称：Discrete Mathematics 课程号 1108104 学分 3 学时总学时：48 讲授学时实验学时上机学时讨论学时 48 0 0 0 开课学院信息学院开课学期 2022-2023 第 1 学期课程负责人张文博适用专业计算机科学与技术、软件工程、空间信息与数字技术、信息与计算科学、数据科学与大数据技术先修课程及要求无二、课程简介（一）课程概况《离散数学》课程是为计算机科学与技术、软件工程、电子信息、信息管理、应用数学等专业学生开设的一门专业基础课程。随着计算机科学的发展和计算机应用领域的日益广泛，迫切需要适当的数学工具来解决计算机科学领域中提出的有关离散量的理论问题，而离散数学就是适应这种需要而建立的。它综合了计算机科学中所用到的研究离散量的各个数学方面，并进行系统、全面的论述，从而为研究计算机科学及相关学科提供了有利的理论基础和工具，是学习后续专业课程（如：数据结构、操作系统原理、数据库原理、计算机网络、算法设计与分析等）不可缺少的数学工具，也是研究自动控制、管理科学、电子工程等的重要工具。课程教学的目的是提高学生的抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础，并为后续课程的学习打下良好的基础。 Discrete mathematics is a basic course for students majoring in computer science and technology, software engineering, electronic information, information management and applied mathematics. With the development of computer science and computer applications more widely, the appropriate mathematical tools to solve problems about discrete quantity theory in the field of computer science is an urgent need. Discrete mathematics is established to adapt to this need. Discrete mathematics combines various discrete mathematics researches used and systematically and comprehensively discussed in computer science aspects and provides a favorable theoretical basis and tools for research in computer science and related disciplines. Discrete mathematics is the mathematical tool for the study of follow-up courses such as data structure, operating system, compiler principle, formal language and automaton, information management and retrieval, but

also an important tool of automaticcon,management scn,and soon The purpose of teaching is to improve the students'ability of abstract thinking and logical reasoning and learn the description tools and necessary theoretical basis for the application in computer,and follow-up courses to lay a good foundation (二)课程目标课程目标1：理解离散数学中命题逻辑、谓词逻辑、二元关系、集合论、图论等知识的基本概念、理论和知识，初步掌握计算机复杂工程问题中离散结构的描述、提炼和表达方法能力，提升严谨镇密的数学思维。课程目标2：运用现代数学的观点和方法，理解并掌握处理离散结构的实用模型与算法初步具备对计算机工程问题的建模、分析和优化能力，培养离散数学在实际工程问题中的应用能力。课程目标3：通过最短路径、者色问题、哈夫曼算法等内容的学习，注重离散化的数学素养培养和思维方式锻炼，进一步应用在解决计算机复杂工程问题中，提高面向计算机复杂工程问题中的抽象思维、概括分析、逻辑推理的能力。课程目标4（思政目标）：了解数理逻辑的发展历史、集合论中经典的“理发师”悖论、图论对计算机各个方向的科学意义等内容，能演绎数学曲折上升的发展历程，树立坚定的科学信念，形成科学的世界观、人生观和价值观，并不断地提高自身的科学素养。 (三)课程目标和毕业婴求的对应关系课程日标毕业要求指标点毕业要求 .工程知识 2-2 2.问题分析 41 4.研究 12-1 12.终身学习三、教学内容、要求与学时分配教学内容重点、难点学散学方式（支撑词预期学习成果授、实验、上时程目标机、讨论) 第一章命题逻辑能够区分不同链结词重点：联结词在自然语（1)命题及命题联结词，命题公式及类型的食义，能姚对命腰言中的含义，命假符号 (2)等值演算，联结词全功修集：荒式，符号化。能够证明一化：范式的写法及应 3 (3)推理理论个公式是永真式 ”用思政融入点：通过数理逻辑的发展历史够格命题公式转化为难点：永真式、永真道展示数学曲折上升的发展历程，正确认识范式含式，等价公式的证明自主及终身学习的必要性方法

2 also an important tool of automatic control, management science, electronic engineering and so on. The purpose of teaching is to improve the students' ability of abstract thinking and logical reasoning and learn the description tools and necessary theoretical basis for the application in computer, and follow-up courses to lay a good foundation. （二）课程目标课程目标 1：理解离散数学中命题逻辑、谓词逻辑、二元关系、集合论、图论等知识的基本概念、理论和知识，初步掌握计算机复杂工程问题中离散结构的描述、提炼和表达方法能力，提升严谨缜密的数学思维。课程目标 2：运用现代数学的观点和方法，理解并掌握处理离散结构的实用模型与算法，初步具备对计算机工程问题的建模、分析和优化能力，培养离散数学在实际工程问题中的应用能力。课程目标 3：通过最短路径、着色问题、哈夫曼算法等内容的学习，注重离散化的数学素养培养和思维方式锻炼，进一步应用在解决计算机复杂工程问题中，提高面向计算机复杂工程问题中的抽象思维、概括分析、逻辑推理的能力。课程目标 4（思政目标）：了解数理逻辑的发展历史、集合论中经典的“理发师”悖论、图论对计算机各个方向的科学意义等内容，能演绎数学曲折上升的发展历程，树立坚定的科学信念，形成科学的世界观、人生观和价值观，并不断地提高自身的科学素养。（三）课程目标和毕业要求的对应关系课程目标毕业要求指标点毕业要求 1 1-1 1. 工程知识 2 2-2 2. 问题分析 3 4-1 4. 研究 4 12-1 12. 终身学习三、教学内容、要求与学时分配教学内容预期学习成果重点、难点学时教学方式（讲授、实验、上机、讨论）支撑课程目标第一章命题逻辑（1）命题及命题联结词；命题公式及类型（2）等值演算；联结词全功能集；范式；（3）推理理论思政融入点：通过数理逻辑的发展历史，展示数学曲折上升的发展历程，正确认识自主及终身学习的必要性能够区分不同链结词的含义，能够对命题符号化。能够证明一个公式是永真式。能够将命题公式转化为范式重点：联结词在自然语言中的含义；命题符号化；范式的写法及应用。难点：永真式、永真蕴含式，等价公式的证明方法。 8 讲授 1，3， 4

教学方式（用教学内容预期学习成果重点、难点机、讨论能够对合题符号化，重点：调词公式及命题第二音一阶罗组会用等价公式求谓词符号化 (1)一阶罗组概今（2)一阶逻细合式公式及解公式的真值。能够将难点，词算的价 3 (3)等值式，前范式胃词公式写为前束花公试和真蕴含式的证明方法第三章集合的基本概念和运算 (1)生合据今能够解释集合的三种重点：集合的定义和基 (2)集合基本运算公式定义方式，会求集合本运算。 (3)集合中元素计数（包含排斥原理的基本运算以及系讲授 1,2 思政融入点：通过集合论中经典的理》集。会用排斥原理解难点：集合的幂集，排师”悖论，展示数学曲折上升的发展历程决集合的计数问题。斥原理。正确认识自主及终身学习的必要性第四章二元关系和函数重点：关系的性质，关 (1)笛卡尔积：二元关系概念和性质系的复合，求逆，等价 (2)二元关系运算：关系闭包：等价关系关系，函数的定义偏序关系： 14讲投 1,3 (3)函数定义和性质：复合函数和反函数难点：关系的闭包，等第五章图的基木概念能够概述图的基本概 (1)无向图：有向图：握手定理： ,判定无向图的连计算连通分重点：有向图和无向 (2)通路、回路、图的连通：图的矩阵表通性。的概念，图的连通性判定有向图的可可达性，图的矩阵表示 3)最短路径和关键路径讲授 1,2 性，判定强连通和露思政融入点：通过图论对计算机科学的意联通，能够给出图的义，展示数学曲折上升的发展历程，正确矩阵表示，概述最难点：图的最短路径认识自主及终身学习的必要性路径的计算方法。第六章特殊的图重点：二部图、欧拉图 1)一部图能够概述二部图、欧哈密图的定义 (2)欧拉图粒图、哈密顿图的讲按 ,2 (3)哈密倾图难点：二部图、欧拉图哈密顿图的判定第上音射重点：树的定义，生成（1)树的念：树的等价定理树的摄念 (2)无向树的 (3)根树及其应用。难点：最小生成树的求法，根树的定义及应用

3 教学内容预期学习成果重点、难点学时教学方式（讲授、实验、上机、讨论）支撑课程目标第二章一阶逻辑（1）一阶逻辑概念（2）一阶逻辑合式公式及解释（3）等值式，前束范式能够对命题符号化。会用等价公式求谓词公式的真值。能够将谓词公式写为前束范式。重点：谓词公式及命题符号化难点：谓词演算的等价公式和永真蕴含式的证明方法 8 讲授 1，3 第三章集合的基本概念和运算（1）集合概念（2）集合基本运算公式（3）集合中元素计数（包含排斥原理）思政融入点：通过集合论中经典的“理发师”悖论，展示数学曲折上升的发展历程，正确认识自主及终身学习的必要性能够解释集合的三种定义方式，会求集合的基本运算以及幂集。会用排斥原理解决集合的计数问题。重点：集合的定义和基本运算。难点：集合的幂集，排斥原理。 2 讲授 1，2， 4 第四章二元关系和函数（1）笛卡尔积；二元关系概念和性质；（2）二元关系运算；关系闭包；等价关系；偏序关系；（3）函数定义和性质；复合函数和反函数重点：关系的性质，关系的复合，求逆，等价关系，函数的定义难点：关系的闭包，等价类划分和商集，偏序关系 14 讲授 1，3 第五章图的基本概念（1）无向图；有向图；握手定理；（2）通路、回路、图的连通；图的矩阵表示； (3)最短路径和关键路径。思政融入点：通过图论对计算机科学的意义，展示数学曲折上升的发展历程，正确认识自主及终身学习的必要性能够概述图的基本概念，判定无向图的连通性，计算连通分支，判定有向图的可达性，判定强连通和弱联通，能够给出图的矩阵表示，概述最短路径的计算方法。重点：有向图和无向图的概念，图的连通性，可达性，图的矩阵表示难点：图的最短路径 6 讲授 1，2， 4 第六章特殊的图（1）二部图（2）欧拉图（3）哈密顿图能够概述二部图、欧拉图、哈密顿图的定义重点：二部图、欧拉图、哈密顿图的定义难点：二部图、欧拉图、哈密顿图的判定 4 讲授 1，2 第七章树（1）树的概念；树的等价定理；（2）无向树的生成树；（3）根树及其应用。重点：树的定义，生成树的概念难点：最小生成树的求法，根树的定义及应用 6 讲授 1，2

4 四、课程考核评价方式考核以课程目标的达成度为主要目的，以检查学生对各知识点的掌握程度和应用能力为重要内容。（一）考核方式考核方式为闭卷笔试。考试课程成绩由期末成绩（70%）、阶段练习（20%）、作业（10%）构成。（二）课程成绩（1）期末考试：采用闭卷笔试形式。考试范围几乎涵盖所有讲授的内容，考试内容应能客观反映出学生对本门课程主要内容的理解、掌握程度及综合运用能力。（2）阶段练习：设置 3 次及以上的阶段练习（数理逻辑、二元关系、图论），阶段练习用以巩固知识或拓展总结，对于作业中的共性问题，教师须在课堂讲解，以帮助学生提供和进步。任一次阶段考不通过不可进入下一个环节的考核。（3）作业：平时作业量应不少于 24 学时，在每个小节讲授完之后，要布置一定量的作业，旨在加深学生对所学知识的理解、运用。作业批改以抽查的方式，通过批改了解学生对本小节内容的掌握情况，及时解决在作业中集中存在的问题，加深学生对知识的理解。 1.考核环节及说明成绩构成考核说明平时成绩（1）平时成绩满分为 100 分，占总成绩的 30% （2）针对平时成绩对应的课程目标，由作业、测验、实验、课堂表现等部分构成，各部分占比及评分标准由教师根据实际情况决定。期末考试（1）考试方式及占比：采用闭卷笔试，考试成绩 100 分，占课程考核成绩的 70%。（2）评定依据：考试成绩的评定根据试卷参考答案和评分标准进行。（3）考试题型：选择题、填空题、计算题和证明题。（4）考试内容：涵盖所有讲授的内容。 2.考核与评价方式课程目标成绩比例（平时成绩30%+期末成绩70%）平时成绩（30%）合计期末成绩（70%）作业(10%) 测验(20%) 1 2 4 22 28 2 4 10 23 37 3 2 4 21 27 4 2 2 4 8 合计(成绩构成） 10 20 70 100%

附件：各类考核与评价标准表考核方式里有几种类型，就写几种评分标准，参考如下： 1.作业评分标准、成绩良好中等及格优秀不及格 (78≤分数 (68≤分数<(60≤分数< 课程目标 (分数290分) 90) (分数<60分) 78) 68) 按时交作业按时交作业，基基本按时交作基本按时交作有多次缺勤，不能本概念表本概念表述正业，基本概念业，基本度按时交作业有深程目标1 正确，论述划确，论述泛辑而述正确，论述逐述基本正确、论袭现象，或者基本粗清楚，尽次楚，层次分明辑较错楚，语言述基本清楚，语概念不清楚、论述分明，语言规语言规范较规范言较规范不清楚按时交作业按时交作业，登太接时交作某太按时交作右多次缺勒。不能学程离散结握离散结构的按时交作业，有模型模型与算法，袭现象，不能掌拉课程目标2 法，对课程沟误程涉及的与算法，对课形与媒法，对保性离散结构的模雪及的工程问题程问题进行正洗及的工程问涉及的工程问与算法，对课程洗进行正确表确表达、分析和趣进行较好的趣进行基本的及的工程间题不达、分析和建表达、分析和建表达、分析和建能进行正确表达模分析和建模按时交作业，按时交作业，理基本按时交作基本按时交作有多次缺勤，不能理解离散化的解离收化的数北，较好地理射化，基本理解离按时交作业，有抄数学素养和用学素养和用组离散化的数学散化的学素芳现象，不能理解课程目标3 维方式，能能方式，能够调而素养和思维方养和思方式离散化的数学调研和分析和分析计算机式，较好地调研基本能够调研养和思维方式，算机复杂工程复杂工程问题和分析计算制和分析计算能调研和分析问翅，复杂工程问题复杂工程题算机复杂工程同按时交作业按时交作业，树基本按时交作基本按时交作有多次缺勤，不能树立正确的数立正确的学业，较好树立业，基本树立正按时交作业，有抄学学习观和利学习观和科号正确的数学学确的数学学现象，不能树学的世界观的世养观、入生习观和科学的观和科学的世正确的数学学程目标4 人生观和价值观和价值观，世界观、人生观界观、人生观和观和科学的世界观。正确认知确认即到白和价估理，正确价伯型.某杰认型、人生观和价值到自主及终身及终身学习的认识到自主及识到自主及终观。不能正确认识学习的必要必要性终身学习的身学习的必要到自主及终身等要性习的必要性

6 附件：各类考核与评价标准表考核方式里有几种类型，就写几种评分标准，参考如下： 1.作业评分标准成绩课程目标优秀（分数≥90 分）良好（78≤分数＜ 90）中等（68≤分数＜ 78）及格（60≤分数＜ 68）不及格（分数<60 分）课程目标 1 按时交作业，基本概念表述正确，论述逻辑清楚，层次分明，语言规范。按时交作业，基本概念表述正确，论述逻辑清楚，层次分明，语言规范。基本按时交作业，基本概念表述正确，论述逻辑较清楚，语言较规范。基本按时交作业，基本概念表述基本正确、论述基本清楚，语言较规范有多次缺勤，不能按时交作业，有抄袭现象，或者基本概念不清楚、论述不清楚课程目标 2 按时交作业，掌握离散结构的模型与算法，对课程涉及的工程问题进行正确表达、分析和建模。按时交作业，掌握离散结构的模型与算法，对课程涉及的工程问题进行正确表达、分析和建模。基本按时交作业，较好掌握离散结构的模型与算法，对课程涉及的工程问题进行较好的表达、分析和建模。基本按时交作业，基本掌握离散结构的模型与算法，对课程涉及的工程问题进行基本的表达、分析和建模有多次缺勤，不能按时交作业，有抄袭现象，不能掌握离散结构的模型与算法，对课程涉及的工程问题不能进行正确表达、分析和建模课程目标 3 按时交作业，理解离散化的数学素养和思维方式，能够调研和分析计算机复杂工程问题。按时交作业，理解离散化的数学素养和思维方式，能够调研和分析计算机复杂工程问题。基本按时交作业，较好地理解离散化的数学素养和思维方式，较好地调研和分析计算机复杂工程问题。基本按时交作业，基本理解离散化的数学素养和思维方式，基本能够调研和分析计算机复杂工程问题有多次缺勤，不能按时交作业，有抄袭现象，不能理解离散化的数学素养和思维方式，不能调研和分析计算机复杂工程问题课程目标 4 按时交作业，树立正确的数学学习观和科学的世界观、人生观和价值观，正确认识到自主及终身学习的必要性。按时交作业，树立正确的数学学习观和科学的世界观、人生观和价值观，正确认识到自主及终身学习的必要性。基本按时交作业，较好地树立正确的数学学习观和科学的世界观、人生观和价值观，正确认识到自主及终身学习的必要性。基本按时交作业，基本树立正确的数学学习观和科学的世界观、人生观和价值观，基本认识到自主及终身学习的必要性有多次缺勤，不能按时交作业，有抄袭现象，不能树立正确的数学学习观和科学的世界观、人生观和价值观，不能正确认识到自主及终身学习的必要性