清华大学：《计算科学导论》课程教学资源（PPT课件讲稿）第一章 计算、计算模型与计算机

计算科学导论 第一章计算、计算模型与计算机 第二章计算模型与计算机体系结构 第三章程序设计语言与软件开发方法学 第四章应用数学与计算机应用 第五章计算机科学与技术专业内含 第六章如何学习计算机科学与技术专业 实验

计算科学导论 • 第一章 计算、计算模型与计算机 • 第二章 计算模型与计算机体系结构 • 第三章 程序设计语言与软件开发方法学 • 第四章 应用数学与计算机应用 • 第五章 计算机科学与技术专业内含 • 第六章 如何学习计算机科学与技术专业 • 实验

算、计算模型与计算机 计算,计算模型与计算机 )电子计算机前史 )现代计算机体系结 算科学导论的研究范畴 第一章作业 返回

计算、计算模型与计算机 • 计算、计算模型与计算机 • 电子计算机前史 • 现代计算机体系结构 • 计算科学导论的研究范畴 • 第一章作业 返回

讲算模型与计算机体系结构 布尔代数、数理逻辑与哥德尔定理,可计 算性与图灵机,算法、计算复杂性与相似 性原理,河.诺依曼与存储程序式计算机, 引算机的更新换代,进程与操作系统,网 络、分层协议与机群系统,线程、并行与 分布式计算,非冯.诺依曼型与第五代计算 机,新型计算机与网格计算 返回

计算模型与计算机体系结构 布尔代数、数理逻辑与哥德尔定理，可计 算性与图灵机，算法、计算复杂性与相似 性原理，冯.诺依曼与存储程序式计算机， 计算机的更新换代，进程与操作系统，网 络、分层协议与机群系统，线程、并行与 分布式计算，非冯.诺依曼型与第五代计算 机，新型计算机与网格计算 返回

程序设计语言与软件开发方法学 二进制与机器语言,汇编语言与汇编程序, 级语言与编译程序,形式语言与自动机 并发与Pet网,结构化程序与形式语义学 软件危机与程序设计方法学,自然语言处 理与计算语言学,CASE与软件开发方法学 返回

程序设计语言与软件开发方法学 二进制与机器语言，汇编语言与汇编程序， 高级语言与编译程序，形式语言与自动机， 并发与Petri网，结构化程序与形式语义学， 软件危机与程序设计方法学，自然语言处 理与计算语言学，CASE与软件开发方法学 返回

应用数学与计算机应用 科学计算与复杂系统,计算机图形学与计 算机辅助处理,数据库理论与MIS,实时系 统与容错处理,图灵试验与人工智能,深 蓝与思维模型,定理证明与问题求解,知 炽工程与高级逻辑,计算可视化与虚拟现 实,计算机病毒与网络安全,并行计算与 演化计算 返回

应用数学与计算机应用 科学计算与复杂系统，计算机图形学与计 算机辅助处理，数据库理论与MIS，实时系 统与容错处理，图灵试验与人工智能，深 蓝与思维模型，定理证明与问题求解，知 识工程与高级逻辑，计算可视化与虚拟现 实，计算机病毒与网络安全，并行计算与 演化计算 返回

计算机科学与技术专业内含 计算科学,基本间题,发展主线, 分支学科,学科范型,学科形态, 核心概念,典型方法,典型实例, 王作流程,知识结构 返回

计算机科学与技术专业内含 计算科学，基本问题，发展主线， 分支学科，学科范型，学科形态， 核心概念，典型方法，典型实例， 工作流程，知识结构 返回

如何学习计算机科学与技术专业 培养目标 培养计划 )注重基础 提高能力 理解科学 科学素养 返回

如何学习计算机科学与技术专业 • 培养目标 • 培养计划 • 注重基础 • 提高能力 • 理解科学 • 科学素养 返回

算、计算模型与计算机 计算:信息的描和换的过程。 数值计算:如1+1=2,3.1415926 sin(309)=0.5,方程(X2-2×+1=0)的根是1等。 非数值计算:如(2)’一(2X),(900d)汉语 (好),(人像)动画→>(动物像)等。 计算模型:是刻划计算这一概念的形式系统,是 和输出的数学机盛。典型代表如图机、交 能够对所处理对象的信息行接收 讦算机:实现计算模型的一种物理装置。 返回

计算、计算模型与计算机 • 计算：信息的描述和变换的过程。 数值计算：如1+1=2， 3.1415926 ， sin(30o )=0.5, 方程(X 2 -2X+1=0)的根是1等。 非数值计算：如（X 2）’ →（2X），（good)汉语 → （好），（人像）动画→（动物像）等。 • 计算模型：是刻划计算这一概念的形式系统，是 指能够对所处理对象的信息进行接收、表示、变 换和输出的数学机器。典型代表如图灵机。 • 计算机：实现计算模型的一种物理装置。 返回

信息 目常生活中的信息:回头一笑百媚 生,暗送秋波,挤眉弄眼等。 言息的两大特性: ⊥事物的自我表现; 2事物对它事物的反映。 返回

信息 •日常生活中的信息：回头一笑百媚 生，暗送秋波，挤眉弄眼等。 •信息的两大特性： 1 事物的自我表现； 2 一事物对它事物的反映。 返回

形式系统一 是用形式化方法对事物及其关系和变 规律进行描述 形式:是事物的内容存在(本质)的外在方式 形状和结构的总和。 形式化:是将事物的内容与形式相分离,用事物 的某种形式来表示事物 式化方法:是在对事物描述形式化的基础上 通过研究事物的形式变化规律来研究事物变化规 律的全体方法的总和 例:自然数及其运算规则的形成 返回

形式系统 • 形式系统：是用形式化方法对事物及其关系和变 化规律进行描述的知识体系。 • 形式：是事物的内容存在（本质）的外在方式、 形状和结构的总和。 • 形式化：是将事物的内容与形式相分离，用事物 的某种形式来表示事物。 • 形式化方法：是在对事物描述形式化的基础上， 通过研究事物的形式变化规律来研究事物变化规 律的全体方法的总和。 • 例：自然数及其运算规则的形成。 返回