数理逻辑

  • 王宪钧
  • 本书是著名数理逻辑哲学家王宪钧教授的代表作,共分三篇,前两篇“命题演算”和“狭谓词演算”,讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详细易懂,第三篇是关于...
  • 郝兆宽
  • 本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、...
  • PeterSmith
  • Formallogicprovidesuswithapowerfulsetoftechniquesforcriticizingsomeargumentsandshowingot...
  • 陈慕泽
  • 本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑,其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑,后两章...
  • 欧内斯特·内格尔(ErnestNagel)
  • 欧内斯特·内格尔(ErnestNagel)(1901—1985)内格尔出生于现在捷克共和国的首都布拉格(当时是奥匈帝国的一部分),十岁时随家庭移居美国。1923年获纽约城市学院...
  • BertrandRussell
  • Hisideashavehadaprofoundinfluenceontwentieth-centuryworkonlogicandthefoundationsofmathem...
  • [美]王浩
  • 分为上下两篇,上篇考察了歌德尔的事迹,从献身基本理论的角度来讲述歌德尔的生平;下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。
  • L.T.F.Gamut
  • Althoughthetwovolumesof"Logic,Language,andMeaning"canbeusedindependentlyofoneanother,tog...
  • Kechris,AlexanderS.
  • Descriptivesettheoryhasbeenoneofthemainareasofresearchinsettheoryforalmostacentury.Thist...

数理逻辑相关书籍

逻辑新引·怎样判别是非 电子书
击穿固化思维,逻辑学的入门经典必读。
从零开始学逻辑 电子书
面对愤怒情绪,我们也是可以“化敌为友”的。
从零开始学数字电路 电子书
数字电路初学者的“傻瓜型”教材,深入浅出讲解。
育儿的逻辑 电子书
送给孩子的人生礼物——人见人爱能力、独立生存能力、批判思维能力。
德国哲学(2017年下半年卷) 电子书
《德国哲学》是由湖北大学哲学学院主办、湖北大学德国哲学研究所协办的专门研究德国哲学及相关问题的学术性刊物。本册是2017年下半年卷。
问,就对了!用提问掌控人生主动权 电子书
那些能让你更智慧更成功的答案,你不问,是不会有人告诉你的。