返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
数理逻辑
共有
8
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：
数理逻辑
:张清宇, 刘新文，夏素敏
作者：
张清宇, 刘新文，夏素敏
出版社：
中国社会科学出版社
出版时间：
2010
ISBN：
978-7-5004-8543-8
索书号：
O141/1233
分类号：
O141
页数：
128页
价格：
24.00
复本数：
在馆数：
累借天数：
累借次数：
本书介绍数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二部完全性定理以及所需的递归论内容，等等。
详细信息
索书号
展开
测试你的逻辑推理能力
:(美)乔治 J.萨默斯(George J. Summers), 林自新
作者：
(美)乔治 J.萨默斯(George J. Summers), 林自新
出版社：
上海科技教育出版社
出版时间：
1999
ISBN：
7-5428-1926-7
索书号：
O141-49/4464
分类号：
O141-49
页数：
115页
价格：
7.00
复本数：
在馆数：
累借天数：
累借次数：
本书收有50道精心设计的逻辑趣题，从易到难，顺次排列。除了少数题目需要一些简单的初中代数知识外，只要求你有灵活的思路和机智的推理。
详细信息
索书号
展开
试试你有多聪明: 测试逻辑推理能力的128道数学趣题
:魏磊
作者：
魏磊
出版社：
浙江教育出版社
出版时间：
2006
ISBN：
978-7-5338-6595-5
索书号：
O141/2610
分类号：
O141
页数：
190页
价格：
20.00
复本数：
在馆数：
累借天数：
累借次数：
本书中的128道经典数学趣题，是专门为测试你的逻辑推理能力、激发智慧潜能而设的。它们不但可以磨砺你的头脑，还将教给你许多超级无敌的逻辑推理技巧。
详细信息
索书号
展开
证明与反驳: 数学发现的逻辑
:(英)伊姆雷·拉卡托斯(Imre Lakatos), 方刚，兰钊
作者：
(英)伊姆雷·拉卡托斯(Imre Lakatos), 方刚，兰钊
出版社：
复旦大学出版社
出版时间：
2007
ISBN：
978-7-309-05397-5
索书号：
O1-0/5025
分类号：
O1-0
页数：
193页
价格：
15.00
复本数：
在馆数：
累借天数：
累借次数：
本书主要阐述作者用5年时间收集的两个典型的数学案例，以及本书编者添加的拉卡托斯1961年在剑桥大学所撰博士论文的部分内容。
详细信息
索书号
展开
从数学到哲学
:(美)王浩, 高坤，邢滔滔
作者：
(美)王浩, 高坤，邢滔滔
出版社：
广西师范大学出版社
出版时间：
2024
ISBN：
978-7-5598-6332-4
索书号：
O141/1034
分类号：
O141
页数：
509页
价格：
128.00
复本数：
在馆数：
累借天数：
累借次数：
本书循着从柏拉图到哥德尔的“数学－哲学家”传统，作者在书中首次对实质事实主义一般立场进行了长篇阐发；讨论了数学哲学的诸议题；探索了心灵与机器、数学与计算机、知识与生活等话题；还考察了逻辑和数学领域的一
详细信息
索书号
展开
数字治理: 理论逻辑与实践路径
:王满传
作者：
王满传
出版社：
国家行政学院出版社
出版时间：
2024
ISBN：
978-7-5150-2842-2
索书号：
D035-0/1032
分类号：
D035-0
页数：
282页
价格：
60.00
复本数：
在馆数：
累借天数：
累借次数：
本书从理论创新、逻辑推演、实践总结、现实回应、未来展望等多个视角深入探究数字治理的重点、难点、着力点，并对数字治理的理论逻辑与实践路径进行了论述和分析。主要内容包括：加快数字政府建设 推进政府治理现代
详细信息
索书号
展开
逻辑教室: 袁大头的推理游戏时间
:袁长瑞
作者：
袁长瑞
出版社：
湖南科学技术出版社
出版时间：
2006
ISBN：
7-5357-4420-6
索书号：
G898.2/4041
分类号：
页数：
333页
价格：
18.00
复本数：
在馆数：
累借天数：
累借次数：
本书分“入门题”、“进阶题”、“挑战题”三部分。内容有：不翼而飞的100元、细胞分裂的时间、箱子上的标签、网球循环赛等。
详细信息
索书号
展开
逻辑教室: 袁大头的推理游戏时间
:袁长瑞
作者：
袁长瑞
出版社：
湖南科学技术出版社
出版时间：
2010
ISBN：
978-7-5357-6190-3
索书号：
G898.2/4041/(2)
分类号：
G898.2
页数：
333页
价格：
25.00
复本数：
在馆数：
累借天数：
累借次数：
本书收录了114则推理谜题，分为入门、进阶和挑战三部分。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
8
)
出版社
湖南科学技术出版社
(
2
)
上海科技教育出版社
(
1
)
中国社会科学出版社
(
1
)
国家行政学院出版社
(
1
)
复旦大学出版社
(
1
)
广西师范大学出版社
(
1
)
浙江教育出版社
(
1
)
只显示前10条......
湖南科学技术出版社
(
2
)
上海科技教育出版社
(
1
)
中国社会科学出版社
(
1
)
国家行政学院出版社
(
1
)
复旦大学出版社
(
1
)
广西师范大学出版社
(
1
)
浙江教育出版社
(
1
)
查看更多信息......
作者
袁长瑞
(
2
)
(美)乔治 J.萨默斯(George J. Summers), 林自新
(
1
)
(美)王浩, 高坤，邢滔滔
(
1
)
(英)伊姆雷·拉卡托斯(Imre Lakatos), 方刚，兰钊
(
1
)
张清宇, 刘新文，夏素敏
(
1
)
王满传
(
1
)
魏磊
(
1
)
只显示前10条......
袁长瑞
(
2
)
(美)乔治 J.萨默斯(George J. Summers), 林自新
(
1
)
(美)王浩, 高坤，邢滔滔
(
1
)
(英)伊姆雷·拉卡托斯(Imre Lakatos), 方刚，兰钊
(
1
)
张清宇, 刘新文，夏素敏
(
1
)
王满传
(
1
)
魏磊
(
1
)
查看更多信息......
出版年
2006
(
2
)
2010
(
2
)
2024
(
2
)
1999
(
1
)
2007
(
1
)
只显示前10条......
2006
(
2
)
2010
(
2
)
2024
(
2
)
1999
(
1
)
2007
(
1
)
查看更多信息......
数理逻辑
共有
8
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：