微信扫一扫，开始最好玩的图书漂流玩法

大家提到的好书

“数理逻辑”  共找到10本 

  • 哥德尔证明 人文●社科

    标签： 逻辑学  科普  逻辑  数理逻辑  哲学  哥德尔 
    欧内斯特·内格尔（Ernest Nagel）  /  中国人民大学出版社  / 2008-3  / 18元  / 112页

    《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 在此... >详细  /  豆瓣评分 9.3

  • 道义逻辑研究 人文●社科

    标签： 伦理学  哲学  分析哲学  其他  数理逻辑  陈鬼之书 
    余俊伟  /  中国社会科学出版社  / 2005-9  / 23元  / 305页

    《道义逻辑研究》以逻辑学家为消除道义逻辑悖论所使用的方法为线索，较全面、详细地介绍了逻辑学家采取的各种方法，其中也包括作者运用弗协调逻辑试图解决道义逻辑悖论的研究工作。全书共九章。第一章简要介绍道义逻... >详细

  • 儿童枕边数学书 童书●育儿

    标签： 绘本  科普  育儿  数学  儿童读物  数理逻辑 
    [美]劳拉.欧文德克 著  /  接力出版社  / 2014-11  / 36.8元  / 87页

    “儿童枕边数学书”系列从睡前故事引入和日常生活有关的数学问题，通过趣味知识故事+数学答题的形式，提倡孩子探索、发现和主动建构数学模型，在对大量真实生活场景的模拟操作和抽象反思中培养孩子对数学的敏感和兴... >详细

  • 证明与反驳 人文●社科

    标签： 数学  数学哲学  哲学  科学哲学  拉卡托斯  数理逻辑 
    [英]拉卡托斯  / 上海译文出版社  / 1987  / 1.9元  / 209页

    ... >详细  /  豆瓣评分 8.5

  • 图论及其应用 人文●社科

    标签： 数学  图论  数理逻辑5 
    徐俊明 编  / 中国科学技术大学出版社  / 2004-8  / 25元  / 265页

    本书以有向图为着眼点，系统地阐述了图论的基本概念、理论和方法以及基本应用，内容 包括Euler图与Hamilton图、树与图空问、平图与平面图、网络流与连通度、匹配与独立集、染 色理论、图与群，以及它... >详细

  • 数理逻辑 人文●社科

    标签： 数理逻辑  数学  逻辑  逻辑学  计算机科学  数学基础 
    (美)Herbert B. Enderton 著  / 人民邮电出版社  / 2006-01-01  / 39元  / 317页

    本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，... >详细  /  豆瓣评分 9.2

  • 数学基础研究 人文●社科

    标签： 维特根斯坦  哲学  数学  維特根斯坦  科学哲学  分析哲学 
    [奥]维特根斯坦  / 商务印书馆  / 2013-7  / 30元  / 368页

    《数学基础研究》是后期维特根斯坦有关数学哲学的研究结晶。其主要内容是根据其后期新的哲学理解对当时流行的数学基础研究中的形式主义思潮、逻辑主义思潮、直觉主义思潮进行分析和批评。本书译者是北京大学哲学系教... >详细  /  豆瓣评分 7.6

  • 算术基础 人文●社科

    标签： 哲学  弗雷格  数理逻辑  数学  分析哲学  逻辑学 
    G.弗雷格  / 商务印书馆  / 1998-8  / 14元  / 123页

    弗雷格（Gottlob Friedrich Ludwig Frege，1848－1925）在《算术基础》中阐述了三条基本原理，这三条原理一方面说明他为什么要构造他的人工语言系统，另一方面说明算术何以能... >详细  /  豆瓣评分 8.6

  • 数理哲学导论 人文●社科

    标签： 哲学  罗素  数学  数理逻辑  逻辑学  数理哲学 
    罗素(Russell B.)  / 商务印书馆  / 1982-5-1  / 11元  / 215页

    数理哲学导论，ISBN：9787100027625，作者：（英）罗素（Bertrand Russell）著；晏成书译... >详细  /  豆瓣评分 8.4

  • 离散数学 童书●育儿

    标签： 离散数学  数学  教材  数理逻辑7  离散  Discrete 
    罗瓦茨  / 清华大学  / 2006-9  / 39元  / 290页

    本书包括组合、图论及它们在优化和编码等领域的应用。全书只有约300页，但涵盖了信息领域一些广泛而有趣的应用，及离散数学领域新颖而前沿的研究课题。 本书非常适合计算机科学、信息与计算科学等专业作... >详细  /  豆瓣评分 9.3