检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
荐读书目
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E8%AE%A1%E7%AE%97%E6%9C%BA&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&f_booktype=1&f_lang=chi&f_class1=o&f_class2=o1&f_class3=o14&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
计算机
, 检索到: 41 条结果, 检索时间: 0.032 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
计算机
CADAL电子资源
集群图书馆
分类导航
O141 数理逻辑(符号逻辑)
(24)
o149
(13)
o133
(3)
TP30 一般性问题
(3)
O142 应用数理逻辑-数理逻辑
(2)
O144 集合论
(2)
TP31 计算机软件
(2)
TP27 自动化系统
(1)
TP33 电子数字计算机(不连续作用电子计算机)
(1)
回到上一级分类
已经限定的分面
馆藏地点:
文献类型:
图书
x
语言种类:
汉语
x
分面检索
资源类型
纸质资源
(41)
显示更多..
图书馆
贵州理工学院图书馆
(41)
显示更多..
馆藏地点
蔡家关校区理学书库
(29)
新校区图书馆
(17)
图书密集书库
(6)
蔡家关校区工学书库
(4)
中文自然科学书库
(4)
中文流通书库
(2)
显示更多..
主题
数学
(12)
数学模型
(12)
数理逻辑
(9)
高等学校
(9)
高等教育
(4)
实验
(3)
教材
(3)
集论
(3)
高等数学
(3)
应用
(2)
数理逻辑-应用-电子计算机
(2)
电子计算机-数理逻辑-应用
(2)
研究
(2)
1900-1950
(1)
1963
(1)
matlab软件
(1)
世界
(1)
中国
(1)
可计算性-电子计算机
(1)
多值逻辑
(1)
显示更多..
著者
任毅
(2)
周保平
(2)
李文林
(2)
汪世铭
(2)
汪世铭,任毅编
(2)
汪晓银
(2)
(德)michael huth,(英)mark ryan著
(1)
(美) anil nerode, richard a. shore著
(1)
(美) d.e. knuth著
(1)
(美) 克利福德·皮寇弗著
(1)
(美) 帕利斯·巴尼斯著
(1)
(美) 迈克尔·j. 布拉德利博士著
(1)
(美) 马克·c. 查-卡罗尔著
(1)
(英) 汤姆·杰克逊著
(1)
j.r. 纽曼编
(1)
mark c. chu-carroll
(1)
tom jackson
(1)
yves bertot, pierre casteran著
(1)
丁德成
(1)
丁德成 ... [等] 译
(1)
显示更多..
出版日期
2007
(4)
2010
(4)
2012
(4)
2018
(4)
2015
(3)
1982
(2)
2011
(2)
2014
(2)
2016
(2)
2017
(2)
2019
(2)
1965
(1)
1983
(1)
1984
(1)
1992
(1)
1996
(1)
1998
(1)
2000
(1)
2004
(1)
2005
(1)
显示更多..
文献类型
[图书]
(41)
显示更多..
语言种类
[汉语]
(41)
英语
(1)
显示更多..
在馆
在馆
(41)
显示更多..
保存至书单:
创建新书单
共 5 页
首页
<上一页
1
2
3
4
5
下一页>
尾页>>
1.
计算机、逻辑和集合论
已借4次.
订购中
(含光盘)
著者:
徐书润
胡国定
出版社:
科学出版社
出版日期: 1998.3
文献类型:
图书 , 索书号:
TP301/18
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
逻辑代数与电子计算机
订购中
(含光盘)
著者:
汪世铭
任毅
出版社:
安徽省数学学会
出版日期: 1982
文献类型:
图书 , 索书号:
O142/2
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
逻辑代数与电子计算机
订购中
(含光盘)
著者:
汪世铭
任毅
出版社:
安徽省数学学会
出版日期: 1982
文献类型:
图书 , 索书号:
O142/1
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
面向计算机科学的数理逻辑:系统建模与推理
订购中
(含光盘)
著者:
胡特
瑞安
出版社:
机械工业出版社
出版日期: 2007
文献类型:
图书 , 索书号:
O141/54
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
可计算性与计算复杂性导引
订购中
(含光盘)
著者:
张立昂
出版社:
北京大学出版社
出版日期: 1996
文献类型:
图书 , 索书号:
O141.3-43/1
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
数理逻辑与机器证明
订购中
(含光盘)
著者:
陆钟万
出版社:
科学出版社
出版日期: 1983
文献类型:
图书 , 索书号:
O141/2
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
数理逻辑基础与粒计算
订购中
(含光盘)
著者:
闫林
出版社:
科学出版社
出版日期: 2007
文献类型:
图书 , 索书号:
TP301.6/104
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
1963年全国数理逻辑专业学术会议论文选集
订购中
(含光盘)
著者:
中国电子学会电子计算机专业委员会
出版社:
国防工业出版社
出版日期: 1965
文献类型:
图书 , 索书号:
O141-53/1
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
数理逻辑
订购中
(含光盘)
著者:
莫绍揆
出版社:
高等教育出版社
出版日期: 1984
文献类型:
图书 , 索书号:
O141/24
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
集合论基础
订购中
(含光盘)
著者:
刘坤起
出版社:
电子工业出版社
出版日期: 2014.02
文献类型:
图书 , 索书号:
O144/8
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 5 页
首页
<上一页
1
2
3
4
5
下一页>
尾页>>