返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
O141/8
共有
7
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
The logic book /
:Bergmann, Merrie.
作者：
Bergmann, Merrie.
出版社：
Random House,
出版时间：
1980
ISBN：
0-394-32323-8
索书号：
O141/21
分类号：
O141
页数：
ix, 459 p. ;
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Recursion-theoretic hierarchies /
:Hinman, Peter G.
作者：
Hinman, Peter G.
出版社：
Springer-Verlag,
出版时间：
1978
ISBN：
0-387-07904-1
索书号：
O141/8
分类号：
O141
页数：
xii, 480 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Computer science and multiple-valued logic :: theory and applications /
:
作者：
出版社：
North-Holland ;
出版时间：
1984
ISBN：
0-444-86882-8
索书号：
O141/6
分类号：
O141
页数：
xxxiv, 641 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
数理逻辑的思想与方法
:李娜
作者：
李娜
出版社：
南开大学出版社
出版时间：
2012
ISBN：
978-7-310-04030-8
索书号：
O141/23
分类号：
O141
页数：
326页
价格：
26.00
复本数：
在馆数：
累借天数：
累借次数：
本书包括六章, 第一章, 主要介绍集合、集合运算的基本思想和方法 ; 第二章至第四章, 介绍命题逻辑的基本思想和方法, 第五章和第六章介绍狭谓词逻辑的基本思想和方法。
详细信息
索书号
展开
非经典数理逻辑与近似推理
:王国俊
作者：
王国俊
出版社：
科学出版社
出版时间：
2008
ISBN：
978-7-03-021295-5
索书号：
O141/8
分类号：
O141
页数：
15,304页
价格：
62.00
复本数：
在馆数：
累借天数：
累借次数：
本书讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道等内容。
详细信息
索书号
展开
数理逻辑引论
:朱梧槚，肖奚安
作者：
朱梧槚，肖奚安
出版社：
大连理工大学出版社
出版时间：
2008
ISBN：
978-7-5611-4033-8
索书号：
O141/9
分类号：
O141
页数：
243页
价格：
34.00
复本数：
在馆数：
累借天数：
累借次数：
本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究。全书共分为5章，其中第1章和第3章主要是从数学模型和数学背景的角度去讨论命题逻辑与谓词逻辑的涵义和与构造。第2章与第4章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓词逻辑的基本内容。第5章是有关经典二值逻辑系统的严格的语义研究。
详细信息
索书号
展开
GMAT逻辑推理: 分类思维训练及真题解析
:陈向东
作者：
陈向东
出版社：
西安交通大学出版社
出版时间：
2006
ISBN：
978-7-5605-2238-8
索书号：
O141/49
分类号：
O141
页数：
520页
价格：
58.00
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
4
)
西文图书
(
3
)
出版社
North-Holland ;
(
1
)
Random House,
(
1
)
Springer-Verlag,
(
1
)
南开大学出版社
(
1
)
大连理工大学出版社
(
1
)
科学出版社
(
1
)
西安交通大学出版社
(
1
)
只显示前10条......
North-Holland ;
(
1
)
Random House,
(
1
)
Springer-Verlag,
(
1
)
南开大学出版社
(
1
)
大连理工大学出版社
(
1
)
科学出版社
(
1
)
西安交通大学出版社
(
1
)
查看更多信息......
作者
Bergmann, Merrie.
(
1
)
Hinman, Peter G.
(
1
)
朱梧槚，肖奚安
(
1
)
李娜
(
1
)
王国俊
(
1
)
陈向东
(
1
)
只显示前10条......
Bergmann, Merrie.
(
1
)
Hinman, Peter G.
(
1
)
朱梧槚，肖奚安
(
1
)
李娜
(
1
)
王国俊
(
1
)
陈向东
(
1
)
查看更多信息......
出版年
2008
(
2
)
1978
(
1
)
1980
(
1
)
1984
(
1
)
2006
(
1
)
2012
(
1
)
只显示前10条......
2008
(
2
)
1978
(
1
)
1980
(
1
)
1984
(
1
)
2006
(
1
)
2012
(
1
)
查看更多信息......
O141/8
共有
7
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：