《Computable Functions》电子书下载

Computable Functionstxt,chm,pdf,epub,mobi下载
作者: Nikolai Konstantinovich Vereshchagin / A. Shen
出版社: Amer Mathematical Society
出版年: 2002-12-16
页数: 166
丛书: Student Mathematical Library
ISBN: 9780821827321

内容简介  · · · · · ·

In 1936, before the development of modern computers, Alan Turing proposed the concept of a machine that would embody the interaction of mind, machine, and logical instruction. The idea of a 'universal machine' inspired the notion of programs stored in a computer's memory. Nowadays, the study of computable functions is a core topic taught to mathematics and computer science unde...




目录  · · · · · ·

《可计算函数》
《大学生数学图书馆》丛书序
引言
第一章 可计算函数、可判定集与可数集
1.可计算函数
2.可判定集
· · · · · · ()
《可计算函数》
《大学生数学图书馆》丛书序
引言
第一章 可计算函数、可判定集与可数集
1.可计算函数
2.可判定集
3.可数集
4.可数集与可判定集
5.可数性与可计算性
第二章 通用函数与不可判定性
1.通用函数
2.对角构造
3.可数的不可判定集
4.可数的不可分集
5.单集:post构造
第三章 编号与运算
1.godel通用函数
2.可计算函数的可计算序列
3.godel通用集
第四章 godel编号系统的性质
1.编号集
2.旧函数的新编号
3.godel编号系统的同构
4.函数的可数性
第五章 不动点定理
1.不动点与等价关系
2.打印程序文本的程序
3.系统的技巧:另一个证明
4.几点附注
第六章 m-可约性与可数集的性质
1.m-可约性
2.m-完全集
3.m-完全性与有效不可数性
4.m-完全集的同构
5.产生集
6.不可分集的对
第七章 oracle计算
1.oracle机
2.相对可计算性:等价描述
3.相对化
4.0'-计算
5.不可比集
6.friedberg-muchnik定理:构造的一般方案
7.friedberg-muchnik定理:胜出条件
8.niedberg—muchnik定理:优先方法
第八章 算术分层
1.类∑n和ⅱn
2.∑n和ⅱn中的通用集
3.跳跃运算
4.分层中集的分类
第九章 turing机
1.简单的可计算模型:需要它们做什么
2.turing机:定义
3.turing机:讨论
4.字问题
5.uuring机的模拟
6.thue系统
7.半群、生成元和关系
第十章 可计算函数的算术化
1.有限个变量的程序
2.turing机和程序
3.可计算函数是可算术化的
4.tarski定理和godel定理
5.tarski定理和godel定理的直接证明
6.算术分层和量词交换数
第十一章 递归函数
1.原始递归函数
2.原始递归函数的例
3.原始递归集
4.递归的其他形式
5.turing机和原始递归函数
6.部分递归函数
7.oracle可计算性
8.生长率的估计、ackermann函数
参考文献
人名表
索引
· · · · · · ()

下载地址

发布者:陈很怪

文件说明:zip / 解压密码:yiquhai.com

迅雷下载:您需要先后,才能查看

网盘下载:您需要先后,才能查看

关于内容:内容自于互联网,如果发现有违规内容请联系管理员删除!

作者: 陈很怪

该用户很懒,还没有介绍自己。

11 条评论

发表评论

  1. 肖一振 肖一振说道:
    1#

    一种全新的角度切入

  2. BerYl榆 BerYl榆说道:
    2#

    书很好,很值得

  3. taytay喵 taytay喵说道:
    3#

    近乎平淡的笔触

  4. 陈很怪 陈很怪说道:
    4#

    作者视角观点都是很独特,现在只看了一部分,相信不会辜负自己的

  5. 显示更多