计算模型导引
- 书名:计算模型导引
- 作者: 宋方敏
- 格式:PDF
- 时间:2024-07-28
- 评分:
- ISBN:9787040347371
内容简介:
《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,Lambda演算和Turing机来理解计算理论。本课程讲述如下专题:递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题,供读者选做。
宋方敏,南京大学计算机科学与技术系教授,博士生导师。主要研究领域是数理逻辑和量子计算,曾主持国家自然科学基金项目、863项目和中法合作项目的研究,在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程,为研究生主讲“计算理论”课程。
作者简介:
下载地址:
标签:
文章链接:https://www.dushupai.com/book-content-57501.html(转载时请注明本文出处及文章链接)
最新评论:
更多
-
廿五05-30从三个方面讲了可计算理论:递归函数论、Lambda演算、图灵机。是上课用的讲义,不太适合自学。另外书中使用的符号其实完全遵循“经典”教材中采用的那一套——也就是Church、Turing、Kleene他们当年在Princeton用的那些,跟现在流行的教材中的用法有一定出入。
-
没有昵称06-24宋公的书,确实不易自学
-
行人驱逐舰07-26苏式教材,相比美式教材的量大管饱有如巨无霸汉堡的风格,苏式教材就好像法国菜。写的很简洁清晰,难度不高,不会超过你南微积分一,说不适合自学的还是自己水平……嗯。然后这本书的主题堪称是计算机科学的基石,计算机中的计算机。每所学校的计算机系都该开这门课,而且应该开在本科。
猜你喜欢:
-
2024-07-050
-
2024-07-057
-
2024-07-052
-
2024-07-053
-
2024-07-053
-
2024-07-053
-
2024-07-054
-
2024-07-053