大拱桥--暨南大学学生门户 » 图书馆 » 计算数学 » 计算模型导引
名称 计算模型导引
索引号 O24/20142
分类号 O24
O24(计算数学)
O(数理科学和化学)
作者 宋方敏、
出版社 北京 : 高等教育出版社, 2012
ISBN 978-7-04-034737-1
页数 151页 ; 23cm
价格 CNY24.00
标签
简介
注解 英文并列题名取自封面 有书目 (第149-151页) 本书主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。