查看同类图书：科学技术»自然科学»数学»递归可枚举集和图灵度：可计算函数与（影印版）

递归可枚举集和图灵度：可计算函数与（影印版）

【作　者】：（美）索尔

【丛编项】：国外数学名著系列

【装帧项】：精装 16 / 437

【出版项】：科学出版社 / 2007-1

【ISBN号】：9787030182951 / 7030182952

【原书定价】：￥78.00　有3家书店打折销售　

【主题词】：科学与自然－数学－数理逻辑、数学基础

书籍介绍

购买本书

【图书简介】
　　本书为英文影印版。-读书网|DuShu.com

【本书目录】
Introduction
Part A. The Fundamental Concepts of Recursion Theory
　Chapter Ⅰ. Recursive Functions
　　1. An Informal Description
　　2. Formal Definitions of Computable Functions
　　　2.1. Primitive Recursive Functions
　　　2.2. Diagonalization and Partial Recursive Functions
　　　2.3. Turing Computable Functions
　　3. The Basic Results
　　4. Recursively Enumerable Sets and Unsolvable Problems
　　5. Recursive Permutations and Myhill's Isomorphism Theorem
　Chapter Ⅱ. Fundamentals of Recursively Enumerable Sets and the Recursion Theorem
　　1. Equivalent Definitions of Recursively Enumerable Sets andTheir Basic Properties
　　2. Uniformity and Indices for Recursive and Finite Sets
　　3. The Recursion Theorem
　　4. Complete Sets, Productive Sets, and Creative Sets
　Chapter Ⅲ. Turing Reducibility and the Jump Operator
　　1. Definitions of Relative Computability
　　2. Turing Degrees and the Jump Operator
　　3. The Modulus Lemma and Limit Lemma
　Chapter Ⅳ. The Arithmetical Hierarchy
　　1. Computing Levels in the Arithmetical Hierarchy
　　2. Post's Theorem and the Hierarchy Theorem
　　3. En-Complete Sets
　　4. The Relativized Arithmetical Hierarchy and High and Low Degrees
Part B. Post's Problem, Oracle Constructions and the Finite Injury Priority Method
　Chapter Ⅴ. Simple Sets and Post's Problem
　　1. Immune Sets, Simple Sets and Post's Construction
　　2. Hypersimple Sets and Majorizing Functions
　　3. The Permitting Method
　　4. Effectively Simple Sets Are Complete
　　5. A Completeness Criterion for R.E. Sets
　Chapter Ⅵ. Oracle Constructions of Non-R.E. Degrees
　　1. A Pair of Incomparable Degrees Below 0'
　　2. Avoiding Cones of Degrees
　　3. Inverting the Jump
　　4. Upper and Lower Bounds for Degrees
　　5.* Minimal Degrees
　Chapter Ⅶ. The Finite Injury Priority Method
　　1. Low Simple Sets
　　2. The Original Friedberg-Muchnik Theorem
　　3. SplittingTheorems
Part C. Infinitary Methods for Constructing R.E. Sets　and Degrees
　Chapter Ⅷ.The Infinite Injury Priority Method
　　1. The Obstacles in Infinite Injury and the Thickness Lemma
　　2. The Injury and Window Lemmas and the Strong Thickness Lemma
　　3. TheJump Theorem
　　4. The Density Theorem and the Sacks Coding Strategy
　　5.*The Pinball Machine Model for Infinite Injury
　Chapter Ⅸ. The Minimal Pair Method and Embedding Lattices into the R.E. Degrees
　　1. Minimal Pairs and Embedding the Diamond Lattice
　　2.* Embedding DistributiveLattices
　　3. The Non-Diamond Theorem
　　4.* Nonbranching Degrees
　　5.*Noncappable Degrees
　Chapter Ⅹ. The Lattice of R.E. Sets Under Inclusion
……
Part D. Advanced Topics and Current Research Areas in the R.E.Degrees and the Lattice
References
Notation Index
SubjectIndex

【购买本书】

购书指南»

商城名称	价格	配送信息	优惠活动	去看看	购买
卓越网	￥61.80	送货上门：国内308个城市邮寄：全球特快专递：全球海外航空快递	七周年店庆，全场免费配送	去看看	订购
当当网	￥62.40	当天加急送：北京五环以内送货上门：国内178个城市邮寄：全球特快专递：全球	特惠商品68折封顶	去看看	订购
万卷百城	￥78.00			去看看	订购