出版社: 出版时间:
检索
| 纸书荐购 | 收藏

出版社:

东南大学出版社
出版时间:2018.06
ISBN:978-7-5641-7792-8

简介:本书精选2013年至2017年的全国大学生数学建模竞赛、军事数学建模竞赛、“认证杯”数学中国数学建模国际赛和美国大学生数学建模竞赛的11篇获奖优秀论文进行评析,评价其优缺点。本书所选论文包含了近二十种数学建模方法,揭示了这些方法在实际问题中的应用,对于广大读者有非常大的借鉴作用和参考价值。

出版社:

浙江大学出版社
出版时间:2017.12
ISBN:978-7-308-17725-2

简介:本书以数学建模所涉及的常用数学方法(类型)为主线进行编排,内容包括:数学建模概述;数学建模方法示例;优化数学模型;图与网络数学模型;评价管理数学模型;预测分析数学模型;微分与差分方程数学模型;随机服务系统数学模型;统计分析数学模型;启发式算法简介。

作者:

魏燕侠著

出版社:

社会科学文献出版社
出版时间:2017.12
ISBN:978-7-5201-1173-7

简介:本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域,通过引入谓词抽象这一具体的技术,突破了模态逻辑领域Herbrand 定理研究的难题,从而为模态自动定理证明提供了理论基础。在哲学领域,通过将谓词抽象思想应用于相关哲学问题的研究,延续了哲学研究中的逻辑分析传统。

出版社:

西南交通大学出版社
出版时间:2017.10
ISBN:978-7-5643-5868-6

简介:本书收录了自2009年以来我校全国一等奖获奖论文十余篇,主要包含:眼科病床的合理安排、储油罐的变位识别与罐容表标定、城市表层土壤重金属污染分析等问题。

作者:

夏冰著

出版社:

北京大学出版社;黑龙江大学出版社
出版时间:2017.08
ISBN:978-7-5686-0142-9

简介:本书是作者在相关研究项目的基础上,经过不断丰富完善后形成的。书中由浅入深地给出了多种评价方法,将定性问题进行定量化处理,由此满足了科学管理的需要,并通过案例分析说明各方法的可行性和有效性。案例涉及多个领域,在自然科学中广泛应用于各种事物的特征和性质的评价,如表层土壤污染程度评价、发动机技术状态评价等;在社会科学中广泛应用于总体特征和个体特征的综合评价,如毕业生综合素质评价、教师综合素质评价等;在经济学学科领域有企业财务状况综合评价。

作者:

严坤妹编著

出版社:

厦门大学出版社
出版时间:2017.07
ISBN:978-7-5615-6566-7

简介:本书共分为九章,其主要内容包括:数学建模概述;用初等数学解决的问题;与利息有关的经济问题;运用微积分方法解决的问题;线性规划问题;网络优化问题;层次分析法应用实例;优化算法简介等。

作者:

李德龟著

出版社:

延边大学出版社
出版时间:2017.05
ISBN:978-7-5688-2535-1

简介:本书内容可分为四个部分:第一部分为预备知识,包含与逻辑背景理论有关的关系,偏序集,格,Boole代数的基本知识。第二部分为逻辑背景的基本理论。第三部分为逻辑背景理论在命题演算中的应用。第四部分为逻辑背景理论在谓词演算中的应用。

出版社:

化学工业出版社
出版时间:2016.12
ISBN:978-7-122-28733-5

简介:本书内容涉及工程、管理、信息、医疗、经济、社会等领域的实际问题。

出版社:

电子科技大学出版社
出版时间:2016.12
ISBN:978-7-5647-4009-2

简介:本书主要收录了江西应用技术职业学院2005年至2015年荣获全国大学生数学建模竞赛全国一等奖的论文,内容包括《雨量预报方法的评价》《煤矿瓦斯和煤尘的预测与控制模型》《机器人避障问题》等。

作者:

刘锋主编

出版社:

南京大学出版社
出版时间:2016.11
ISBN:978-7-305-17332-5

简介:本书内容包括数学建模概论、日常生活中的数学模型、微分方程模型、最优化模型、初等概率模型、图论初步及其应用、层次分析法及其应用、Matlab软件简介及应用等八章内容及一个附录。

出版社:

北京理工大学出版社
出版时间:2016.10
ISBN:978-7-5682-3180-0

简介:本教材包含两部分。第一部分介绍了数学模型的基础理论、理论应用,对于案例用MATLAB软件进行了求解。第二部分主要包含MATLAB入门教程、MATLAB数据绘图、函数差值等算法。

作者:

韩雪涛著

出版社:

人民邮电出版社
出版时间:2016.09
ISBN:978-7-115-43043-4

简介:本书共分“毕达哥拉斯悖论与第一次数学危机”“贝克莱悖论与第二次数学危机”“罗素悖论与第三次数学危机”三部分,透彻阐述了数学悖论的产生、引发的数学危机、危机之解决、悖论解决中产生的各种数学成果。

出版社:

哈尔滨工业大学出版社
出版时间:2016.08
ISBN:978-7-5603-6146-8

简介:本书共分5章,分别介绍了数理逻辑的研究对象、研究内容和研究方法;命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理;一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理等。

作者:

蔡立著

出版社:

上海交通大学出版社
出版时间:2016.07
ISBN:978-7-313-14972-5

简介:连续统假设是现代数学中的一大难题,又被称为希尔伯特第一问题。本书分为上、下两篇,上篇主要讲述无穷大的历史演变和连续统问题的来龙去脉,同时还对康托、希尔伯特、哥德尔和科恩等人的工作进行分析讨论。下篇主要阐述作者处理连续统问题的基本思想以及根据这一思想作者所做的研究工作。

作者:

李娜编著

出版社:

南开大学出版社
出版时间:2016.04
ISBN:978-7-310-05062-8

简介:本书共六章,其中第一章主要介绍集合、集合运算的基本思想和方法,第二至四章介绍命题逻辑的基本思想和方法,第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密,选材适当,体系完整,论述准确,并建立在作者新的研究成果基础之上,对数理逻辑的基本思想和方法做了准确而严谨的论述。

出版社:

清华大学出版社
出版时间:2015.12
ISBN:978-7-302-42266-2

简介:本书内容包括绪论、数据噪声分类及抗噪方法、粗糙集模型、基于可变精度的稳健粗糙集模型、基于软距离的稳健粗糙集模型等。

作者:

傅莺莺著

出版社:

中国经济出版社
出版时间:2015.08
ISBN:978-7-5136-3910-1

简介:本书主要介绍树和偏序理论模型论研究的最新成果,主要内容包括:一阶逻辑预备知识、经典结构模型论研究、几个定理的新证明、带根节点的树理论、有最小元的树形偏序。

作者:

杨明主编

出版社:

西南交通大学出版社
出版时间:2015.07
ISBN:978-7-5643-3987-6

简介:本书研究图形推理的规律性,用八个典型的专题,对图形判断推理的规律和方法,进行了研究和讨论。本书内容包括图形数字化推理、图形属性推理、图形变换推理、图形运算、拼图等。

作者:

隋树林主编

出版社:

化学工业出版社
出版时间:2015.05
ISBN:978-7-122-22752-2

简介:本书内容包括数学建模概论、初等建模方法、差值拟合方法、数学规划方法、微分方程方法、图论方法、不确定信息处理方法、常用统计与随机分析方法及现代优化方法等。

作者:

肖华勇主编

出版社:

电子工业出版社
出版时间:2015.04
ISBN:978-7-121-25655-4

简介:本书在解答数学建模竞赛中的常见问题时,不仅解答了组建团队、赛前准备和时间安排等问题,还解答了文献检索、撰写论文及论文排版的相关问题,旨在使读者对数学建模的整个流程有非常清晰的认识。