作品介绍

可计算函数


作者:A.Shen/N.K.vereshchagin     整理日期:2017-02-24 11:03:52


  这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义,涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始,讨论了可判定性、可数性、通用函数、编号系统及其性质、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定理:胜出条件
  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函数
  参考文献
  人名表
  索引

八字精批2025运势命中贵人八字合婚



闂佸吋鐪归崕鎻掞耿閻楀牏鈻曢柨鏃囨硶閻熸繈鏌ら搹顐㈢亰缂佹鎳忓ḿ顏堝棘閵堝洨顦柣鐘叉搐閸㈠弶绂嶉弴鐔衡攳闁斥晛鍟ˉ鍥煙鐠囪尙绠扮憸鏉挎啞缁嬪鈧綆鍙庡ḿ鈥趁瑰⿰鍐伇婵烇綆鍣i幆宥夋晸閿燂拷
闂佺ǹ绻楀▍鏇㈠极閻愬搫绀傛い鎴f硶閼稿綊鏌涘▎蹇曟闁逞屽墯缁矂宕洪崱娑欌挃妞ゎ偒鍘兼慨娑樜涢敐鍡欐喛闁逞屽墾閹凤拷,婵炴垶妫戠粻鎴濐嚕閸濄儰鐒婇柛鈩冪懅閼稿爼鏌熼鍝勫闁搞劌瀛╃粋宥夘敃閿濆棙瀚虫繛鎴炴鐠愮喖鍩€椤掑﹥瀚�
闂佸吋鐪归崕鎵箔閸涱喗濮滈柦妯侯槸缁斿墽绱撻崒妤佹珔閻庡灚锕㈠鍨緞婵犲嫭顫氶梺娲诲枙缁躲倗妲愬┑瀣Е閻忕偛澧芥竟澶愭煙濞堝灝浜為柣鏍ㄧ矒瀹曟鎼归锝嗘畼闂佹寧绋戦懟顖毭洪弽銊ョ窞鐎广儰璁查崑鎾斥堪閸犵増甯″畷銏⑩偓锝庝簽濡叉洟鏌i鏄忣唹闁逞屽墯缁诲倸鐣甸崱娑樼煑妞ゆ牗菤閸嬫捇鏁撻敓锟�

上一本:数学童话绘本 下一本:拟共形映射与Teichmuller空间

作家文集