返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
O141.3/7
共有
8
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
Computational complexity /
:Wagner, K.
作者：
Wagner, K.
出版社：
Reidel Pub. Co. :
出版时间：
1986
ISBN：
90-277-2146-7
索书号：
O141.3/6
分类号：
O141.3
页数：
551 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Introduction to computability /
:Hennie, Frederick C.
作者：
Hennie, Frederick C.
出版社：
Addison-Wesley Pub. Co.,
出版时间：
1977
ISBN：
0-201-02848-4
索书号：
O141.3/7
分类号：
O141.3
页数：
ix, 374 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
可计算性理论
:张宏裕
作者：
张宏裕
出版社：
天津科学技术出版社
出版时间：
1989
ISBN：
7-5308-0384-0
索书号：
O141.3/6
分类号：
O141.3
页数：
218页
复本数：
在馆数：
累借天数：
累借次数：
本书内容有:理想计算机、原始递归函数、一般递归函数理想机和等式系的计算化等。
详细信息
索书号
展开
可计算性理论
:莫绍揆, 王元元
作者：
莫绍揆, 王元元
出版社：
科学出版社
出版时间：
1987
ISBN：
7-03-000061-7
索书号：
O141.3/5
分类号：
O141.3
页数：
335页
价格：
3.05
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
多值逻辑函数结构理论研究
:刘任任, 欧阳建权
作者：
刘任任, 欧阳建权
出版社：
科学出版社
出版时间：
2010
ISBN：
978-7-03-025868-7
索书号：
O141.3/2
分类号：
O141.3
页数：
295页
价格：
55.00
复本数：
在馆数：
累借天数：
累借次数：
本书较系统地介绍了完全和部分多值逻辑函数的结构理论, 较详细地介绍了部分多值逻辑中Sheffer函数的判定与构造问题, 重点介绍了作者提出的部分多值逻辑中准完备集之间的相似关系概念, 此外, 还介绍了多值逻辑函数的扩散性、非线性性及其在有限域上的置换等性质的研究成果。
详细信息
索书号
展开
Recursively enumerable sets and degrees :: a study of computable functions and computably generated sets /
:Soare, R. I.
作者：
Soare, R. I.
出版社：
Springer-Verlag,
出版时间：
1987
ISBN：
0-387-15299-7
索书号：
O141.3/8
分类号：
O141.3
页数：
xviii, 437 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
论可计算数: 图灵与现代计算的诞生
:(美) 克里斯·伯恩哈特 (Chris Bernhardt) , 雪曼
作者：
(美) 克里斯·伯恩哈特 (Chris Bernhardt) , 雪曼
出版社：
中信出版集团股份有限公司
出版时间：
2016
ISBN：
978-7-5086-6610-5
索书号：
O141.3/7
分类号：
O141.3
页数：
XVI, 248页
价格：
49.00
复本数：
在馆数：
累借天数：
累借次数：
本书共分为九章, 主要内容包括背景、一些不可判定的判定问题、有限自动机、图灵机、其他计算系统、编码和通用机器、不可判定的问题 ; 摩托尔的对角论证法 ; 图灵的遗产。
详细信息
索书号
展开
多值逻辑的方法和理论: 非正规多值逻辑研究
:霍书全
作者：
霍书全
出版社：
科学出版社
出版时间：
2009
ISBN：
978-7-03-023247-2
索书号：
O141.3/1
分类号：
O141.3
页数：
171页
价格：
32.00
复本数：
在馆数：
累借天数：
累借次数：
本书回顾了多值逻辑发展简史, 对一系列逻辑学家提出的一些逻辑系统及其语义和哲学背景给以介绍。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
5
)
西文图书
(
3
)
出版社
科学出版社
(
3
)
Addison-Wesley Pub. Co.,
(
1
)
Reidel Pub. Co. :
(
1
)
Springer-Verlag,
(
1
)
中信出版集团股份有限公司
(
1
)
天津科学技术出版社
(
1
)
只显示前10条......
科学出版社
(
3
)
Addison-Wesley Pub. Co.,
(
1
)
Reidel Pub. Co. :
(
1
)
Springer-Verlag,
(
1
)
中信出版集团股份有限公司
(
1
)
天津科学技术出版社
(
1
)
查看更多信息......
作者
(美) 克里斯·伯恩哈特 (Chris Bernhardt) , 雪曼
(
1
)
Hennie, Frederick C.
(
1
)
Soare, R. I.
(
1
)
Wagner, K.
(
1
)
刘任任, 欧阳建权
(
1
)
张宏裕
(
1
)
莫绍揆, 王元元
(
1
)
霍书全
(
1
)
只显示前10条......
(美) 克里斯·伯恩哈特 (Chris Bernhardt) , 雪曼
(
1
)
Hennie, Frederick C.
(
1
)
Soare, R. I.
(
1
)
Wagner, K.
(
1
)
刘任任, 欧阳建权
(
1
)
张宏裕
(
1
)
莫绍揆, 王元元
(
1
)
霍书全
(
1
)
查看更多信息......
出版年
1987
(
2
)
1977
(
1
)
1986
(
1
)
1989
(
1
)
2009
(
1
)
2010
(
1
)
2016
(
1
)
只显示前10条......
1987
(
2
)
1977
(
1
)
1986
(
1
)
1989
(
1
)
2009
(
1
)
2010
(
1
)
2016
(
1
)
查看更多信息......
O141.3/7
共有
8
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：