《万千教育.数理逻辑是什么》
作者:
[英]约翰·纽瑟姆·克罗斯利(John Newsome Crossley)等
出版日期:
2018-12-01
字数:
65000
开本:
32
页数:
172
分类:
其它
ISBN:
978-7-5184-2095-7
定价:
¥32.00
官网优惠价格:
¥25.6
您也可以去
购买(点击图标进入购买页)
内容简介
[ ]
图书目录
引论
第一章 历史概览
第二章 谓词演算的完全性
第三章 模型论
第四章 图灵机与递归函数
第五章 哥德尔不完全性定理
第六章 集合论
推荐读物
索引……引论
第一章 历史概览
第二章 谓词演算的完全性
第三章 模型论
第四章 图灵机与递归函数
第五章 哥德尔不完全性定理
第六章 集合论
推荐读物
索引
[ 展开全部隐藏部分 ]