豆瓣图书标签: 数理逻辑

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

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

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

  • 符号逻辑讲义

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

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

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

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

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

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

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

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

  • 作为哲学的数理逻辑

    杨睿之 / 复旦大学出版社 / 2016-11-1 / CNY 32.00
    8.3 (13人评价)

    现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔...

  • 数理逻辑导引

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

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

  • 数理逻辑 : 第2版

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

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

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

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

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

  • 数理逻辑 : 第2版

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

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

  • 数理哲学导论

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

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

  • 数学哲学

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

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

  • 集合论基础

    A.Shen、N.K.Vereshchagin / 陈光还 / 高等教育出版社 / 2013-9-10 / 29.00元
    9.5 (14人评价)

    集合论的主要概念(基数、序数、超限归纳)对于所有数学家都是最基础的,并非仅限于研究数理逻辑或集合论拓扑的专家。通常分析、代数或拓扑学的课程只会给出基础集合论...

  • 数理逻辑引论

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

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

  • 形式逻辑

    金岳霖 / 人民出版社 / 1979年10月 / 26.00元
    8.0 (412人评价)

    金岳霖(1895—1984),中国现代哲学家、逻辑学家。字龙荪,浙江诸暨人。1911年考入清华学堂。1914年考取官费留学生。1920年获美国哥伦比亚大学博...

  • 数理逻辑

    汪芳庭 / 中国科学技术大学出版社 / 2010-9 / 22.00元
    (12人评价)

    《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完...

  • 逻辑与演绎科学方法论导论

    〔波兰〕塔尔斯基(Tarski.A.) / 周礼全、吴允曾、晏成书 / 商务印书馆 / 1963-4-1 / 21.00元
    8.1 (47人评价)

    《逻辑与演绎科学方法论导论》是我的《论数理逻辑和演绎方法》(该书1936年最初用波兰文出版,又于1937年出版了确切的德文译本,书名是:《数理逻辑和数学方法...

  • 数理逻辑是什么

    [英] 约翰·N.克罗斯利 / 夏素敏、闫佳亮 / 中国轻工业出版社 / 2018-11-20 / 32.00元
    (少于10人评价)

    本书是数理逻辑领域的代表性著作,旨在向零基础的读者普及数理逻辑知识。自1972年问世以来,本书得到众多逻辑学家的肯定,并始终是该领域的长销之作。 简明扼要是...

  • 弗雷格哲学论著选辑

    弗雷格 / 王路、王炳文 校 / 商务印书馆 / 2006-4 / 20.00元
    9.1 (101人评价)

    弗雷格是现代逻辑的创始人,也是分析哲学的奠基人,他的思想对罗素和维特根斯坦有直接的影响。本书收录了他关于哲学和逻辑学的文章共14篇。

  • Mathematical Logic

    H.-D. Ebbinghaus、J. Flum、W. Thomas / Springer / 1996-11-15 / USD 74.95
    9.0 (21人评价)

    This introduction to first-order logic clearly works out the role of first-ord...

  • 数学基础

    汪芳庭 / 科学出版社 / 2001-09-01 / 25.0
    8.9 (34人评价)

    本书概述了数学基础的历史,介绍了现代数学主体的基础——ZFC集论,重点讲述四种数(自然数、实数、序数和基数)的理论.书中采用一种特殊的构造实数的新方法——非...

<前页 1 2 3 4 5 后页>

相关的标签  · · · · · ·



> 浏览全部图书标签