机读格式显示(MARC)

• 000 01195nam 2200313 450

• 001 0000452917

• 005 20121117151700.0

• 010 __ |a 978-7-04-034737-1 |d CNY24.00

• 099 __ |a CAL 012012238966

• 100 __ |a 20120720d2012 ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a k a 000yy

• 106 __ |a r

• 200 1_ |a 计算模型导引 |A ji suan mo xing dao yin |f 宋方敏编著

• 210 __ |a 北京 |c 高等教育出版社 |d 2012

• 215 __ |a 151页 |d 23cm

• 225 2_ |a 计算机科学与技术研究生系列教材 |A ji suan ji ke xue yu ji shu yan jiu sheng xi lie jiao cai

• 312 __ |a 英文并列题名取自封面

• 320 __ |a 有书目 (第149-151页)

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

• 410 _0 |1 2001 |a 计算机科学与技术研究生系列教材

• 510 1_ |a Introduction to models of computation |z eng

• 606 0_ |a 计算模型 |A ji suan mo xing |x 研究生 |j 教材

• 690 __ |a O24 |v 5

• 701 _0 |a 宋方敏 |A song fang min |4 编著

• 801 _0 |a CN |b 浙江省新华书店集团公司 |c 20120708

• 905 __ |a SCNU |f O24/3008

• 920 __ |a 242430 |z 1