检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
网上办证
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=c&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&hasholding=1&f_class1=o&f_class2=o1&f_class3=o14&f_class4=o141&f_curlocal=DBYB&searchWay0=marc&logical0=AND
rows=10&hasholding=1&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
c
, 检索到: 133 条结果, 检索时间: 0.065 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
c
CADAL电子资源
集群图书馆
分类导航
O141 数理逻辑(符号逻辑)
(99)
o1333
(7)
o1415
(1)
O151 代数方程式论-线性代数
(1)
O221 规划论
(1)
TP312 程序语言、算法语言
(1)
TP391 信息处理(信息加工)
(1)
回到上一级分类
已经限定的分面
馆藏地点:
崂山图书阅览室
x
在馆 :
在馆
x
图书馆
青岛科技大学图书馆
(133)
显示更多..
馆藏地点
[崂山图书阅览室]
(133)
四方学生参考室
(130)
崂山综合书库
(104)
四方科技书库
(91)
高密样本书库
(72)
高密综合书库
(70)
高密密集书库(大数据)
(25)
崂山基本书库
(8)
高密密集书库
(2)
数理学院
(1)
四方科技书库辅库
(1)
显示更多..
主题
数学模型
(91)
高等学校
(43)
数理逻辑
(22)
应用
(10)
研究
(10)
matlab软件
(9)
高等教育
(8)
实验
(7)
高等数学
(7)
竞赛
(5)
竞赛题
(5)
应用软件
(4)
美国
(4)
人工智能
(3)
教学研究
(3)
程序设计
(3)
算法
(3)
逻辑
(3)
逻辑推理
(3)
可计算性
(2)
显示更多..
著者
司守奎
(6)
何华灿
(5)
姜启源
(4)
孙玺菁
(4)
王国俊
(4)
王国俊著
(4)
何华灿主编
(3)
汪晓银
(3)
韩中庚
(3)
(美国)g.波利亚著
(2)
g.波利亚
(2)
卓金武
(2)
叶俊
(2)
叶其孝
(2)
司守奎,孙玺菁主编
(2)
周义仓
(2)
周保平
(2)
姜启源,谢金星,叶俊编
(2)
朱焕桃
(2)
朱道元
(2)
显示更多..
出版日期
2008
(10)
2012
(10)
2011
(9)
2022
(9)
2016
(8)
2018
(7)
2010
(6)
2013
(6)
2014
(6)
2015
(6)
2020
(6)
2021
(6)
2009
(5)
2017
(5)
2001
(4)
2006
(4)
2007
(4)
2023
(4)
2003
(3)
2019
(3)
显示更多..
文献类型
图书
(133)
显示更多..
语言种类
汉语
(132)
英语
(2)
显示更多..
在馆
[ 在馆 ]
(133)
显示更多..
保存至书单:
创建新书单
共 14 页
首页
<上一页
1
2
3
4
5
6
7
8
9
10
下一页>
尾页>>
1.
可计算性与数理逻辑
已借3次.
订购中
著者:
博洛斯
伯吉斯
杰弗里
出版社:
电子工业出版社
出版日期: 2005
文献类型:
图书 , 索书号:
O141/12
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
数学建模案例集锦
已借1次.
订购中
著者:
宁波大学
出版社:
机械工业出版社
出版日期: 2022
文献类型:
图书 , 索书号:
O141.4/84
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
数理逻辑初步
订购中
著者:
莫绍揆
出版社:
上海人民出版社
出版日期: 1980
文献类型:
图书 , 索书号:
O141/1
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
数学模型
已借63次.
订购中
著者:
郑煜
温广玉
出版社:
东北林业大学出版社
出版日期: 2006.06
文献类型:
图书 , 索书号:
O141.4/5
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
数学模型与数学建模
已借87次.
订购中
著者:
陈汝栋
于延荣
出版社:
国防工业出版社
出版日期: 2006
文献类型:
图书 , 索书号:
O141.4/4
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
数理逻辑
已借3次.
订购中
著者:
毕富生
出版社:
高等教育出版社
出版日期: 2004
文献类型:
图书 , 索书号:
O141/9
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
半符号逻辑:传统逻辑与符号逻辑的桥梁
订购中
著者:
张霭珠
出版社:
复旦大学出版社
出版日期: 2004
文献类型:
图书 , 索书号:
O141/10
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
数理逻辑引论与归结原理
订购中
著者:
王国俊
出版社:
科学出版社
出版日期: 2003
文献类型:
图书 , 索书号:
O141/8
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
数理逻辑
已借11次.
订购中
著者:
Herbert B. Enderton
出版社:
人民邮电出版社
出版日期: 2007
文献类型:
图书 , 索书号:
O141/14
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
跨越缺口:故事中的数与逻辑
已借5次.
订购中
著者:
J.A. 保罗斯
John Allen Paulos
出版社:
上海科学技术出版社
出版日期: 2001
文献类型:
图书 , 索书号:
O141/15
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 14 页
首页
<上一页
1
2
3
4
5
6
7
8
9
10
下一页>
尾页>>