可计算函数

可计算函数

分享

作者: [俄罗斯] 沈（A.Shen）著 , [俄罗斯] 韦列夏金（N.K.Vereshchagin）著 , 陈光还译

出版社: 高等教育出版社

出版时间: 2014-01

版次: 1

ISBN: 9787040386929

定价: 35.00

装帧: 平装

开本: 32开

纸张: 胶版纸

页数: 159页

字数: 140千字

正文语种: 简体中文

原版书名: Computable Functions

丛书: 大学生数学图书馆

分类: 自然科学

1 张插图图片

15人买过

　　这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m-完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还介绍了一些特殊的函数模型，如Turing机和递归函数。
　　《可计算函数》可供数学和计算机专业的本科生阅读，也可供所有希望学习计算的一般理论的基础知识的数学家和程序员使用。《大学生数学图书馆》丛书序
引言

第一章可计算函数、可判定集与可数集
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定理：胜出条件
……
第八章算术分层
第九章Turing机
第十章可计算函数的算术化
第十一章递归函数
参考文献
人名表
索引
内容简介:
　　这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m-完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还介绍了一些特殊的函数模型，如Turing机和递归函数。
　　《可计算函数》可供数学和计算机专业的本科生阅读，也可供所有希望学习计算的一般理论的基础知识的数学家和程序员使用。
目录:
《大学生数学图书馆》丛书序
引言

第一章可计算函数、可判定集与可数集
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定理：胜出条件
……
第八章算术分层
第九章Turing机
第十章可计算函数的算术化
第十一章递归函数
参考文献
人名表
索引

查看详情

相关分类

农业/林业畜牧/养殖生物科学环境科学数学物理学力学化学天文学测绘学地球科学大气科学（气象学）地质学海洋学自然地理学

可计算函数正版品相完好，套书和多封面版本咨询客服后再下单

九品

新起点书店

北京市海淀区

平均发货23小时成功完成率89.8%

￥68.47

券

100减20

立即购买加入购物车
可计算函数正版品相完好，套书和多封面版本咨询客服后再下单

九品

旧书香书城

北京市昌平区

平均发货23小时成功完成率88.6%

￥68.00

券

100减20

立即购买加入购物车
4

可计算函数

2014-01 印刷
印次: 1

八五品

哥俩书屋

河南省濮阳市

平均发货7小时成功完成率97.78%

￥22.50

券

100减20

立即购买加入购物车
可计算函数【正版有货可开发票；库存情况请咨询，及标题与图片不一致时】

全新

心流图书

广东省广州市

平均发货10小时成功完成率88.94%

￥58.00

券

100减20

立即购买加入购物车不属于本条目
可计算函数

八五品

万丈文澜月在天的书店

湖北省武汉市

平均发货18小时成功完成率82.94%

￥32.00

券

100减20

立即购买加入购物车
4

可计算函数

九品

书香之韵

北京市海淀区

平均发货5小时成功完成率98.64%

￥22.00

券

100减20

立即购买加入购物车不属于本条目
可计算函数

全新

北京智源恒久文化图书专营店

北京市海淀区

平均发货57小时成功完成率72.32%

￥27.30

券

100减20

立即购买加入购物车不属于本条目
可计算函数

九五品

靖鮟大君

浙江省杭州市

平均发货31小时成功完成率80.26%

￥25.00

券

100减20

立即购买加入购物车不属于本条目
可计算函数全新正版，欢迎选购

全新

籍海楼图书的书店

北京市海淀区

平均发货30小时成功完成率67.19%

￥27.30

券

100减20

立即购买加入购物车
可计算函数正版现货，品相完整，套书只发一本,多版面书籍只对书名

九品

文人墨客书香书店

北京市昌平区

平均发货17小时成功完成率91.12%

￥68.93

券

100减20

立即购买加入购物车
可计算函数陈光还高等教育出版社 9787040386929

全新

井大书店

江西省吉安市

平均发货54小时成功完成率84.54%

￥41.08

券

100减20

立即购买加入购物车不属于本条目
4

可计算函数

九五品

畏狐之狐的书房

浙江省金华市

平均发货7小时成功完成率100%

￥20.00

券

100减20

立即购买加入购物车
可计算函数

全新

中科大校内图书的书摊

安徽省合肥市

平均发货61小时成功完成率66.67%

￥35.00

券

100减20

立即购买加入购物车
可计算函数正版一手书，无写划

2014-01 印刷
印次: 1

全新

桥数一肩挑x的书摊

安徽省合肥市

平均发货8小时成功完成率100%

￥39.00

券

100减20

立即购买加入购物车不属于本条目