悟空视频
数理逻辑引论 - 悟空视频
数理逻辑引论
1998
王宪钧
作者:王宪钧
详情
剧情简介:本书是著名数理逻辑哲学家王宪钧教授的代表作,共分三篇,前两篇“命题演算”和“狭谓词演算”,讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详细易懂,第三篇是关于数理逻辑发展的简史,作者论述了从莱布尼茨到歌德尔的数理逻辑发展的三个阶段,指出了数理逻辑的五个特点,并就一些重要的数学问题发表了自己的见解。本书内容涉及数学、哲学、逻辑学、语言学以及科学史等诸多问题。适用于哲学、数理工作者。
作者:王宪钧
出版社:北京大学出版社
ISBN:9787301036587
加载中...