计算机学科概论 第02章 认识计算机学科.pptVIP

第2章 认识计算机学科 2.1 什么是计算机学科 2.2 计算机学科的科学问题 2.3 计算机学科的经典问题 2.4 计算机学科的知识体系 什么是计算 从字源上考察： 计：从言从十，有数数或计数的含义； 算：从竹从具，指计算工具。 《现代汉语词典》对计算的定义： 根据已知数通过数学方法求得未知数。 什么是计算 直观的计算：数的加减乘除；函数的微分、积分；微分方程的求解；定理的证明推导等等。 计算的实质：从一个符号串 f（输入）得出另一个符号串 g（输出）。 数学概念 →普适概念 计算的例子 从符号串“12+3”变换成符号串“15”——加法计算 符号串“x2”变换成符号串“2x”——微分； f 表示一组公理和推导规则，g 是一个定理，那么从 f 到 g 的一系列变换——定理g的证明； 符号串 f 代表一个英文句子，符号串 g 为含义相同的中文句子，那么从 f 到 g 的变换——英文翻译成中文； 图灵与巨人计算机 图灵模型 图灵模型 图灵模型 计算与可计算 用图灵模型来计算 构造一个识别符号串ω＝anbn（n≥1）的图灵机 基本思想：使读写头往返移动，每往返移动一次，就成对地对输入符号串ω左端的一个a和右端的一个b匹配并做标记x。如果恰好把输入符号串ω的所有符号都做了标记，说明左端的符号a和右端的符号b的个数相等；否则，说明左端的符号a和右端的符号b的个数