返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
B81-03
共有
4
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：
现代逻辑方法论
:赵总宽
作者：
赵总宽
出版社：
中国人民大学出版社
出版时间：
1998
ISBN：
7-300-02738-5
索书号：
B81-03/4483
分类号：
B81-03
页数：
388页
价格：
18.00
复本数：
在馆数：
累借天数：
累借次数：
详细信息
索书号
展开
逻辑的哲学探讨
:程仲棠
作者：
程仲棠
出版社：
科学出版社
出版时间：
2012
ISBN：
978-7-03-034279-9
索书号：
B81-05/2629
分类号：
B81-05
页数：
214页
价格：
45.00
丛书：
科学技术哲学文库
复本数：
在馆数：
累借天数：
累借次数：
本书是作者历年发表的以广义的逻辑哲学研究为主题的论文结集，分为三编：逻辑哲学的基本问题，主要论述了逻辑真理与事实真理的关系、传统名词逻辑的语义解释、塔尔斯基的真理概念、“蕴涵怪论”等问题；逻辑与文化，
详细信息
索书号
展开
基本逻辑学: 思维与表达正确性问题探究
:冯琦
作者：
冯琦
出版社：
科学出版社
出版时间：
2020
ISBN：
978-7-03-065896-8
索书号：
B81/3714
分类号：
B81
页数：
409页
价格：
168.00
复本数：
在馆数：
累借天数：
累借次数：
本书将向读者解释该系统工具由什么组成、具有怎样的功能以及可以怎样应用。这包括关于“数”和“计算”的概念分析与理论解释，形式逻辑以及逻辑电路实现，形式逻辑系统的有效性、可靠性和完备性，适用于解决现实问题
详细信息
索书号
展开
逻辑、语言和认知
:(荷)约翰·范本特姆, 刘新文，郭美云
作者：
(荷)约翰·范本特姆, 刘新文，郭美云
出版社：
科学出版社
出版时间：
2009
ISBN：
978-7-03-025430-6
索书号：
B81/4452
分类号：
B81
页数：
428页
价格：
78.00
丛书：
逻辑之门——约翰·范本特姆经典著作
复本数：
在馆数：
累借天数：
累借次数：
本书探讨了语言与计算机逻辑相关的一些重要主题，研究了逻辑与认知科学的联系，表明“反心理学”的教条已经不复存在，逻辑理论与经验实践之间正在不断交换思想。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
4
)
出版社
科学出版社
(
3
)
中国人民大学出版社
(
1
)
只显示前10条......
科学出版社
(
3
)
中国人民大学出版社
(
1
)
查看更多信息......
作者
(荷)约翰·范本特姆, 刘新文，郭美云
(
1
)
冯琦
(
1
)
程仲棠
(
1
)
赵总宽
(
1
)
只显示前10条......
(荷)约翰·范本特姆, 刘新文，郭美云
(
1
)
冯琦
(
1
)
程仲棠
(
1
)
赵总宽
(
1
)
查看更多信息......
出版年
1998
(
1
)
2009
(
1
)
2012
(
1
)
2020
(
1
)
只显示前10条......
1998
(
1
)
2009
(
1
)
2012
(
1
)
2020
(
1
)
查看更多信息......
B81-03
共有
4
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：