第二章 计算机科学基本概念和基本知识2.1 计算模型与二进制  数学不等于计算，但数学确实起源于对计算研究。  数学、计算模型（计算方法、数学机器）、形式化与形式化方法  我们说，形式是事物内容存在外在方式、形状和结构总和。所谓形式化是将事物内容与形式相分离，用事物某种形式来表示事物。形式化方法是在对事物描述形式化基础上，经过研究事物形式改变规律来研究事物改变规律全体方法总称。1.1.1 计算模型与图灵机  所谓计算模型是刻划计算这一概念一个抽象形式系统或数学系统，而算法是对计算过程步骤（或状态一个刻
划，是计算方法一个能行实现方式。在计算机科学中，我们通常所说计算模型，并不是指在其静态或动态数学描述基础上建立求解某一(类)问题计算方法数学模型，而是指含有状态转换特征，能够对所处理对象数据或信息进行表示、加工、变换、输出数学机器。因为观察计算角度不一样，产生了各种不一样计算模型。  递归函数、Turing机等  (1) s(x)＝x＋1 （后继函数）  (2) o(x)＝0   （零函数）  (3) Uj(n)(x1，x2，…，xn)＝xj （射影函数）  由初始函数和有限次使用算子能 ...