课程编码:045392
课程类别:专业基础课(必修),
先修课程:
适用专业:计算机科学与技术,
开课院部:计算机与网络安全学院
课程负责人:
离散数学是计算机专业的学科基础课程。本课程主要学习各种离散量的结构和相互间的关系,以及处理离散结构所必须的描述工具和方法,培养学生逻辑思维和抽象思维能力,为后续计算机专业课程的学习打下必要的基础。
教学目标 1.知识与技能目标:通过本课程的学习,使学生理解数理逻辑、集合、代数系统、图等几种基本离散结构,初步掌握处理离散结构所必须的描述工具和方法。(理解) 2.过程与方法目标:通过学习数理逻辑,训练学生逻辑推理能力;通过学习集合、代数系统、图等离散结构,训练学生抽象思维能力。在此基础上进行归纳和总结,逐步形成科学的学习观和方法论。(运用) 3.情感、态度与价值观发展目标:通过本课程的学习,培养作为一个信息技术人员必须具备的终身学习精神,严谨的科学态度和积极向上的价值观,为未来的学习、工作和生活奠定基础。(评价)
理论教学进程表
周次
教学主题
教学
时长
教学的重点与难点
教学方式
作业安排
1.
集合
4
集合的基本概念、基本运算
课堂讲授
2
集合的基本运算,包含排斥原理
3
关系
二元关系及其表示形式
二元关系基本类型与判定方法
5
二元关系的基本类型与判定方法、等价关系、相容关系和偏序关系
6
等价关系、相容关系和偏序关系、复合关系、逆关系和关系的闭包运算
7
函数
函数的定义与特殊函数、复合函数与逆函数
8
代数系统
代数系统、 半群与独异点
9
群
群的定义及判定
10
子群、循环群
11
置换群、陪集和拉格朗日定理、环和域、格和布尔代数
12
图论
图的基本概念、连通性
13
赋权图的最短通路、树
14
欧拉图与哈密顿图、 二部图和平面图
15
命题逻辑
命题与联结词真值表与逻辑等价、范式
16
永真蕴含式、推理理论
17
谓词逻辑
谓词逻辑的基本概念等价式与永真蕴含式
18
谓词演算的推理理论
合计:
72
成绩评定方法及标准
考核内容
评价标准
权重
平时表现
1. 出勤情况 2. 课堂表现 3. 作业情况
0.2
期中考试
依照参考答案
0.1
期末考试
0.7
本站 所有信息归:东莞理工学院 版权所有
技术支持: 北京文华在线教育科技股份有限公司 建议在IE8以上浏览器1024*768分辨率下浏览本站