机读格式显示(MARC)
- 000 01192nam0 2200313 450
- 010 __ |a 978-7-04-034737-1 |d CNY24.00
- 100 __ |a 20120912d2012 em y0chiy0120 ea
- 200 1_ |a 计算机模型导引 |A ji suan ji mo xing dao yin |f 宋方敏编著
- 210 __ |a 北京 |c 高等教育出版社 |d 2012.6
- 225 2_ |a 计算机科学与技术研究生系列教材 |A Ji Suan Ji Ke Xue Yu Ji Shu Yan Jiu Sheng Xi Lie Jiao Cai
- 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 教材
- 606 0_ |a 计算模型 |A Ji Suan Mo Xing
- 701 _0 |a 宋方敏 |A song fang min |4 编著
- 801 _0 |a CN |b AX |c 20121009
- 905 __ |a HDUL |d O24/308