得书 - 好书推荐、正版图书免费阅读
发现
热门
VIP会员
注册 | 登录
数理逻辑
数理逻辑引论
王宪钧
本书是著名数理逻辑哲学家王宪钧教授的代表作,共分三篇,前两篇“命题演算”和“狭谓词演算”,讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详细易懂,第三篇是关于...
递归论
郝兆宽
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、...
An Introduction to Formal Logic
PeterSmith
Formallogicprovidesuswithapowerfulsetoftechniquesforcriticizingsomeargumentsandshowingot...
Introduction to Mathematical Logic, Fifth Edition
ElliottMendelson
数理逻辑基础
陈慕泽
本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑,其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑,后两章...
哥德尔证明
欧内斯特·内格尔(ErnestNagel)
欧内斯特·内格尔(ErnestNagel)(1901—1985)内格尔出生于现在捷克共和国的首都布拉格(当时是奥匈帝国的一部分),十岁时随家庭移居美国。1923年获纽约城市学院...
The Principles of Mathematics
BertrandRussell
Hisideashavehadaprofoundinfluenceontwentieth-centuryworkonlogicandthefoundationsofmathem...
哥德尔
[美]王浩
分为上下两篇,上篇考察了歌德尔的事迹,从献身基本理论的角度来讲述歌德尔的生平;下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。
Logic, Language, and Meaning, Volume 1
L.T.F.Gamut
Althoughthetwovolumesof"Logic,Language,andMeaning"canbeusedindependentlyofoneanother,tog...
Classical descriptive set theory
Kechris,AlexanderS.
Descriptivesettheoryhasbeenoneofthemainareasofresearchinsettheoryforalmostacentury.Thist...
文章导航
1
2
3
4
>
数理逻辑相关书籍
电子书
逻辑新引·怎样判别是非
殷海光
击穿固化思维,逻辑学的入门经典必读。
电子书
从零开始学逻辑
[日] 久保田康司
面对愤怒情绪,我们也是可以“化敌为友”的。
电子书
从零开始学数字电路
刘建清
数字电路初学者的“傻瓜型”教材,深入浅出讲解。
电子书
育儿的逻辑
宋明妮
送给孩子的人生礼物——人见人爱能力、独立生存能力、批判思维能力。
电子书
德国哲学(2017年下半年卷)
戴茂堂 主编
《德国哲学》是由湖北大学哲学学院主办、湖北大学德国哲学研究所协办的专门研究德国哲学及相关问题的学术性刊物。本册是2017年下半年卷。
电子书
问,就对了!用提问掌控人生主动权
任康磊
那些能让你更智慧更成功的答案,你不问,是不会有人告诉你的。
推荐标签
传记
哥德尔
science
nobutdunbuy
形式逻辑
MathLogic
语义学
nemlophics
数理逻辑
哲学
小说
文学
青春文学
传记
动漫
经管
管理
金融与投资
经济
励志与成功
人文社科
历史
心理学
法律
社会科学
文化
生活
养生/保健
育儿
科技
科普读物
互联网
意见反馈
我的书架
公众号
关注微信公众号