计算模型导引epub,mobi,azw3,pdf格式kindle电子书下载，作者：宋方敏-琅嬛苑

书名
计算模型导引
作者宋方敏
格式PDF
ISBN书号9787040347371
出版年2012-6
出版社高等教育出版社
页数151
定价24.00元

作者简介

宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目、863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。

内容简介

《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。书中每章附有适量习题，供读者选做。

下载地址

豆瓣评论

廿五

从三个方面讲了可计算理论：递归函数论、Lambda演算、图灵机。是上课用的讲义，不太适合自学。另外书中使用的符号其实完全遵循“经典”教材中采用的那一套——也就是Church、Turing、Kleene他们当年在Princeton用的那些，跟现在流行的教材中的用法有一定出入。05-30
没有昵称

宋公的书，确实不易自学06-24
行人驱逐舰

苏式教材，相比美式教材的量大管饱有如巨无霸汉堡的风格，苏式教材就好像法国菜。写的很简洁清晰，难度不高，不会超过你南微积分一，说不适合自学的还是自己水平……嗯。然后这本书的主题堪称是计算机科学的基石，计算机中的计算机。每所学校的计算机系都该开这门课，而且应该开在本科。07-26
换个ID试试

宋公计算模型导引的教材，前排已经说得很详细了，分成三部分讲解（其实还有算盘机）。整本书中有大量的概念和定义，并不适合自学。06-22
呼啦啦的小王子

全是定义的书，为什么不叫字典呢？03-27

标签推荐

文学(7254) 历史(4068) 小说(3717) 哲学(2341) 地理(1918) 宗教(1723) 经济(1631) 政治(1438) 法律(1171) 科普(1113) 工业技术(1103) 文化(1044) 科学(1030) 艺术(1003) 日本(938) 教育(813) 管理(721) 社会(682) 体育(671) 经典(563) 思想(555) 推理(544) 社会科学总论(482) 医药(477) 卫生(476) 传记(470) 心理(450) 商业(448) 励志(432) 投资(425) 美国(424) 思维(423) 悬疑(421) 金融(412) 随笔(410) 中国(340) 旅行(316) 数理科学与化学(316) 绘本(313) 科幻(309) 中国语言文学(302) 语言(294) 理学(289) 文字(275) 中国古代文学(273) 漫画(272) 中国现当代文学(271) 外国语言文学(271) 建筑(266) 成长(250) 军事(245) 纪实(237) 生物学(233) 美食(231) 英国(229) 互联网(225) 天文学(218) 游记(214) 心理学(196) 生物科学(195) 散文(187) 工学(170) 职场(168) 历史学(160) 生活(158) 社会学(155) 医学(151) 法国(150) 营销(148) 编程(142) 女性(139) 法学(137) 地球科学(136) 设计(130) 二战(126) 战争(126) 学习(126) 股票(121) 奇幻(119) 物理(115) 世界(113) 德国(111) 人文(109) 理财(106) 创业(106) 欧洲(104) 经济学(101) 人物(100) 健康(93) 沟通(88) 自然(87) 治愈(86) 宇宙(85) 艺术学(85) 数学(84) 名著(84) 生物(83) 爱情(81) 计算机科学与技术(80) 国学(78)