数理逻辑导引epub,mobi,azw3,pdf格式kindle电子书下载，作者：冯琦-琅嬛苑

书名
数理逻辑导引
作者冯琦
格式PDF
ISBN书号9787030545794
出版年2017-10-9
出版社科学出版社
页数536
定价CNY 198.00
装帧平装

内容简介

《数理逻辑导引》是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。《数理逻辑导引》主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。

下载地址

豆瓣评论

Livjathan

非常精彩，也很全面，不过目前对于我来说还在学习中，啃起来会慢一点。建议读者有一定的高数，数分和符号逻辑基础（徐明老师那本书就挺好，虽然啰嗦但是细致全面），另外，冯琦老师的一阶逻辑课程视频在b站也有，讲的比较清楚且不是很艰涩，可以找来看看。11-14
马蹄北去

非常详尽，可以说基本解决哥德尔不完全定理之前的全部问题，后面代数模型论的部分也很好，并且为形式系统的扩张和完备性提供了清晰生动的例子。内容部分除了常见的定义、定理和范例之外，还增加了“问题”，解释了领域内诸核心理论的意义和作用。唯一可惜的是印刷错误不少06-07
砯

读了前面的部分，比起哲学教材总是出现让人迷惑的直观，还是好太多。不过可读性差。02-28
DestinHistoire

数学系教材，数理逻辑+大量的模型论初步与代数例子。写得并不好，许多名词译法与通行不同，难度层次与详略的划分只能说相当差。22.4.7：重读才体会到冯琦老师将实闭域的可判定性这样晚至50年代的结果放在前面大量展开是为了遵循一种先处理可完备化的常规数学理论，最后与算术形成极大对比的路径，正如Tarski1930年初认为的那样”一切常见的丰富系统即使不是完全的，也都是可完全的“。加一星。06-28
沙之火

自学了四分之一到三分之一，需要花费相当多的时间。总体上也可以，但可能因为是讲稿编出来的，内容安排上不够好。例如，前面直接用的概念，到后面才给出定义。也不知道有没有更好一些的中文数理逻辑教材。09-19

标签推荐

文学(7254) 历史(4068) 小说(3717) 哲学(2341) 地理(1918) 宗教(1723) 经济(1631) 政治(1438) 法律(1171) 科普(1113) 工业技术(1103) 文化(1044) 科学(1030) 艺术(1003) 日本(938) 教育(813) 管理(721) 社会(682) 体育(671) 经典(563) 思想(555) 推理(544) 社会科学总论(482) 医药(477) 卫生(476) 传记(470) 心理(450) 商业(448) 励志(432) 投资(425) 美国(424) 思维(423) 悬疑(421) 金融(412) 随笔(410) 中国(340) 旅行(316) 数理科学与化学(316) 绘本(313) 科幻(309) 中国语言文学(302) 语言(294) 理学(289) 文字(275) 中国古代文学(273) 漫画(272) 中国现当代文学(271) 外国语言文学(271) 建筑(266) 成长(250) 军事(245) 纪实(237) 生物学(233) 美食(231) 英国(229) 互联网(225) 天文学(218) 游记(214) 心理学(196) 生物科学(195) 散文(187) 工学(170) 职场(168) 历史学(160) 生活(158) 社会学(155) 医学(151) 法国(150) 营销(148) 编程(142) 女性(139) 法学(137) 地球科学(136) 设计(130) 二战(126) 战争(126) 学习(126) 股票(121) 奇幻(119) 物理(115) 世界(113) 德国(111) 人文(109) 理财(106) 创业(106) 欧洲(104) 经济学(101) 人物(100) 健康(93) 沟通(88) 自然(87) 治愈(86) 宇宙(85) 艺术学(85) 数学(84) 名著(84) 生物(83) 爱情(81) 计算机科学与技术(80) 国学(78)