检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
信息公告
全馆预约到馆通知
全馆图书催还通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=*%3A*&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&f_booktype=1&f_class1=o&f_class2=o1&f_class3=o14&f_class4=o141&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
*:*
, 检索到: 105 条结果, 检索时间: 0.021 秒, 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
Hide chart
|
Hide chart
*:*
分类导航
O141 数理逻辑(符号逻辑)
(57)
o1414
(5)
o1333
(2)
b815
(1)
o1410
(1)
o1415
(1)
O211 概率论-几率论-或然率论
(1)
O212 数理统计
(1)
O242 数学模拟,近似计算
(1)
TP391 信息处理(信息加工)
(1)
回到上一级分类
已经限定的分面
文献类型:
图书
x
分面检索
图书馆
福建省图书馆
(105)
显示更多..
主题
数理逻辑
(37)
数学模型
(32)
高等学校
(9)
研究
(8)
概论
(6)
证明论
(4)
可计算性
(3)
实验
(3)
建立模型
(3)
高等数学
(3)
命题逻辑
(2)
教材
(2)
无穷小
(2)
案例
(2)
模型论
(2)
研究生
(2)
竞赛
(2)
谓词逻辑
(2)
递归论
(2)
逻辑推理
(2)
显示更多..
著者
(美)约翰·阿伦·保罗斯(john allen paulos)著
(2)
(英)亚历克斯·贝洛斯(alex bellos)著
(2)
alex
(2)
bellos
(2)
john allen
(2)
paulos
(2)
保罗斯
(2)
冯棉
(2)
史念东
(2)
史念东著
(2)
史树中
(2)
史树中等译
(2)
朱水林
(2)
王国俊
(2)
王国俊著
(2)
石纯一
(2)
胡小锐
(2)
胡小锐译
(2)
莫绍揆
(2)
莫绍揆著
(2)
显示更多..
出版日期
1989
(8)
1999
(6)
2008
(6)
1993
(5)
2000
(5)
2010
(5)
2018
(5)
2023
(5)
1987
(4)
1988
(4)
1990
(4)
2016
(4)
2017
(4)
1992
(3)
1995
(3)
1996
(3)
1998
(3)
2002
(3)
2003
(3)
2012
(3)
显示更多..
文献类型
[图书]
(105)
显示更多..
语言种类
汉语
(105)
英语
(1)
显示更多..
在馆
在馆
(105)
显示更多..
保存至书单:
创建新书单
总共 11 页
首页
<上一页
1
2
3
4
5
6
7
8
9
10
下一页>
尾页>>
1.
机器证明的逻辑推定
订购中
著者:
李娜
出版社:
科学出版社
出版日期: 2023
文献类型:
图书 , 索书号:
O141/65
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
结构证明论
订购中
著者:
马明辉
出版社:
科学出版社
出版日期: 2023
文献类型:
图书 , 索书号:
O141.2/5=2
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
中国表示法及其逻辑研究
订购中
著者:
杜国平
出版社:
中国社会科学出版社
出版日期: 2023
文献类型:
图书 , 索书号:
O141/66
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
数学证明是怎样的一项数学活动?
订购中
著者:
萧文强
出版社:
大连理工大学出版社
出版日期: 2023
文献类型:
图书 , 索书号:
O141.2/4
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
逻辑迷宫
订购中
著者:
斯穆里安,Raymond Smullyan
出版社:
新星出版社
出版日期: 2023
文献类型:
图书 , 索书号:
O141/63
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
形象、思维与推理:存在图逻辑:existential graph logic
订购中
著者:
程橙
出版社:
中国社会科学出版社
出版日期: 2022
文献类型:
图书 , 索书号:
O141/64
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
数学建模33讲:数学与缤纷的世界
订购中
著者:
朱浩楠
出版社:
人民邮电出版社
出版日期: 2022
文献类型:
图书 , 索书号:
O141.4/41
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
如何破解爱因斯坦的谜题:挑战智商的29个推理难题
订购中
著者:
斯特朗姆,Jeremy Stangroom
出版社:
长江文艺出版社
出版日期: 2021
文献类型:
图书 , 索书号:
O141/62
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
烧脑的逻辑题
订购中
著者:
贝洛斯,Alex Bellos
出版社:
中信出版集团股份有限公司
出版日期: 2021
文献类型:
图书 , 索书号:
O141/61
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
实用逻辑斯谛回归方法
订购中
著者:
西尔贝,Joseph M. Hilbe
出版社:
机械工业出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O141/59
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
总共 11 页
首页
<上一页
1
2
3
4
5
6
7
8
9
10
下一页>
尾页>>