上一篇:高等数学习题集 第2卷下一篇:应用数学基础 下
《数理逻辑初步》目录
第一章 数理逻辑的由来 1
1 传统逻辑的不足 2
2 数理逻辑的兴起 9
1 数理逻辑在电子数字计算机方面的应用 15
3 非欧几何带来的问题 20
4 微积分基础的争论 27
5 集合论悖论 31
第二章 数理逻辑的主要内容 36
1 公理集合论与证明论 36
2 能行性理论与模型论 41
3 命题演算 49
4 谓词演算 56
5 有关传统逻辑与模态逻辑 65
6 蕴涵词及其怪论 72
第三章 关于数理逻辑的三大派 78
1 逻辑主义派 79
2 直觉主义派 95
3 形式主义派 102
第四章 数理逻辑中一些基本概念 112
1 记号与符号 112
2 变元 125
3 函数与约束词 139
第五章 数理逻辑的应用 150
2 亚里士多德逻辑与传统逻辑 157
3 《小取篇》逻辑的体系 162
附录 常用数理逻辑符号表 172
相关图书
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《概率论与数理统计》傅丽芳 2018
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《逻辑与计算机科学哲学》潘沁著 2019
- 《哈佛逻辑课》(中国)穆臣刚 2019
- 《新时代背景下碳泄漏的法律规制 理论逻辑与实现路径》姜明 2019
- 《确证难题的逻辑研究》顿新国著;张建军主编 2019
作者其它书籍
出版社其它书籍