大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑-数学基础(分类号：O14)(共382本)

数学模型选谈

0
索取号：O141.4/20134
作者：华罗庚、王元、
出版社：大连 : 大连理工大学出版社, 2011

数学建模能力培养方法研究

0
索取号：O141.4/201211
作者：韦程东、
出版社：北京 : 科学出版社, 2012

数学无穷与中介的逻辑基础

0
索取号：O141/20122
作者：朱梧槚、
出版社：北京 : 科学出版社, 2012

全国大学生数学建模竞赛赛题与优秀论文评析

0
索取号：O141.4/201210
作者：姚泽清、郑旭东、赵颖、
出版社：北京 : 国防工业出版社, 2012

A first course in logic : an introduction to model theory, proof theory, computability, and complexity

0
索取号：O141/E20131
作者：Hedman、 Shawn.、
出版社：Oxford ; New York : Oxford University Press, c2004.

Reasoning about theoretical entities

0
索取号：O14/E20121
作者：Forster、 T. E.、
出版社：River Edge, N.J. : World Scientific Pub., 2003.

数学建模

0
索取号：O141.4/201310
作者：连坡、
出版社：北京 : 中国农业出版社, 2011

数学模型

0
索取号：O141.4/20128
作者：单锋、朱丽梅、田贺民、
出版社：北京 : 国防工业出版社, 2012

错误系统

0
索取号：O14/20121
作者：郭开仲、
出版社：北京 : 科学出版社, 2012

数学建模竞赛优秀论文精选与点评

0
索取号：O141.4-53/20122
作者：肖华勇、
出版社：西安 : 西北工业大学出版社, 2011

模型论及其在计算机科学中的应用

0
索取号：O141.4/20127
作者：罗里波、北京师范大学数学科学学院、
出版社：北京 : 北京师范大学出版社, 2012

数学建模竞赛入门与提高

0
索取号：O141.4/20125
作者：周凯、宋军全、邬学军、
出版社：杭州 : 浙江大学出版社, 2012

Introduction to elementary computational modeling : essential concepts, principles, and problem solving

0
索取号：O141.4/E20121
作者：Garrido、 José、
出版社：Boca Raton, FL : CRC Press, c2012.

Models, logics, and higher-dimensional categories : a tribute to the work of Mihâaly Makkai

0
索取号：O141.4-532/E20121
作者：
出版社：Providence, R.I. : American Mathematical Society, c2011.

数学建模优秀论文精选与点评 : 2005-2010

0
索取号：O141.4-53/20121
作者：李学文、李炳照、王宏洲、
出版社：北京 : 清华大学出版社, 2011

数学建模

0
索取号：O141.4/20123
作者：堵秀凤、张剑、张宏民、
出版社：北京 : 北京航空航天大学出版社, 2011