豆瓣图书标签: 数理逻辑

综合排序  /  按出版日期排序  /  按评价排序
  • 模型论基础 : 现代数学基础丛书

    王世强 / 科学出版社 / 2007-1 / 32.00元
    (少于10人评价)

    《模型论基础》介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型等。并附有模型...

  • 递归论

    莫绍揆 / 科学出版社 / 1987-1 / 20.00元
    (少于10人评价)

  • 递归可枚举集和图灵度

    索尔 / 科学 / 2007-1 / 78.00元
    9.2 (15人评价)

    《递归可枚集合和图灵度:可计算函数与可计算生成集研究(影印版)》主要内容包括:An Informal DescriptionFormal Definitio...

  • Mathematical Logic

    Ian Chiswell、Wilfrid Hodges / Oxford University Press / 2007-07-12 / USD 180.00
    (少于10人评价)

    Assuming no previous study in logic, this informal yet rigorous text covers th...

  • 面向计算机科学的数理逻辑

    陆钟万 / 科学出版社 / 2002-1 / 24.00元
    7.3 (60人评价)

    《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计...

  • 哥德尔不完全性定理

    雷蒙德 M. 斯穆里安 / 余俊伟 / 科学出版社 / 2019-1 / 78
    (少于10人评价)
  • 数理逻辑引论

    王宪钧 / 北京大学出版社 / 1998 / 28.00元
    9.3 (32人评价)

    本书是著名数理逻辑哲学家王宪钧教授的代表作,共分三篇,前两篇“命题演算”和“狭谓词演算”,讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详...

  • Lambda-Calculus and Combinators : An Introduction

    J. Roger Hindley、Jonathan P. Seldin / Cambridge University Press / 2008-8-11 / USD 84.99
    (少于10人评价)

    Combinatory logic and lambda-calculus, originally devised in the 1920s, have s...

  • The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics)

    Akihiro Kanamori / Springer / 2003-07-29 / USD 137.00
    (少于10人评价)

    The theory of large cardinals is currently a broad mainstream of modern set th...

  • Mathematical Logic

    Stephen Cole Kleene / Dover Publications / 2002-12-18 / USD 21.95
    (少于10人评价)

    Undergraduate students with no prior classroom instruction in mathematical log...

  • 可计算性与数理逻辑

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

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

  • 独立于ZFC的数学问题

    王世强、杨守廉 / 北京师范大学出版社 / 1992-9 / 10
    (目前无人评价)
  • 逻辑人生 : 哥德尔传

    [奥] 约翰·卡斯蒂、维尔纳·德波利 / 刘晓力、叶闯 / 上海科技教育出版社 / 2002-11 / 12.30元
    7.9 (119人评价)

    哥德尔的不完全性定理不仅改变了数学,也改变了整个科学世界和建筑于此定理之上的哲学。《逻辑人生:哥德尔传》是对哥德尔生活和工作的精彩介绍,以深入而敏锐的笔触透...

  • 理性的生命 : 哥德尔思想研究

    刘晓力 / 湖南教育出版社 / 2000-9 / 12.80元
    (少于10人评价)

    本书依据近年出版的《哥德尔文集》和已公布的哥德尔的部分手稿,参照西方哥德尔研究的最新文献,通过透视20世纪伟大的思想家哥德尔(Kurt Godel1906—...

  • 逻辑——从三段论到不完全性定理 : 从三段论到不完全性定理

    熊明 / 科学出版社 / 2016-3-1 / CNY 58.00
    (少于10人评价)

    本书以公理化思想为主导,从亚里士多德的三段论到哥德尔的不完全性定理,阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线,分别展开三段沦的自然演...

  • Set Theory : Springer Monographs in Mathematics

    Thomas Jech / Springer / 2006-4-28 / USD 219.00
    9.1 (18人评价)

    Set Theory has experienced a rapid development in recent years, with major adv...

  • Model Theory

    C.C. Chang、H.J. Keisler / North Holland / 1990-06-01 / USD 184.00
    9.5 (12人评价)

    Model theory deals with a branch of mathematical logic showing connections bet...

  • 应用逻辑

    尼罗德 / 机械工业出版社 / 2006-9 / 49.00元
    7.5 (22人评价)

    这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书,书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题(语法,语义,完备性和紧...

  • 语言哲学

    陈嘉映 / 北京大学出版社 / 2003-5 / 29.80元
    8.8 (607人评价)

    有两种基本的框架可供选择,一是以哲学家为线索,一是以问题为线索。两种框架各有利弊,《语言哲学》做了混合式的安排:前面的四章谈论语言哲学的背景、简要介绍语言哲...


相关的标签  · · · · · ·



> 浏览全部图书标签