当前位置：形式化 现代逻辑的发展pdf电子书下载 > 哲学宗教
- 作 者：朱水林著
- 出 版 社：北京：人民出版社
- 出版年份：1987
- ISBN：2001·307
- 标注页数：299 页
- PDF页数：311 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源311 ≥299页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
一、引言 1
序 周礼全 5
二、数学的形式化 12
1.几何学的发展：从欧几里得几何学到形式公理几何学 12
2.代数学的发展：从解方程到抽象代数理论 22
3.数学分析的发展：从感性直观的无限小到形式的无限小 34
三、逻辑学的形式化 52
1.古代：形式逻辑的创始 53
2.中世纪逻辑的成果 63
3.现代：数理逻辑的酝酿和建立 78
四、现代逻辑基础介绍 95
1.形式语言的一般考察 95
2.基本语法理论：命题演算和谓词演算 100
3.基本语义概念：解释、赋值、满足、模型 128
1.哥德尔定理的背景和意义 143
五、哥德尔不完全性定理 143
2.可表达性、递归函数和哥德尔数 154
3.定理的证明和述评 170
六、塔斯基的形式语言的真理论 187
1.建立正确的真概念定义 187
2.日常语言的丰富性导致真概念的不可定义 195
3.类演算：一种较贫乏的形式语言 199
4.类演算语言中真句子定义的实现 214
5.卡尔纳普的发展、外延和内涵方法 228
七、图灵机和判定问题 248
1.引言 248
2.图灵机：形式研究的强大工具 252
3.公式的真理性、可证性判定 271
八、结论 288