书籍详情
数理逻辑
作者：孙希文 著
出版社：高等教育出版社
出版时间：1900-01-01
ISBN：9787040513523
定价：¥59.00
购买这本书可以去
内容简介
本书包含一阶数理逻辑的基本核心内容， 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、 模型论、 递归函数和图灵机、哥德尔不完全性定理、递归论等。 可分别作为计算机科学和数学专业的本科生和研究生教材。 也可供相关科技工作者参考。
作者简介
暂缺《数理逻辑》作者简介
目录
暂缺《数理逻辑》目录
猜您喜欢
