计算模型导引 pdf epub mobi txt 电子书 下载 2025
☆☆☆☆☆
简体网页||
繁体网页
宋方敏
高等教育出版社
2012-6
151
24.00元
9787040347371
图书标签:
计算机科学
数学
计算模型
元数学
metamathematics
TCS
计算机科学与技术研究生系列教材
喜欢 计算模型导引 的读者还喜欢
下载链接在页面底部
点击这里下载
立刻按 ctrl+D收藏本页
你会得到大惊喜!!
发表于2025-01-13
计算模型导引 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2025
计算模型导引 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2025
计算模型导引 pdf epub mobi txt 电子书 下载 2025
图书描述
《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,Lambda演算和Turing机来理解计算理论。本课程讲述如下专题:递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题,供读者选做。
计算模型导引 下载 mobi epub pdf txt 电子书
著者简介
宋方敏,南京大学计算机科学与技术系教授,博士生导师。主要研究领域是数理逻辑和量子计算,曾主持国家自然科学基金项目、863项目和中法合作项目的研究,在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程,为研究生主讲“计算理论”课程。
图书目录
第一章递归函数
1.1 数论函数
1.2 配对函数
1.3 初等函数
1.4 原始递归函数
1.5 递归函数
1.6 结论
习题
第二章算盘机
2.1 算盘机的定义
2.2 算盘机可计算函数
2.3 算盘机的计算能力
习题
第三章λ-演算
3.1 λ-演算的语法
3.2 转换
3.3 归约
3.4 Church-Rosser 定理
3.5 不动点定理
3.6 递归函数的λ-可定义性
3.7 与递归论对应的结果
习题
第四章组合逻辑
4.1 组合子的形式系统
4.2 弱归约
4.3 CL 与λ的对应
习题
第五章Turing 机
5.1 Turing 机的形式描述
5.2 Turing 机的计算能力
5.3 可判定性与停机问题
5.4 通用Turing 机
5.5 Church-Turing 论题
习题
参考文献
· · · · · · (
收起)
计算模型导引 pdf epub mobi txt 电子书 下载
用户评价
评分
☆☆☆☆☆
符号使用一塌糊涂,跟国外教材差距实在太大
评分
☆☆☆☆☆
提升内力~
评分
☆☆☆☆☆
宋公的书,确实不易自学
评分
☆☆☆☆☆
宋公计算模型导引的教材,前排已经说得很详细了,分成三部分讲解(其实还有算盘机)。整本书中有大量的概念和定义,并不适合自学。
评分
☆☆☆☆☆
符号使用一塌糊涂,跟国外教材差距实在太大
读后感
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
类似图书 点击查看全场最低价
计算模型导引 pdf epub mobi txt 电子书 下载 2025