检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
信息公告
全馆预约到馆通知
全馆图书催还通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=*%3A*&searchType=standard&isFacet=true&view=standard&searchWay=subject&rows=10&sortWay=score&sortOrder=desc&f_lang=chi&f_class1=51&f_class2=513&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
*:*
, 检索到: 10 条结果, 检索时间: 0.011 秒, 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
Hide chart
|
Hide chart
*:*
分类导航
O14 数理逻辑-数学基础
(6)
o10
(4)
B81 逻辑学(论理学)
(1)
O21 概率论-数理统计
(1)
5137
(4)
51.31 逻辑演算
(3)
51.33 模型理论
(2)
51.35 递归论、可计算理论与可构造数学
(1)
回到上一级分类
已经限定的分面
语言种类:
汉语
x
分面检索
图书馆
福建省图书馆
(10)
显示更多..
主题
教材
(2)
数学模型
(2)
数理逻辑
(2)
概论
(2)
可计算性
(1)
归纳推理-数学方法
(1)
数学哲学问题
(1)
数学方法-归纳推理
(1)
数学方法-科学方法论
(1)
数学理论
(1)
机器证明
(1)
理论
(1)
研究
(1)
研究生
(1)
科学方法论-数学方法
(1)
随机分析
(1)
非标准分析
(1)
高等学校
(1)
显示更多..
著者
李铁木
(2)
李铁木著
(2)
刘普寅
(1)
吴文俊
(1)
吴文俊主编
(1)
国家科委基础研究高技术司
(1)
朱保平
(1)
朱保平编
(1)
李昂生
(1)
杨世明
(1)
杨世明,王雪芹著
(1)
杨东屏
(1)
杨东屏,李昂生著
(1)
王雨田
(1)
王雨田主编
(1)
王雪琴
(1)
金治明
(1)
金治明,刘普寅著
(1)
陈理荣
(1)
陈理荣主编
(1)
显示更多..
出版日期
1999
(6)
1998
(2)
1988
(1)
1997
(1)
显示更多..
文献类型
图书
(10)
显示更多..
语言种类
[汉语]
(10)
显示更多..
在馆
在馆
(10)
显示更多..
保存至书单:
创建新书单
总共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
数学建模导论
订购中
著者:
陈理荣
出版社:
北京邮电大学出版社
出版日期: 1999
文献类型:
图书 , 索书号:
O141.4/15
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
王者之路:机器证明及其应用
订购中
著者:
吴文俊
出版社:
湖南科学技术出版社
出版日期: 1999
文献类型:
图书 , 索书号:
O1-0/65
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
数学模型讲义
订购中
著者:
雷功炎
出版社:
北京大学出版社
出版日期: 1999
文献类型:
图书 , 索书号:
O141.4/16
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
数学与哲学
订购中
著者:
李铁木
出版社:
地震出版社
出版日期: 1999
文献类型:
图书 , 索书号:
O1-0/64
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
杰出人物与方法论
订购中
著者:
李铁木
出版社:
地震出版社
出版日期: 1999
文献类型:
图书 , 索书号:
O1-0/63
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
可计算性理论
订购中
著者:
杨东屏,李昂生
出版社:
科学出版社
出版日期: 1999
文献类型:
图书 , 索书号:
O141.3/4
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
数学发现的艺术:数学探索中的合情推理
订购中
著者:
杨世明,王雪琴
出版社:
青岛海洋大学出版社
出版日期: 1998
文献类型:
图书 , 索书号:
O1-0/62
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
数理逻辑及其应用
订购中
著者:
朱保平
出版社:
北京理工大学出版社
出版日期: 1998
文献类型:
图书 , 索书号:
O141/43
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
非标准分析与随机分析
订购中
著者:
金治明,刘普寅
出版社:
国防科技大学出版社
出版日期: 1997
文献类型:
图书 , 索书号:
O141.41/4
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
现代逻辑科学导引.下册
订购中
著者:
王雨田
出版社:
中国人民大学出版社
出版日期: 1988.3
文献类型:
图书 , 索书号:
B81/32/2
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
总共 1 页
首页
<上一页
1
下一页>
尾页>>