安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算模型导引/宋方敏编著

出版发行项:

北京:高等教育出版社,2012

ISBN及定价:

978-7-04-034737-1/CNY24.00

载体形态项:

151页;23cm

并列正题名:

Introduction to models of computation

丛编项:

计算机科学与技术研究生系列教材

个人责任者:

宋方敏 编著

学科主题:

计算模型-研究生-教材

中图法分类号:

O24

相关题名附注:

英文并列题名取自封面

书目附注:

有书目 (第149-151页)

提要文摘附注:

本书主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。

豆瓣简介：