返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
刘新文
共有
3
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：
数理逻辑
:张清宇, 刘新文，夏素敏
作者：
张清宇, 刘新文，夏素敏
出版社：
中国社会科学出版社
出版时间：
2010
ISBN：
978-7-5004-8543-8
索书号：
O141/1233
分类号：
O141
页数：
128页
价格：
24.00
复本数：
在馆数：
累借天数：
累借次数：
本书介绍数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二部完全性定理以及所需的递归论内容，等等。
详细信息
索书号
展开
逻辑、语言和认知
:(荷)约翰·范本特姆, 刘新文，郭美云
作者：
(荷)约翰·范本特姆, 刘新文，郭美云
出版社：
科学出版社
出版时间：
2009
ISBN：
978-7-03-025430-6
索书号：
B81/4452
分类号：
B81
页数：
428页
价格：
78.00
复本数：
在馆数：
累借天数：
累借次数：
本书探讨了语言与计算机逻辑相关的一些重要主题，研究了逻辑与认知科学的联系，表明“反心理学”的教条已经不复存在，逻辑理论与经验实践之间正在不断交换思想。
详细信息
索书号
展开
哲学的本质是逻辑: 王路教授访谈录
:刘新文
作者：
刘新文
出版社：
清华大学出版社
出版时间：
2024
ISBN：
978-7-302-66777-3
索书号：
B81-53/0200
分类号：
B81-53
页数：
25,246页
价格：
88.00
复本数：
在馆数：
累借天数：
累借次数：
本书收录了国内学者过去二十年间与王路教授围绕上述论题的学术访谈。它们与学术论文不同，涉及从亚里士多德到康德到弗雷格等众多哲学家，涵盖对逻辑与哲学的深刻认识，论题广博，史料丰富，充满人文关怀，而且口语化
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
3
)
出版社
中国社会科学出版社
(
1
)
清华大学出版社
(
1
)
科学出版社
(
1
)
只显示前10条......
中国社会科学出版社
(
1
)
清华大学出版社
(
1
)
科学出版社
(
1
)
查看更多信息......
作者
(荷)约翰·范本特姆, 刘新文，郭美云
(
1
)
刘新文
(
1
)
张清宇, 刘新文，夏素敏
(
1
)
只显示前10条......
(荷)约翰·范本特姆, 刘新文，郭美云
(
1
)
刘新文
(
1
)
张清宇, 刘新文，夏素敏
(
1
)
查看更多信息......
出版年
2009
(
1
)
2010
(
1
)
2024
(
1
)
只显示前10条......
2009
(
1
)
2010
(
1
)
2024
(
1
)
查看更多信息......
刘新文
共有
3
条记录
共耗时[0.000]秒
页码：
1
/
1
每页显示：
10
记录
跳转：