登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書

『簡體書』逻辑与形式而上学教科书系列:数理逻辑:证明及其限度

書城自編碼: 2490939
分類:簡體書→大陸圖書→哲學/宗教哲學
作者: 郝兆宽,杨睿之,杨跃 著
國際書號(ISBN): 9787309110258
出版社: 复旦大学出版社
出版日期: 2014-11-01

頁數/字數: 249/289000
書度/開本: 16开 釘裝: 平装

售價:HK$ 93.6

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
财之道丛书·太古传:商业帝国200年
《 财之道丛书·太古传:商业帝国200年 》

售價:HK$ 153.6
不要相信你所想的一切:如何停止过度思考,克服焦虑、自我怀疑和自我破坏
《 不要相信你所想的一切:如何停止过度思考,克服焦虑、自我怀疑和自我破坏 》

售價:HK$ 50.4
万历四大征(全两册)
《 万历四大征(全两册) 》

售價:HK$ 117.6
凝望:我的摄影与人生
《 凝望:我的摄影与人生 》

售價:HK$ 129.6
工业机器人从基础到实战
《 工业机器人从基础到实战 》

售價:HK$ 153.6
重症产科.1
《 重症产科.1 》

售價:HK$ 71.8
财之道丛书·表层的真理:当代经济学与社会
《 财之道丛书·表层的真理:当代经济学与社会 》

售價:HK$ 105.6
世界服饰艺术史
《 世界服饰艺术史 》

售價:HK$ 309.6

 

建議一齊購買:

+

HK$ 171.1
《 逻辑之旅:从哥德尔到哲学 》
+

HK$ 88.8
《 面积原理 》
+

HK$ 51.8
《 中国剩余定理:总数法构建中国历史年表 》
+

HK$ 53.7
《 证明达尔文 进化和生物创造性的一个数学理论 》
+

HK$ 91.0
《 集合论:对无穷概念的探索 》
內容簡介:
郝兆宽、杨睿之、杨跃所著的《数理逻辑证明及其限度》是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
關於作者:
郝兆宽,复旦大学哲学学院副教授,北京大学哲学博士,中国逻辑学会现代逻辑专业委员会理事,上海市逻辑学会理事。
杨睿之复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。
杨跃新加坡国立大学数学系教授。主要研究兴趣是数理逻辑,尤其是递归论、皮亚诺算术模型。
目錄
引言:什么是数理逻辑?
 0.1 逻辑史早期的几个重要里程碑
 0.2 课程大纲
第一章 预备知识
 1.1 证明的必要性
 1.2 集合
 1.3 关系
 1.4 函数
 1.5 等价关系与划分
 1.6 序
 1.7 结构的例子
第二章 命题逻辑
 2.1 引言
 2.2 命题逻辑的语言
 2.3 真值指派
 2.4 唯一可读性
 2.5 其他联词
 2.6 命题逻辑的一个推演系统
 2.7 命题逻辑的自然推演
 2.8 命题逻辑的可靠性和完全性定理
 2.9 模态逻辑简介
第三章 一阶逻辑的语言
 3.1 一阶逻辑的语言的定义和例子
 3.2 自由出现和约束出现
第四章 形式证明
 4.1 一阶逻辑的一个公理系统
 4.2 推理和元定理
 4.3 其他元定理
 4.4 前束范式
 4.5 自然推演
第五章 一阶语言的结构和真值理论
 5.1 一阶语言的结构
 5.2 可定义性
 5.3 同态和同构
第六章 哥德尔完全性定理
 6.1 可靠性定理
 6.2 完全性定理
 6.3 自然推演系统的可靠性和完全性
 6.4 紧致性定理及其应用
第七章 递归论的基本知识
 7.1 原始递归函数
 7.2 递归函数
 7.3 图灵机
 7.4 图灵可计算函数与部分递归函数
 7.5 递归可枚举集
第八章 简化版本的自然数模型
 8.1 紧致性定理及其应用
 8.2 可判定的理论
 8.3 只含后继的自然数模型
 8.4 包含后继和序的自然数模型
 8.5 普莱斯伯格算术模型
第九章 哥德尔第一不完全性定理
 9.1 可表示性
 9.2 语法的算术化
 9.3 不动点引理和递归定理
 9.4 不可定义性、不完全性和不可判定性
第十章 哥德尔第二不完全性定理
 10.1 可证性条件
 10.2 第二可证性条件D2的证明
 10.3 第三可证性条件D3的证明
 10.4 哥德尔第二不完全性定理
 10.5 自然的不可判定语句
第十一章 结束语
附录
 哥德尔的生平
 哥德尔的主要数学工作
参考文献
索引

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.