豆瓣图书标签: 可计算性

综合排序  /  按出版日期排序  /  按评价排序
  • Computability : An Introduction to Recursive Function Theory

    Nigel Cutland / Cambridge University Press / 1980 / USD 50.00
    8.7 (36人评价)

    What can computers do in principle? What are their inherent theoretical limita...

  • 计算理论导引 : 原书第3版

    迈克尔·西普塞 (Michael Sipser) / 段磊、唐常杰、等 / 机械工业出版社 / 2015-8-1 / CNY 69.00
    9.3 (18人评价)

    《计算理论导引(原书第3版)》由计算理论领域的知名权威 Michael Sipser 所撰写。他以独特的视角,系统地介绍了计算理论的三个主要内容:自动机与语...

  • 可计算性理论

    杨东屏、李昂生 / 科学出版社 / 1999-04-01 / 28.0
    (少于10人评价)

    本书全面系统地介绍了50年代至今在可计算性理论方面的主要方法与成果.主要内容包括:可计算性理论基础知识,可计算枚举集,有穷和无穷延伸方法,有穷损害优先方法,...

  • Computability : Turing, Gödel, Church, and Beyond

    B. Jack Copeland (Editor)、Carl J. Posy (Editor)、Oron Shagrir (Editor) / The MIT Press / 2013-6-7 / USD 35.00
    (目前无人评价)

    In the 1930s a series of seminal works published by Alan Turing, Kurt Godel, A...

  • 集合论基础

    恩德滕 / 人民邮电出版社 / 2006-4 / 39.0
    9.3 (28人评价)

    集合论是数学的一个基本分支,在数学中占据着独特的地位,其基本概念已渗透到数学的所有领域。本书从集合论中最基本的概念开始,循序渐进,深入浅出。主要内容有:公理...

  • 可计算性与计算复杂性导引

    张立昂 / 2011-8 / 35.00元
    (少于10人评价)

    《可计算性与计算复杂性导引(第3版)》是学习计算理论的教材和参考书,内容包括三部分:可计算性、形式语言与自动机、计算复杂性,主要介绍几种计算模型及它们的等价...

  • 可计算性理论 : 计算机科学丛书

    莫绍揆、王元元 / 科学出版社 / 1987年12月 / 3.05元
    (少于10人评价)

    本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分,详尽地研究了初等函数、原始递归函数、递归函数及给类算子,充分地讨论了Turing机与...

  • 可计算性与数理逻辑

    布勒斯 / 电子工业出版社 / 2005-7 / 32.00元
    (11人评价)

    本书是一本经典的逻辑教书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不...

  • Procedural Semantics for Hyperintensional Logic

    Dua3/4a-, Marie; Jespersen, Bja Rn; Materna, Pavel / 2085.00元
    (目前无人评价)
  • Subsystems of Second Order Arithmetic

    Simpson, Stephen G. / 2009-5 / $ 114.13
    (少于10人评价)

    Almost all of the problems studied in this book are motivated by an overriding...

  • Recursively Enumerable Sets and Degrees : A Study of Computable Functions and Computably Generated Sets

    Robert I. Soare / Springer / 1999-12-17 / USD 139.00
    (少于10人评价)

    ..."The book, written by one of the main researchers on the field, gives a com...

  • A Course In Mathematical Logic

    John Bell、Moshe Machover / North Holland / 1977-01-15 / USD 166.00
    (少于10人评价)

    A comprehensive one-year graduate (or advanced undergraduate) course in mathem...

  • Theory of Computation (Texts in Computer Science) : Classical and Contemporary Approaches

    Dexter C. Kozen / Springer / 2006-03-23 / USD 84.95
    (少于10人评价)
  • Computability and Logic

    George S. Boolos、John P. Burgess、Richard C. Jeffrey / Cambridge University Press / 2002-3-4 / GBP 19.99
    (少于10人评价)

    Now in its fourth edition, this book has become a classic because of its acces...

  • 皇帝新脑 : 有关电脑、人脑及物理定律

    罗杰·彭罗斯 / 许明贤、吴忠超 / 湖南科学技术出版社 / 2007-6-1 / 38.00元
    8.1 (1452人评价)

    本书对电脑科学、数学、物理学、宇宙学、神经和精神科学以及哲学进行了广泛、深入浅出的讨论,体现了作者向哲学上最大问题——“精神-身体关系”挑战的大无畏精神。书...

  • 代数与数理逻辑 : 王世强文集

    王世强 / 北京师范大学出版社 / 2005-11 / 46.50元
    (少于10人评价)

    《王世强文集:代数与数理逻辑》内容包括:数理逻辑与代数、命题演算的一系公理(及补注)、一种逻辑电路演算的初步构作、格值模型论中紧致性定理的一种证法、格值模型...

  • 几何与数理逻辑

    汤囗真 / 北京师范大学出版社 / 2007-4 / 36.50元
    (目前无人评价)

    《几何与数理逻辑》主要内容:“天体几何学初步研究”一文,并不是关于我们所在宇宙的几何研究,而是一种关于球的几何学。如文中所说“凡有南北极可分之球名日天体”,...

  • 计算理论导引 : 第2版

    [美]Michael Sipser / 唐常杰、陈鹏、向勇、刘齐宏 / 机械工业出版社 / 2006-7 / 36.00元
    9.3 (209人评价)

    本书是计算理论领域的经典著作,被国外多所大学选用为教材。本书以注重思路、深入引导为特色,系统地介绍计算理论的三大主要内容:自动机与语言、可计算性理论和计算复...

  • 数理逻辑 : (英文版 · 第2版)

    (美)Herbert B. Enderton 著 / 人民邮电出版社 / 2006-01-01 / 39.00
    9.1 (42人评价)

    本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一...

  • 可计算性

    Douglas S.Bridges / 世界图书出版公司 / 1997-09-01 / 42.0
    (少于10人评价)

    Preface My inte

<前页 1 2 3 4 5 6 7 8 9 ... 后页>

相关的标签  · · · · · ·



> 浏览全部图书标签