朱水林的作品

哥德尔不完全性定理

朱水林编著

评分 8.3分

哥德尔不完全性定理 朱水林著 辽宁教育出版社1988年2月版 12万字 对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语言的真理论及图灵机的判定问题理论，已被国际逻辑学界赞誉为现代逻辑的三大成果。收入“世界数学名题欣赏丛书”

现代逻辑引论

朱水林

评分 暂无

目录 引言 第一章 命题逻辑 第二章 命题演算 第三章 谓词逻辑 第四章 谓词演算 第五章 模态逻辑 第六章 悖论和集合论的公理化 第七章 语义学和模型论 第八章 内涵逻辑 第九章 证明论和不完全定理 第十章 递归论和判定问题 第十一章 归纳逻辑 现代逻辑是传统逻辑发展的最新阶段，是用形式化的方法研究思维的形式结构及其规律的学科。当今，现代逻辑处于蓬勃发展时期。几十年来，它的触须已伸向四面八方，与

对称和群

朱水林

评分 暂无