“数理逻辑”  共找到8本 

• 

  哥德尔证明 人文●社科

  标签： 逻辑学  科普  逻辑  数理逻辑  哲学  哥德尔 
  欧内斯特·内格尔（Ernest Nagel）  /  中国人民大学出版社  / 2008-3  / 18元  / 112页
  
  《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 在此... >详细  /  豆瓣评分 9.3
  
  
• 

  道义逻辑研究 人文●社科

  标签： 伦理学  哲学  分析哲学  其他  数理逻辑  陈鬼之书 
  余俊伟  /  中国社会科学出版社  / 2005-9  / 23元  / 305页
  
  《道义逻辑研究》以逻辑学家为消除道义逻辑悖论所使用的方法为线索，较全面、详细地介绍了逻辑学家采取的各种方法，其中也包括作者运用弗协调逻辑试图解决道义逻辑悖论的研究工作。全书共九章。第一章简要介绍道义逻... >详细
  
  
• 

  证明与反驳 人文●社科

  标签： 数学  数学哲学  哲学  科学哲学  拉卡托斯  数理逻辑 
  [英]拉卡托斯  / 上海译文出版社  / 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