检索到 30 条 主题词=数理逻辑 的结果
-
中文图书1.面向计算机科学的数理逻辑:系统建模与推理 O141/43
馆藏复本：3
可借复本：2 (德) 迈克尔·休斯(Michael Huth), (英) 马克·莱恩(Mark Ryan)著
机械工业出版社 2025
(0) 馆藏 -
中文图书2.哥德尔、艾舍尔、巴赫:集异璧之大成 TP1/3
馆藏复本：2
可借复本：1 (美)侯世达著
商务印书馆 2021
(0) 馆藏 -
中文图书3.数学与猜想.第一卷,数学中的归纳和类比 O1-0/14-1
馆藏复本：9
可借复本：6 (美)G.波利亚著
科学出版社 2001
(0) 馆藏 -
中文图书4.实用逻辑斯谛回归方法 O141/40
馆藏复本：3
可借复本：2 (美)约瑟夫·M. 西尔贝(Joseph M. Hilbe)著
机械工业出版社 2019
(0) 馆藏 -
中文图书5.迷人的逻辑题 O141/38
馆藏复本：3
可借复本：2 (美) 亚历克斯·贝洛斯(Alex Bellos)著
中信出版社 2018
(0) 馆藏 -
中文图书6.McCarthy函数和Ackermann函数 O141/36
馆藏复本：2
可借复本：1 刘培杰数学工作室编译
哈尔滨工业大学出版社 2017
(0) 馆藏 -
中文图书7.数理逻辑与集合论 O141/35
馆藏复本：3
可借复本：2 房元霞, 赵汝木, 盛秀艳编著
科学出版社 2015
(0) 馆藏 -
中文图书8.数理逻辑导引 O141/33
馆藏复本：2
可借复本：1 冯琦编著
科学出版社 2017
(0) 馆藏 -
中文图书9.作为哲学的数理逻辑 O141/31
馆藏复本：3
可借复本：2 杨睿之著
复旦大学出版社 2016
(0) 馆藏 -
中文图书10.面向计算机科学的数理逻辑.2版 TP301.6/10=2
馆藏复本：13
可借复本：8 陆钟万著
科学出版社 2002
(0) 馆藏 -
中文图书11.基于包含度的不确定推理 O141/28
馆藏复本：1
可借复本：1 张文修, 梁怡, 徐萍编著
清华大学出版社 2007
(0) 馆藏 -
中文图书12.符号逻辑和定理的机中证明.第三分册 O141/27-3
馆藏复本：2
可借复本：2 C.L.Chang等著
陕西省人工智能学会筹备组 1982
(0) 馆藏 -
中文图书13.数理逻辑引论.第2版 O141/26=2
馆藏复本：3
可借复本：2 李涛, 张岩, 刘峰主编
哈尔滨工业大学出版社 2016
(0) 馆藏 -
中文图书14.对偶三角模－三角余模逻辑及推理 O141/24
馆藏复本：3
可借复本：2 张兴芳著
科学出版社 2015
(0) 馆藏 -
中文图书15.数理逻辑:基本原理与形式演算.第2版 O141/22=2
馆藏复本：4
可借复本：3 李未著
科学出版社 2014
(0) 馆藏 -
中文图书16.逻辑悖论研究引论.修订本 B812.2/8=2
馆藏复本：4
可借复本：3 张建军著
人民出版社 2014
(0) 馆藏 -
中文图书17.应用逻辑 O141/23
馆藏复本：4
可借复本：3 (美) Anil Nerode, Richard A. Shore著
机械工业出版社 2007
(0) 馆藏 -
中文图书18.互逆主义数理逻辑 O141/20
馆藏复本：6
可借复本：6 周训伟著
中国科学技术出版社 2004
(0) 馆藏 -
中文图书19.信息、智能与逻辑.第二卷,智能科学的逻辑基础研究 O141-53/1-2.1
馆藏复本：4
可借复本：3 何华灿主编
西北工业大学出版社 2010
(0) 馆藏 -
中文图书20.可计算性与数理逻辑 TP301.4/1
馆藏复本：2
可借复本：2 (美)George S.Boolos，(美)John P.Burgess，(美)Richard C.Jeffrey著
电子工业出版社 2005
(0) 馆藏
