返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
O141/18
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
Logic and structure /
:Dalen, D. van
作者：
Dalen, D. van
出版社：
Springer-Verlag,
出版时间：
1983
ISBN：
3-540-12831-X
索书号：
O141/18
分类号：
O141
页数：
x, 207 p. :
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
错误逻辑
:郭开仲
作者：
郭开仲
出版社：
科学出版社
出版时间：
2008
ISBN：
978-7-03-020534-6
索书号：
O141/18
分类号：
O141
页数：
461页
价格：
88.00
复本数：
在馆数：
累借天数：
累借次数：
全书共5章, 第1章介绍数理逻辑历史和现状 ; 第2章介绍错误集的概念、变换分类、运算及其规律 ; 第3章介绍错误逻辑转化联结词的基本概念、基本运算、变换条件、方式、性质等以及六类基本转化联结词与外延联结词、内涵联结词之间的关系 ; 第4章介绍数理错误命题逻辑的概念、逻辑体系、基本运算、推理的基本规则和错误逻辑命题范式等 ; 第5章介绍错误谓词逻辑的形式、概念、形式语言、符号和错误谓词逻辑表达式的语意解释等。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
西文图书
(
1
)
出版社
Springer-Verlag,
(
1
)
科学出版社
(
1
)
只显示前10条......
Springer-Verlag,
(
1
)
科学出版社
(
1
)
查看更多信息......
作者
Dalen, D. van
(
1
)
郭开仲
(
1
)
只显示前10条......
Dalen, D. van
(
1
)
郭开仲
(
1
)
查看更多信息......
出版年
1983
(
1
)
2008
(
1
)
只显示前10条......
1983
(
1
)
2008
(
1
)
查看更多信息......
O141/18
共有
2
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：