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

分类依据：参见B815,O211.

数学模型讲义

7
索取号：O141.4/20001
作者：雷功炎、
出版社：北京 : 北京大学出版社, 1999

面向计算机科学的数理逻辑 : 系统建模与推理 : modelling and reasoning about systems

6.4
索取号：O141/20081
作者：胡特、瑞安、何伟、樊磊、
出版社：北京 : 机械工业出版社, 2007

数学建模基础案例

0
索取号：O141.4/20102.2
作者：杜建卫、王若鹏、
出版社：北京 : 化学工业出版社, 2014

Problems in Euclidean space : application of convexity

0
索取号：O141.3/E602
作者：Eggleston、 Harold Gordon、 1921-、
出版社：New York : Pergamon Press, 1957.

数学建模讲义

0
索取号：O141.4/20144
作者：梁进、陈雄达、张华隆、项家梁、
出版社：上海 : 上海科学技术出版社, 2014

数理逻辑

0
索取号：O141/20141
作者：张再跃、张晓如、
出版社：北京 : 清华大学出版社, 2013

数学建模方法进阶

0
索取号：O141.4/20143
作者：王宏洲、
出版社：北京 : 清华大学出版社, 2013

数学建模入门与提高

0
索取号：O141.4/20141
作者：李汉龙、繆淑贤、韩婷、
出版社：北京 : 国防工业出版社, 2013

Pattern synthesis

0
索取号：O141.4/E804
作者：Grenander、 Ulf.、
出版社：New York : Springer-Verlag, 1976.

Mathematica基础及其在数学建模中的应用

0
索取号：O141.4/20139
作者：李汉龙、缪淑贤、韩婷、
出版社：北京 : 国防工业出版社, 2013

Mathematical modeling

0
索取号：O141.4/E20091.4
作者：Meerschaert、 Mark M.、 1955-、
出版社：Amsterdam ; Boston : Academic Press/Elsevier, 2013.

随机数学建模方法及其应用 : 概率模型

0
索取号：O141.4/20136
作者：马明、
出版社：北京 : 科学出版社, 2013

大学数学建模与实验基础

0
索取号：O141.4/20137
作者：李霄民、陈义安、
出版社：成都 : 西南财经大学出版社, 2012

数学建模与实验

0
索取号：O141.4/20138
作者：张秀兰、林峰、
出版社：北京 : 化学工业出版社, 2013

数学建模

0
索取号：O141.4/20135
作者：龚晓岚、
出版社：哈尔滨 : 哈尔滨工业大学出版社, 2012

数学建模算法与应用习题解答

0
索取号：O141.4-44/20132
作者：司守奎、
出版社：北京 : 国防工业出版社, 2013