|
关于我们
|
|
点击返回 当前位置:首页 > 中图法 【 O14 数理逻辑、数学基础】 分类索引
-
-
- 数学文化小丛书.第三辑
- 李大潜主编 /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
-
- Mathematica基础及其在数学建模中的应用
- 李汉龙 等主编/2016-7-1/国防工业出版社
《Mathematica基础及其在数学建模中的应用(第2版)》是作者结合多年的Mathematica与数学建模课程教学实践编写的,其内容包括Mathematica软件介绍、Mathematica应用基础、Mathematica在高等数学中的应用、Mathematica在线性代数中的应用、Mathematica在概率统计中的应用、利用Mathematica编程、Mathematica在数值计算及图形图像处理中的应用、Mathematica在绘制分形图中的应用、Mathematica在数学建模中
-
定价:¥49 ISBN:9787118110135
|