计算模型导引 2024 pdf epub mobi 电子书
☆☆☆☆☆
简体网页||
繁体网页
计算模型导引 2024 pdf epub mobi 电子书 著者简介
宋方敏,南京大学计算机科学与技术系教授,博士生导师。主要研究领域是数理逻辑和量子计算,曾主持国家自然科学基金项目、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 论题
习题
参考文献
· · · · · · (
收起)
下载链接在页面底部
点击这里下载
立刻按 ctrl+D收藏本页
你会得到大惊喜!!
发表于2024-11-24
计算模型导引 2024 pdf epub mobi 电子书
计算模型导引 2024 pdf epub mobi 电子书
计算模型导引 2024 pdf epub mobi 电子书
喜欢 计算模型导引 电子书 的读者还喜欢
计算模型导引 电子书 读后感
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
评分
☆☆☆☆☆
类似图书 点击查看全场最低价
出版者:高等教育出版社
作者:宋方敏
出品人:
页数:151
译者:
出版时间:2012-6
价格:24.00元
装帧:
isbn号码:9787040347371
丛书系列:
图书标签:
计算机科学
数学
计算模型
元数学
metamathematics
TCS
计算机科学与技术研究生系列教材
计算模型导引 2024 pdf epub mobi 电子书 图书描述
《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,Lambda演算和Turing机来理解计算理论。本课程讲述如下专题:递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题,供读者选做。
计算模型导引 2024 pdf epub mobi 电子书
计算模型导引 2024 pdf epub mobi 电子书
计算模型导引 2024 pdf epub mobi 用户评价
评分
☆☆☆☆☆
从三个方面讲了可计算理论:递归函数论、Lambda演算、图灵机。是上课用的讲义,不太适合自学。另外书中使用的符号其实完全遵循“经典”教材中采用的那一套——也就是Church、Turing、Kleene他们当年在Princeton用的那些,跟现在流行的教材中的用法有一定出入。
评分
☆☆☆☆☆
宋公的书,确实不易自学
评分
☆☆☆☆☆
宋公计算模型导引的教材,前排已经说得很详细了,分成三部分讲解(其实还有算盘机)。整本书中有大量的概念和定义,并不适合自学。
评分
☆☆☆☆☆
宋公的书,确实不易自学
评分
☆☆☆☆☆
提升内力~
计算模型导引 2024 pdf epub mobi 电子书