当前位置: 100md首页 > 电子书籍 > 资料23
编号:54916
计算模型导引 宋方敏 pdf
http://www.100md.com 2011年12月26日
第1页
第2页
第9页
第18页
第24页

    参见附件(32979KB，287页)。

    计算模型导引 pdf是一款由宋方敏所著的计算机图书，整本书从递归函数论、Lambda演算、图灵机三个方面讲了可计算理论，感兴趣的朋友可以下载学习!

    计算模型导引 pdf简介

    《计算模型导引》主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题，供读者选做。

    计算模型导引 宋方敏 pdf目录节选

    第一章 递归函数

    1.1 数论函数

    1.2 配对函数

    1.3 初等函数

    1.4 原始递归函数

    1.5 递归函数

    1.6 结论

    习题

    第二章 算盘机

    2.1 算盘机的定义

    2.2 算盘机可计算函数

    2.3 算盘机的计算能力

    习题