全部课程 >离散数学discrete mathematics

课程基本信息

课程编码:045392

课程类别:专业基础课(必修),

先修课程:

适用专业:计算机科学与技术,

开课院部:计算机与网络安全学院

课程负责人:

课程教学团队:
课程资源: 没有资源记录!

课程展示

课程简介

离散数学是计算机专业的学科基础课程。本课程主要学习各种离散量的结构和相互间的关系,以及处理离散结构所必须的描述工具和方法,培养学生逻辑思维和抽象思维能力,为后续计算机专业课程的学习打下必要的基础。

课程教学要求

教学目标
1.知识与技能目标:通过本课程的学习,使学生理解数理逻辑、集合、代数系统、图等几种基本离散结构,初步掌握处理离散结构所必须的描述工具和方法。(理解)
2.过程与方法目标:通过学习数理逻辑,训练学生逻辑推理能力;通过学习集合、代数系统、图等离散结构,训练学生抽象思维能力。在此基础上进行归纳和总结,逐步形成科学的学习观和方法论。(运用)
3.情感、态度与价值观发展目标:通过本课程的学习,培养作为一个信息技术人员必须具备的终身学习精神,严谨的科学态度和积极向上的价值观,为未来的学习、工作和生活奠定基础。(评价)

课程教学内容

理论教学进程表

周次

教学主题

教学

时长

教学的重点与难点

教学方式

作业安排

1.

集合

4

集合的基本概念、基本运算

课堂讲授

 

2

集合

4

集合的基本运算,包含排斥原理

课堂讲授

集合

3

关系

4

二元关系及其表示形式

课堂讲授

 

4

关系

4

二元关系基本类型与判定方法

课堂讲授

 

5

关系

4

二元关系的基本类型与判定方法、等价关系、相容关系和偏序关系

课堂讲授

 

6

关系

4

等价关系、相容关系和偏序关系、复合关系、逆关系和关系的闭包运算

课堂讲授

关系

7

函数

4

函数的定义与特殊函数、复合函数与逆函数

课堂讲授

函数

8

代数系统

4

代数系统、 半群与独异点

课堂讲授

 

9

4

群的定义及判定

课堂讲授

 

10

4

子群、循环群

课堂讲授

 

11

4

置换群、陪集和拉格朗日定理、环和域、格和布尔代数

课堂讲授

12

图论

4

图的基本概念、连通性

课堂讲授

 

13

图论

4

赋权图的最短通路、树

课堂讲授

 

14

图论

4

欧拉图与哈密顿图、 二部图和平面图

课堂讲授

图论

15

命题逻辑

4

命题与联结词真值表与逻辑等价、范式

课堂讲授

 

16

命题逻辑

4

永真蕴含式、推理理论

课堂讲授

命题逻辑

17

谓词逻辑

4

谓词逻辑的基本概念等价式与永真蕴含式

课堂讲授

 

18

谓词逻辑

4

谓词演算的推理理论

课堂讲授

谓词逻辑

合计:

72

 

 

 

考核要求及成绩评定

成绩评定方法及标准

考核内容

评价标准

权重

平时表现

1. 出勤情况  2. 课堂表现  3. 作业情况

0.2

期中考试

依照参考答案

0.1

期末考试

依照参考答案

0.7

学生学习建议

课程文档下载

课程其它文档下载

本站 所有信息归:东莞理工学院 版权所有

技术支持: 北京文华在线教育科技股份有限公司    建议在IE8以上浏览器1024*768分辨率下浏览本站