大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑)(分类号：O141)(共270本)

分类依据：参见B815,O211.

数学建模与数学实验

0
索取号：O141.4/20021.3
作者：赵静、但琦、
出版社：北京 : 高等教育出版社, 2008

数学模型八讲 : 模型、模式与文化

0
索取号：O141.4/20087
作者：雷功炎、
出版社：北京 : 北京大学出版社, 2008

现代数学建模方法

0
索取号：O141.4/20089
作者：王庚、王敏生、
出版社：北京 : 科学出版社, 2008

数学模型选讲

0
索取号：O141.4/20088
作者：王树禾、
出版社：北京 : 科学出版社, 2008

数学建模

0
索取号：O141.4/20086
作者：
出版社：哈尔滨 : 哈尔滨工程大学出版社, 2007

大学生数学建模案例精选

0
索取号：O141.4/20084
作者：罗万成、
出版社：成都 : 西南交通大学出版社, 2007

数学建模及典型案例分析

0
索取号：O141.4/20081
作者：李志林、欧宜贵、
出版社：北京 : 化学工业出版社, 2007

数学模型应用实例

0
索取号：O141.4/20085
作者：杨桂元、李天胜、徐军、
出版社：合肥 : 合肥工业大学出版社, 2007

数理逻辑基础与粒计算

0
索取号：O141/20084
作者：闫林、
出版社：北京 : 科学出版社, 2007

数学建模实验

0
索取号：O141.4-33/20001.2
作者：周义仓、赫孝良、
出版社：西安 : 西安交通大学出版社, 2007

数学建模基础理论

0
索取号：O141.4/20082
作者：高隆昌、杨元、
出版社：北京 : 科学出版社, 2007

数学建模教程

0
索取号：O141.4/20083
作者：许洪范、
出版社：北京 : 国防工业出版社, 2007

基于包含度的不确定推理

0
索取号：O141/20074
作者：张文修、梁怡、徐萍、
出版社：北京 : 清华大学出版社, 2007

Model theory : an introduction = 模型论引论

0
索取号：O141.4/E20072
作者：Marker、 D. (David)、 1958-、
出版社：北京 : 科学出版社, 2007.

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究

0
索取号：O141.3/E20072
作者：Soare、 R. I. (Robert Irving)、 1940-、
出版社：北京 : 科学出版社, 2007

Computability and logic = 可计算性与数理逻辑

0
索取号：O141.3/E20071.4
作者：Boolos、 George.、Burgess、 John P.、 1948-、Jeffrey、 Richard C.、
出版社：Beijing : Pub. House of Electronic Industry, 2003.