数学语言与证明方法.pptx

1
大一学科基础年——开展通识教育、人格教育、学科基础教育、生涯规划教育
大二专业培育年——实行学科基础教育、专业领域教育
大三素质拓展年——推进个性化教育、多元化教育（专业方向教育、导师制教育、竞争意识教育、创新思维教育、就业指导）
大四能力锻造年——组织创新教育、专业能力综合性教育（毕业设计、毕业论文、专业实****专业实训、就业服务、创业引导、考研指导）
“四四制”本科教学新模式是一个“纵横结合模块化设计”的人才培养方式。四个年度目标：
2
计算机科学与技术专业方向
CCC 2004
CS2004
计算机
科学方向
CE2004
计算机
工程方向
SE2004
软件工
程方向
IT2004
信息技
术方向
计算机科学与技术专业本科教育类型：
科学型（计算机科学）
工程型（计算机工程与软件工程）
应用型（信息技术）
3
3
计算机科学与技术专业部分核心课程
计算机科学
计算机工程
软件工程
信息技术
1
计算机导论
计算机导论
面向对象方法学
面向对象方法
2
程序设计基础
程序设计基础
程序设计基础
程序设计与问题求解
3
离散结构
离散结构
离散结构I,II
信息技术应用数学入门
4
算法与数据结构
算法与数据结构
数据结构和算法
数据结构与算法
5
计算机体系结构
计算机体系结构
计算机体系结构
计算机系统平台
6
操作系统
操作系统
操作系统与网络
7
数据库系统原理
数据库系统原理
数据库
数据库与信息管理技术
8
软件工程
软件工程
软件工程导论,I,II,III
信息系统工程与实践
9
计算机网络
计算机网络
网络(与操作系统相关)
计算机网络与互联网
10
数字逻辑
数字逻辑
软件测试
人机交互
11
计算机组成基础
计算机组成基础
软件工程综合实****br/>系统管理与维护
…
…
…
…
4
4
离散数学与其他课程的关系
高等
代数
数学
分析
概率
统计
概率
统计
离散
数学
算法设计
与分析
算法与数据结构
编译技术
网络技术
软件工程
人工智能
基础数学的延伸
算法与数据结构
的理论基础
概率统计、算法
设计与分析的理
论基础
其他专业课程的
描述和建模工具
5
系统建模——关系
关系数据库—— n元关系
图的连通性—— 等价关系
集合的聚类划分——等价关系
流程的拓扑排序—— 偏序关系
计划评审技术PERT—— 偏序关系
问题类复杂度的归约—— 偏序关系
6
系统建模——图
通信网络——无向图
Internet上的超链接——有向图
社会网络（群体之间影响）——有向图
依赖网络（食物链）——有向图
基于Petri网的工作流模型——有向图
有源网络的最大流问题——有向图
计算机文件系统——树
决策——决策树
多处理机调度——图的着色
7
系统建模——代数系统
计算机硬件设计的基础——布尔代数
编码系统——群码
数据仓库OLAP分析——物化视图的格结构
多维数据立方体包含n个维属性，1个度量属性
在聚类操作中，需要物化的聚类层子方体构成一个格结构
软件形式化方法——用进程代数描述并发系统
基本元素是进程
进程之间顺序、并发、通信都表示成运算
7
8
离散数学课程教学目标
具有良好的知识结构，为学****其他课程打下基础：知识获取能力
掌握离散数学的语言，能对实际问题给出清晰的描述（建模）：基本应用能力
掌握离散数学的分析方法，针对实际问题设计解决方案并加以实施：工程实践能力
培养思维严谨性，提升抽象思考和严格推理能力：研究能力
了解现代数学思想和学科进展，培养创新意识
9
能力培养体系
理论课程（课堂教学）
实验课程（实验教学）
科研训练（科研项目）
奖励基金
竞赛（ACM竞赛、电子设计竞赛）
实验室课题
毕业论文
创
新
能
力
综
合
能
力
实
践
能
力
10
面向不同培养类型的离散数学定位
类型
科学型
工程型
应用型
培养
要求
基础理论和核心技术研究
原始创新
基本理论与原理的综合
应用（创新性应用）
计算机应用人才
定位
学术研究
IT企事业
应用领域信息化人才
人数
少
较多
多
离散
数学
的基
础
熟练掌握形式描述、变换
、推理和证明方法
熟练掌握离散系统的描述
与分析方法
了解实际离散系统的建模
熟悉形式描述、变换、
推理和证明方法
熟练掌握离散系统的描
述与分析方法
了解实际离散系统建模
简要了解形式描述、变换、
推理和证明方法
掌握离散系统描述与分析方