计算模型导引 pdf epub mobi txt 电子书 下载 2025
宋方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目、863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。
出版者:高等教育出版社
作者:宋方敏
出品人:
页数:151
译者:
出版时间:2012-6
价格:24.00元
装帧:
isbn号码:9787040347371
丛书系列:
图书标签:
- 计算机科学
- 数学
- 计算模型
- 元数学
- metamathematics
- TCS
- 计算机科学与技术研究生系列教材
下载链接在页面底部
《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题，供读者选做。
具体描述
读后感
评分
评分
评分
评分
评分
用户评价
评分
人类智慧的结晶
评分宋公的书，确实不易自学
评分全是定义的书，为什么不叫字典呢？
评分符号使用一塌糊涂，跟国外教材差距实在太大
评分从三个方面讲了可计算理论：递归函数论、Lambda演算、图灵机。是上课用的讲义，不太适合自学。另外书中使用的符号其实完全遵循“经典”教材中采用的那一套——也就是Church、Turing、Kleene他们当年在Princeton用的那些，跟现在流行的教材中的用法有一定出入。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有