信息技术跟社会进步4-2.pdf

HPMS HPMS I Remember: 改编自J. G. Brookshear 10% of what I read, Behrouz Forouzan 陈国良等 20% of what I hear, 计算 30% of what I see, 50% of what I see and hear, + 李波 boblee@ 70% of what I discuss with others, 计算机教学实验中心 80% of what I experience by doing, 高效能建模与仿真研究小组（HPMS) 西安交通大学 2011年10月 95% of what I teach others. HPMS HPMS 本讲内容 数学与计算机科学的关系 一枚硬币的两面 Two sides of a coin 数学与计算机科学的关系 一枚硬币的两面 Two sides of a coin Function （功能）和Procedure （过程） Function （功能）和Procedure （过程） 计算机的数学理论模型－图灵机 程序设计中的声明式与定义式，接口定义与接口实现 程序设计中的声明式与定义式，接口定义与接口实现 UML中Operation和Method，Property和Attribution UML中Operation和Method，Property和Attribution 计算理论（可计算性） 软件工程中的规格与实现