返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
中国
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
出版社:"清华大学出版社"
作者:"张再跃, 张晓如"
出版年:"20130101"
数理逻辑
:张再跃, 张晓如
作者：
张再跃, 张晓如
出版社：
清华大学出版社
出版时间：
20130101
ISBN：
978-7-302-33102-5
索书号：
O141/24
分类号：
O141
页数：
135页
价格：
CNY23.00
丛书：
中国高等学校计算机科学与技术专业 (应用型) 规划教材
复本数：
在馆数：
累借天数：
累借次数：
本书在内容组织上含纳集合论基础知识、可计算性理论基础知识和经典数理逻辑3个部分, 其中集合论基础部分着重介绍可数集与不可数集的概念, 并运用集合的基数以及基数的比较等有关知识, 阐述“无穷可比”的思想; 可计算性理论基础部分以递归函数、图灵计算和思想计算机为对象, 从多个角度给出“计算”概念的精确描述; 经典逻辑部分包括命题逻辑和谓词逻辑等。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
清华大学出版社
(
1
)
只显示前10条......
清华大学出版社
(
1
)
查看更多信息......
作者
张再跃, 张晓如
(
1
)
只显示前10条......
张再跃, 张晓如
(
1
)
查看更多信息......
出版年
20130101
(
1
)
只显示前10条......
20130101
(
1
)
查看更多信息......
中国
共有
1
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：