豆瓣图书标签: 数理逻辑

综合排序  /  按出版日期排序  /  按评价排序
  • 哥德尔证明

    欧内斯特·内格尔(Ernest Nagel)、詹姆士 R. 纽曼 (James R. Newman) / 陈东威、连永君 / 中国人民大学出版社 / 2008-3 / 18.00元
    9.3 (488人评价)

    《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说,它提供了...

  • 数理逻辑 : 第2版

    艾宾浩斯 (Ebbinghaus H.D.)、J. Flum、W. Thomas / 世界图书出版公司 / 2008-5 / 45.00元
    9.0 (53人评价)

    《数理逻辑(第2版)》主要内容:What is a mathematical proof? How can proofs be justified? Are...

  • 数理哲学导论

    罗素(Russell B.) / 晏成书 / 商务印书馆 / 1982-5-1 / 11.0
    8.4 (202人评价)

    数理哲学导论,ISBN:9787100027625,作者:(英)罗素(Bertrand Russell)著;晏成书译

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

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

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

  • 逻辑之旅 : 从哥德尔到哲学

    [美] 王浩 / 邢滔滔、郝兆宽、汪蔚 / 浙江大学出版社 / 2009-2 / 58.00元
    8.7 (111人评价)

    王浩20年倾力之作,书中包括哥德尔一些未发表的哲学观点,接续上一本《哥德尔》的论题并将其扩展到更加广泛的领域:柏拉图主义、逻辑的本质、心灵、上帝的存在性、实...

  • 数理逻辑 : 第2版

    [美]Herbert B.Enderton / 沈复兴、陈磊、孙运传 / 人民邮电出版社 / 2007-3 / 35.00元
    8.5 (49人评价)

    《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。

  • 数理逻辑引论

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

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

  • 哥德尔

    [美] 王浩 / 康宏逵 / 上海译文出版社 / 2002-9 / 30.00元
    8.4 (165人评价)

    分为上下两篇,上篇考察了歌德尔的事迹,从献身基本理论的角度来讲述歌德尔的生平;下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。

  • 符号逻辑讲义

    徐明 / 武汉大学出版社 / 2008-9 / 58.00元
    9.1 (87人评价)

    这份讲义是当代逻辑入门课程的教材,内容大约是一阶逻辑的前部,可作为教科书或参考书,用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻...

  • 数理逻辑 : 证明及其限度

    杨跃、郝兆宽、杨睿之 / 复旦大学出版社 / 2014-11-1 / 36.00
    8.4 (43人评价)

    本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版...

  • Three Views of Logic: Mathematics, Philosophy, and Computer Science : Mathematics, Philosophy, and Computer Science

    Donald W. Loveland、Richard E. Hodel、S. G. Sterrett / Princeton University Press / 2014-1-26 / USD 49.50
    (少于10人评价)

    This book is based on an interdisciplinary course on logic offered to upper-le...

  • 哥德尔不完备定理

    朱水林编著 / 辽宁教育出版社 / 1987 / 7.30
    8.2 (17人评价)

    哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学...

  • 证明与反驳 : 数学发现的逻辑

    [英]拉卡托斯 / 康宏逵 / 上海译文出版社 / 1987 / 1.90
    8.5 (20人评价)
  • 数学家的逻辑

    A.G.哈密尔顿、Hamilton, A.G. / 骆如枫、陈慕昌 / 商务印书馆 / 1989 / 3.40
    9.1 (18人评价)

    译自: Logic for mathematicans/A. G. Hamilton. -- 剑桥大学出版社, 1978

  • 面向计算机科学的数理逻辑系统建模与推理

    哈斯 / 机械工业 / 2007-7 / 39.00元
    7.1 (18人评价)

    本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证...

  • 集合论

    Thomas Jech / 世界图书出版公司 / 2007-1 / 78.00元
    (16人评价)

    集合论,ISBN:9787506282321,作者:Thomas Jech 著

  • 数理逻辑导引

    冯琦 / 科学出版社 / 2017-10-9 / CNY 198.00
    (少于10人评价)

    本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业...

  • 数学哲学

    [美] 保罗·贝纳塞拉夫 希拉里·普特南 编 / 朱水林 / 商务印书馆 / 2003-2 / 46.00元
    8.5 (85人评价)

    《数学哲学》内容简介:只要将《数学哲学》第二版与第一版的目录随便比较一下,就可以发现它们之间既有重大差异,又有许多重复之处。总的说来,这一选本是由两种力量促...

  • 元数学导论(上)

    [美] S.C.克林 / 莫绍揆 / 科学出版社 / 1984-11 / 1.45元
    (少于10人评价)

    本书是数理逻辑方面的一本名著,既概括了数学基础的主要内容,也概括了这方面所产生的若干基本方向.本书为数理逻辑和递归函数论提供一个有系统的导论,也为更新的数学...

  • How to Prove It : A Structured Approach

    Daniel J. Velleman / Cambridge University Press / 2006-01-16 / USD 29.99
    9.4 (11人评价)

    Many students have trouble the first time they take a mathematics course in wh...

<前页 1 2 3 4 5 后页>

相关的标签  · · · · · ·



> 浏览全部图书标签