关于我们
|
|
点击返回 当前位置:首页 > 中图法 【 O14 数理逻辑、数学基础】 分类索引
-
- 数学建模理论与方法
- 沈世云,杨春德 著/2017-1-1/清华大学出版社
本书共分为12章,既详尽介绍了规划论模型、微分方程模型、差分方程模型、组合优化与随机性模型、图论模型、回归分析与时间序列方法、模糊数学建模方法、插值与拟合建模、决策分析方法、现代优化算法等与数学建模相关的理论知识,又结合典型实例全面阐述了数学建模解决实际问题的基本过程,突出了数学建模软件的应用。 本书可作为专科生、本科生、研究生的数学建模课程教材,特别适于数学建模竞赛培训使用,也可供从事应用研究的工程技术人员参考。
-
定价:¥36 ISBN:9787302427667
-
-
- 数学文化小丛书.第三辑
- 李大潜主编 /2016-11-1/高等教育出版社
本丛书本着弘扬和普及数学文化的宗旨而编辑出版的。为了使包括中学生在内的广大读者都能有所收益,本丛书着力精选那些对人类文明的发展起过重要作用、在深化人类对世界的认识或推动人类对世界的改造方面有某种里程碑意义的主题,由学有专长的学者执笔,抓住主要的线索和本质的内容,由浅入深并简明生动地向读者介绍数学文化的丰富内涵、数学文化史诗中一些重要的篇章以及古今中外一些著名数学家的优秀品质及历史功绩等内容。每个专题篇幅不长,并相对独立。视页码的多少,有的专题单独成册,有些专题则联合成册,以易于阅读、便
-
定价:¥90 ISBN:9787040467420
-
- 数学建模与MATLAB应用
- 夏爱生,刘俊峰 编/2016-10-1/北京理工大学出版社
《数学建模与MATLAB应用》根据学院实战化教学改革需求而编写,适应于本科工程类专业的教学,也可作为研究生的业务学习教材。 《数学建模与MATLAB应用》主要包含两部分。第1部分介绍了数学模型的基础理论、理论应用,对于案例用MATLAB软件进行了求解。第二部分主要包含MATLAB入门教程、MATLAB数据绘图、函数插值等算法。教材旨在培养学员应用数学知识解决实际问题的能力,同时使学员了解MATLAB软件,并培养学员用MATLAB程序计算数学模型的能力,努力贯彻实战化教学改革,加强对
-
定价:¥38 ISBN:9787568231800
-
-
-
-
-
-
- 数理逻辑引论
- 李涛/2016-8-1/哈尔滨工业大学出版社
数理逻辑是离散数学的重要组成部分之一,是计算机科学的数学基础。《数理逻辑引论(修订版)》内容主要侧重于逻辑演算,即命题逻辑演算和一阶谓词逻辑演算,这些内容是构成数理逻辑其他分支的共同基础。全书共分5章,分别介绍了数理逻辑的研究对象、研究内容和研究方法;命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理;一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。
《数理逻辑引论(修订版)》可用作高等院校计算机专业离散数学的教材或教学参
-
定价:¥19.8 ISBN:9787560361468
|