返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
O141/5
共有
10
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
A course in mathematical logic /
:Bell, J. L.
作者：
Bell, J. L.
出版社：
North-Holland Pub. Co. ;
出版时间：
1977
ISBN：
0-7204-28440
索书号：
O141/5
分类号：
O141
页数：
xviii, 599 p. ;
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
Mathematical logic and applications :: proceedings of the Logic Meeting held in Kyoto, 1987 /
:
作者：
出版社：
Springer-Verlag,
出版时间：
1989
ISBN：
3-540-51527-5
索书号：
O141-53/3
分类号：
O141-53
页数：
222 p. ;
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
数理哲学导论
:(英) 罗素, 晏成书
作者：
(英) 罗素, 晏成书
出版社：
商务印书馆
出版时间：
2009
ISBN：
978-7-100-06248-0
索书号：
O141/5
分类号：
O141
页数：
11, 215页
价格：
24.00
复本数：
在馆数：
累借天数：
累借次数：
本书内容包括: 自然数串 ; 数的定义 ; 有穷与数学归纳法 ; 序的定义 ; 关系的种类 ; 关系的相似 ; 有理数、实数和复数等。
详细信息
索书号
展开
非经典数理逻辑与近似推理
:王国俊
作者：
王国俊
出版社：
科学出版社
出版时间：
2008
ISBN：
978-7-03-021295-5
索书号：
O141/8
分类号：
O141
页数：
15,304页
价格：
62.00
复本数：
在馆数：
累借天数：
累借次数：
本书讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道等内容。
详细信息
索书号
展开
应用逻辑
:(美) Anil Nerode, Richard A. Shore, 丁德成 ...
作者：
(美) Anil Nerode, Richard A. Shore, 丁德成 ...
出版社：
机械工业出版社
出版时间：
2007
ISBN：
978-7-111-21404-5
索书号：
O141/13
分类号：
O141
页数：
XIII, 284页
价格：
38.00
复本数：
在馆数：
累借天数：
累借次数：
本书是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑 (模态逻辑和直觉主义逻辑) 。
详细信息
索书号
展开
数理逻辑实验教程
:李娜
作者：
李娜
出版社：
武汉大学出版社
出版时间：
2010
ISBN：
978-7-307-07991-5
索书号：
O141/21
分类号：
O141
页数：
271页
价格：
29.00
复本数：
在馆数：
累借天数：
累借次数：
本书内容主要包括: 逻辑软件简介、命题逻辑、量词逻辑三个部分。其中第一部分还有propositional logic简介、predicate logic简介、tree proof generater简介等内容。
详细信息
索书号
展开
哥德尔不完全性定理
:(美) 雷蒙德·M.斯穆里安, 余俊伟
作者：
(美) 雷蒙德·M.斯穆里安, 余俊伟
出版社：
科学出版社
出版时间：
2019
ISBN：
978-7-03-059634-5
索书号：
O141/51
分类号：
O141
页数：
164页
价格：
78.00
复本数：
在馆数：
累借天数：
累借次数：
本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理, 包括纯抽象的不完全性定理, 使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理, 哥德尔当初不使用真概念基于ω-一致性的不完全性证明, 罗瑟的基于简单一致性的不完全性证明。
详细信息
索书号
展开
代数模型论引论
:史念东
作者：
史念东
出版社：
科学出版社
出版时间：
2011
ISBN：
978-7-03-032408-5
索书号：
O141/12:2
分类号：
O141.4
页数：
164页
价格：
45.00
复本数：
在馆数：
累借天数：
累借次数：
本书第一章介绍代数模型论所需要的模型论的基础知识。第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法, 其中包括代数闭域、实闭域、线性序和偏序结构的模型论等。最后一章介绍可计算模型论。
详细信息
索书号
展开
信息、智能与逻辑. 第三卷. 信息科学基础研究专辑
:何华灿, 欧阳康
作者：
何华灿, 欧阳康
出版社：
西北工业大学出版社
出版时间：
2010
ISBN：
978-7-5612-2842-5
索书号：
O141-53/1:3
分类号：
O141-53
页数：
418页
价格：
45.00
复本数：
在馆数：
累借天数：
累借次数：
本书主要讨论建立信息科学理论体系的各方面问题, 涉及信息科学和智能科学及逻辑学的关系、信息科学的结构和组成、理论信息学、信息哲学、社会信息学等方面的内容。
详细信息
索书号
展开
数理逻辑引论
:马光胜
作者：
马光胜
出版社：
哈尔滨工程大学出版社
出版时间：
1997
ISBN：
7-81007-746-5
索书号：
0141/3
分类号：
O141
页数：
177页
价格：
8.00
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
8
)
西文图书
(
2
)
出版社
科学出版社
(
3
)
North-Holland Pub. Co. ;
(
1
)
Springer-Verlag,
(
1
)
哈尔滨工程大学出版社
(
1
)
商务印书馆
(
1
)
机械工业出版社
(
1
)
武汉大学出版社
(
1
)
西北工业大学出版社
(
1
)
只显示前10条......
科学出版社
(
3
)
North-Holland Pub. Co. ;
(
1
)
Springer-Verlag,
(
1
)
哈尔滨工程大学出版社
(
1
)
商务印书馆
(
1
)
机械工业出版社
(
1
)
武汉大学出版社
(
1
)
西北工业大学出版社
(
1
)
查看更多信息......
作者
(美) Anil Nerode, Richard A. Shore, 丁德成 ...
(
1
)
(美) 雷蒙德·M.斯穆里安, 余俊伟
(
1
)
(英) 罗素, 晏成书
(
1
)
Bell, J. L.
(
1
)
何华灿, 欧阳康
(
1
)
史念东
(
1
)
李娜
(
1
)
王国俊
(
1
)
马光胜
(
1
)
只显示前10条......
(美) Anil Nerode, Richard A. Shore, 丁德成 ...
(
1
)
(美) 雷蒙德·M.斯穆里安, 余俊伟
(
1
)
(英) 罗素, 晏成书
(
1
)
Bell, J. L.
(
1
)
何华灿, 欧阳康
(
1
)
史念东
(
1
)
李娜
(
1
)
王国俊
(
1
)
马光胜
(
1
)
查看更多信息......
出版年
2010
(
2
)
1977
(
1
)
1989
(
1
)
1997
(
1
)
2007
(
1
)
2008
(
1
)
2009
(
1
)
2011
(
1
)
2019
(
1
)
只显示前10条......
2010
(
2
)
1977
(
1
)
1989
(
1
)
1997
(
1
)
2007
(
1
)
2008
(
1
)
2009
(
1
)
2011
(
1
)
2019
(
1
)
查看更多信息......
O141/5
共有
10
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：