豆瓣图书标签: 数理逻辑

综合排序  /  按出版日期排序  /  按评价排序
  • 数理逻辑

    邢滔滔 / 北京大学出版社 / 2008-8 / 28.00元
    7.3 (63人评价)

    本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义,针对逻辑学的初学者,尤其是初学逻辑的学生,介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一...

  • 数学基础

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

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

  • Introduction to Logic and to the Methodology of the Deductive Sciences

    Alfred Tarski / Olaf Helmer / Oxford University Press / 1994-1-6 / GBP 89.00
    (少于10人评价)

    Now in it's fourth edition, this classic work on logic presents the student wi...

  • 数理逻辑 : 第2版

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

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

  • How to Prove It : A Structured Approach

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

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

  • 数学哲学

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

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

  • 应用逻辑

    Anil Nerode Richard A.Shore / 机械工业出版社 / 2007-7 / 38.00元
    7.5 (17人评价)

    “本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……” ——美国计算机协会自动机与可计算性理论专业组 (SIGACT) 这是一...

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

    [英]拉卡托斯 / 康宏逵 / 上海译文出版社 / 1987 / 1.90
    8.5 (20人评价)
  • 逻辑、语言与意义(第2卷) : 内涵逻辑与逻辑语法

    [荷]L.T.F.哈姆特 / 李可胜、张晓君、邹崇理 / 商务印书馆 / 2017-11 / 68.00
    (少于10人评价)

    《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法(也叫形式语义学或语言逻辑)教材。由荷兰五位逻辑学、语言学学者合作撰写,并共用“哈姆...

  • 数理逻辑引论

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

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

  • 数学机械化

    吴文俊 / 科学出版社 / 2003-3 / 58.00元
    (少于10人评价)

    《数学机械化》是围绕作者命名的"数学机械化"这一中心议题而陆续发表的一系列论文的综述。《数学机械化》试图以构造性与算法化的方式来研究数学,使数学推理机械化以...

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

  • Naive Set Theory

    P. R. Halmos / Springer / 1998-1-16 / USD 54.95
    8.9 (52人评价)

    From the Reviews: "...He (the author) uses the language and notation of ordina...

  • Proof Theory : Second Edition

    Gaisi Takeuti / Dover Publications / 2013-2-20 / USD 24.95
    (少于10人评价)

    Focusing on Gentzen-type proof theory, this volume presents a detailed overvie...

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

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

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

  • 数学方法论十二讲

    徐利治 / 大连理工大学出版社 / 2007-11 / 36.00元
    9.3 (14人评价)

    《数学方法论十二讲》是受到了国内数学教育界的欢迎的,因为书中的主要题材基本上不受时间影响,诸如关于“关系映射反演原则”的广泛应用、有关“无限”问题不同学派的...

  • A Course in Mathematical Logic for Mathematicians

    Yu. I. Manin / Neal Koblitz / Springer / 2009-10-30 / USD 69.95
    (少于10人评价)

    The book starts with an elementary introduction to formal languages appealing ...

  • Introduction to Mathematical Logic

    Alonzo Church / Princeton University Press / 1996-10-28 / USD 78.50
    (少于10人评价)

    Logic is sometimes called the foundation of mathematics: the logician studies ...

  • 形式逻辑

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

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

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


相关的标签  · · · · · ·



> 浏览全部图书标签