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


雷达卡




京公网安备 11010802022788号







