数理逻辑通俗讲话

数理逻辑通俗讲话
130311424
王浩著

O141
科学出版社
1981-02
1981
1981
本书是作者在关于数理逻辑的六次讲演的基础上写成的．全书共八章并有三个附录．第一章和第八章是一般性概述．第二章介绍形式系统、谓词演算和G#del不完全性定理以及不可判定的数学问题．第三章介绍计算机的进展、计算机应用的几个例子和四色定理的证明．第四章讨论问题与解，第五章讨论一阶逻辑，