悟空视频
数理逻辑通俗讲话 - 悟空视频
数理逻辑通俗讲话
1983
王浩
作者:王浩
详情
剧情简介:这是美籍学者王浩于1977年10月在中同科学院计算机所作六次演讲的基础上写成的。全书共有八章和三个附录:内容涉及数理逻辑的各个分支,与数理逻辑有关的计算机科学的一些理论问题。其中一些内容侧重从基础理论角度论述数理逻辑,有些则是论述数理逻辑的最重要的结果和最新发现。书中还设专节耐数理逻辑发展文献作了述评。本书可供高等学校数学系师生以及有关研究人员参考。
作者:王浩
出版社:科学出版社
加载中...