【预订】Models and Computability 美国库房发货，通常付款后3-5周到货！
¥494.00
海外直订Models and Computability 模型与可计算性
¥737.00
预订 Models and Computability [ISBN:9780521635509] 【全球购】进口原版图书，约3-6周到达国内后发出
¥725.00
【预订】Computability and Models 9781461352259 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781461352259 Author 作者 Cooper Format 版本 平装-胶订 Pages Number 页数 375页 Publisher 出版社 Springer US Publication Date 出版日期 2012-09-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 1230g Language 语种 英语 Book Contents 内容简介 Science involves deions of the world we live in. It also depends on nature exhibiting what we can best describe as a high aLgorithmic content. The theme running through this collection of papers is that of the interaction between deions, in the form of formal theories, and the algorithmic content of what is described, namely of the modeLs of those theories. This appears most explicitly here in a number of valuable, and substantial, contributions to what has until recently been known as ’recursive model theory’ - an area in which researchers from the former Soviet Union (in particula
¥1217
【预订】Computability and Models: Perspectives East and 美国库房发货，通常付款后3-5周到货！
¥1217
3-6周达 Computability and Models [ISBN:9780306474002] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1141
【预订】Algebraic Computability and Enumeration Models 978177188 美国库房发货，通常付款后3-5周到货！
¥2110
【预订】Algebraic Computability and Enumeration Models: Recursio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781774635759 Author 作者 Cyrus F. Nourani Format 版本 平装-胶订 Pages Number 页数 310页 Publisher 出版社 Apple Academic Press Publication Date 出版日期 2021-03-31 Product Dimensions 商品尺寸 6 x 9 Language 语种 其它（含多语） Book Contents 内容简介 This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descriptive complex
¥1251
预订Algebraic Computability and Enumeration Models: Recursion 【全球购】进口原版图书，一般5-8周左右到国内
¥1044
预订 高被引Algebraic Computability and Enumeration Models: Recurs 【全球购】进口原版图书，一般5-8周左右到国内
¥1761
海外直订Algebraic Computability and Enumeration Models: Recursio
¥909.00
海外直订Algebraic Computability and Enumeration Models: Recursio
¥1710
