豆瓣图书标签: 数理逻辑

综合排序  /  按出版日期排序  /  按评价排序
  • 作为哲学的数理逻辑

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

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

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

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

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

  • 集合论 : 对无穷概念的探索

    郝兆宽、杨跃 / 复旦大学出版社 / 2014-9-1 / 35.00
    7.6 (22人评价)

    《集合论:对无穷概念的探索》是“逻辑与形而上学教科书系列”中的一本,书中介绍了集合论的基础知识,共有集合与公理,关系与函数,实数的构造,基数,滤、理想与无界...

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

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

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

  • Logic in Computer Science : Modelling and Reasoning about Systems

    Michael Huth、Mark Ryan / Cambridge University Press / 2004-08-30 / USD 72.00
    9.1 (30人评价)

    Recent years have seen the development of powerful tools for verifying hardwar...

  • 数理逻辑与集合论

    石纯一 / 清华大学出版社 / 2002-1-1 / 18.00元
    6.0 (35人评价)

    《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。...

  • A Mathematical Introduction to Logic : Second Edition

    Herbert B. Enderton / Academic Press / 2001-1-5 / USD 113.00
    8.3 (19人评价)

    A Mathematical Introduction to Logic, Second Edition, offers increased flexibi...

  • 素朴集合论

    刘壮虎 / 北京大学出版社 / 2001-01-01 / 18.0
    8.4 (24人评价)

    本书前六章是集合论的基本内容。第一章集合的基本概念,包括子集和幂集、集合的运、卡氏集和集合族等;第二章映射,映射是集合论中和集合同样重要的基本概念;第三章关...

  • 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...

  • 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...

  • Logic for Mathematicians

    A. G. Hamilton / Cambridge University Press / 1988-10-1 / USD 94.99
    9.5 (26人评价)

    Here is an introductory textbook which is designed to be useful not only to in...

  • 元数学导论(上)

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

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


相关的标签  · · · · · ·



> 浏览全部图书标签