科学 技术
2.1 计算机学科方法论简介
目前大多数人认为,计算学科包括计算机科学、计 算机工程、软件工程、信息技术和信息系统5大分 支。
国际上最有影响的计算机专业教学计划当属美国电 气和电子工程师学会计算机分会(Institute of Electrical and Electronics EngineersComputer Society,简称IEEE-CS)和美国计算 机协会(Association for Computing Machinery,简称ACM)各个时期发表的指导性 计划。
2.1 计算机学科方法论简介 2.2 计算机学科的方法论 2.3 计算机学科专业能力的培养 2.4 相关Web资源
第2章 计算机学科方法论
要解决学科的认识问题,必须有一套科学的 方法
计算机学科是研究计算机的设计、制造和利 用计算机进行信息获取、表示、存储、处理、 控制等的理论、原则、方法和技术的学科。
2.2 计算机学科的方法论
学科形态
抽象
理论
设计
计
算
机
学科方法
学
数学方法
系统方法
科
方
法
绑定 大问题的复杂性 概念和形式模型 一致性和完备性
论
核心概念
效率 演化
按时间排序
按空间排序
重用 安全性
抽象层次
折衷和结论
计算机学科方法论主要内容
2.2 计算机学科的方法论
2.2.2 计算机学科的三个形态 1.抽象形态 抽象是指在思维中对同类事物去除其现象的、次要
1.2 软件工程专业毕业生的特征
基本要求
数学要求
数学技巧和形式化的数学推理已在计算机科学与技 术学科领域中占有重要的位置。计算机科学与技术 学科在基本的定义、公理、定理和证明技巧等很多 方面都要依赖数学知识和数学方法。