| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:43

题名/责任者:
计算机模型导引/宋方敏编著
出版发行项:
北京:高等教育出版社,2012.6
ISBN及定价:
978-7-04-034737-1/CNY24.00
载体形态项:
151页;23cm
并列正题名:
Introduction to models of computation
丛编项:
计算机科学与技术研究生系列教材
个人责任者:
宋方敏 编著
学科主题:
计算模型-研究生-教材
学科主题:
计算模型
中图法分类号:
O24
题名责任附注:
英文并列题名取自封面
书目附注:
有书目 ( 第149-151页 )
提要文摘附注:
本书主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,Lambda演算和Turing机来理解计算理论。本课程讲述如下专题:递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O24/308 71822574  - 自然科学第二书库(7F)     可借 自然科学第二书库(7F)
O24/308 71822575  - 自然科学第二书库(7F)     可借 自然科学第二书库(7F)
O24/308 71822576  - 自然科学第二书库(7F)     可借 自然科学第二书库(7F)
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架