关于我们
精品教材 更多
规划教材 更多
|
数理逻辑 定 价:59 元 丛书名: 抱歉,高等教育出版社不参与样书赠送活动!
9 7 5 8 1 7 3 0 5 4 2 0 3
本书包含一阶数理逻辑的基本核心内容, 具体包括一阶理论简介、一阶理论的若干定理、一阶理论的特殊问题、形式系统的一般理论、 模型论、 递归函数和图灵机、哥德尔不完全性定理、递归论等。 可分别作为计算机科学和数学专业的本科生和研究生教材。 也可供相关科技工作者参考。
我要评论
|