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

分类依据：参见B815,O211.

数学建模算法与应用

0
索取号：O141.4/20113
作者：司守奎、孙玺菁、
出版社：北京 : 国防工业出版社, 2011

数理逻辑教程

0
索取号：O141/1
作者：陈慕泽 (逻辑学)、
出版社：上海 : 上海人民出版社, 2001

逻辑与数学逻辑论 : 科学丛书

0
索取号：O141/712
作者：汪会基、
出版社：: 商务印书馆发行, 1927

Computational logic and human thinking : how to be artificially intelligent

0
索取号：O141/E20111
作者：Kowalski、 Robert.、
出版社：Cambridge ; New York : Cambridge University Press, 2011.

Charming proofs : a journey into elegant mathematics

0
索取号：O141.2/E20121
作者：Alsina、 Claudi.、Nelsen、 Roger B.、Mathematical Association of America.、
出版社：Washington, DC : Mathematical Association of America, c2010.

数学模型

0
索取号：O141.4/20054.2
作者：谭永基、蔡志杰、
出版社：上海 : 复旦大学出版社, 2011

数学建模基础

0
索取号：O141.4/20051.2
作者：薛毅、
出版社：北京 : 科学出版社, 2011

数学建模 : 方法导引与案例分析

0
索取号：O141.4/20112
作者：方道元、韦明俊、
出版社：杭州 : 浙江大学出版社, 2011

数学建模

0
索取号：O141.4/20114
作者：母丽华、周永芳、
出版社：北京 : 科学出版社, 2011

数学模型 (第四版) 习题参考解答

0
索取号：O141.4-44/20111
作者：姜启源、谢金星、叶俊、
出版社：北京 : 高等教育出版社, 2011

数理逻辑

0
索取号：O141/921.2
作者：汪芳庭、
出版社：合肥 : 中国科学技术大学出版社, 2010

相识数学逻辑

0
索取号：O141/20111
作者：黄忠裕、赵焕光、
出版社：北京 : 科学出版社, 2010

粒子群优化算法及其工程应用

0
索取号：O141.3/20111
作者：刘波、
出版社：北京 : 电子工业出版社, 2010

数学建模

0
索取号：O141.4/20111
作者：章绍辉、
出版社：北京 : 科学出版社, 2010

数理逻辑实验教程

0
索取号：O141/20112
作者：李娜、
出版社：武汉 : 武汉大学出版社, 2010

数学模型与数学建模

0
索取号：O141.4/982.3
作者：刘来福、黄海洋、曾文艺、北京师范大学 数学科学学院、
出版社：北京 : 北京师范大学出版社, 2009