本书以 Python 软件为基础, 详细介绍了数学建模的各种常用算法及其软件实现, 内容涉及高等数学、工程数学中的相关数学实验、数学规划、插值与拟合、微分方程、差分方程、评价预测、图论模型、多元分析、Monte Carlo 模拟、智能算法、时间序列分析、支持向量机、图像处理等内容, 既有对算法数学原理的详述, 又有案例和配套的 Python 程序. 本书含有 Python 快速入门基础, 可以帮助 Python 零基础的读者快速掌握Python 语言. 但对于没有其他任何编程语言基础的读者, 建议参考一些更加具体的 Python 相关书籍.
2019年是中华人民共和国成立70周年。70年来，中国教育学已经有了长足的发展。展望未来，新时代背景下中国教育学如何继往开来，接力发展，需要我们很好地去梳理已有的研究成果，准确定位中国教育学的发展历程和水平，明确未来的研究方向。该套丛书以国家重点课题 中华人民共和国教育学发展研究 为依托，集合全国教育学科各学科专业领军专家，作者队伍强大。从学理层面来看，教育学史越来越凸显其在教育学发展过程中的重要作用。对中国教育学史的研究，既是为了镜鉴现实，为了推动教育学术的传承和发展，又是为了推动我国教育学术的传承和发展以及为了保存和传播教育学发展的积淀。从读者需求方面来看，研究和学习教育学的人需要很好地了解本学科的发展史，明确自己研究的基础和学科定位。该丛书总共12卷本，每本书预计20万字，全套丛书预计2
《矩阵计算》是已故美国科学院院士、美国工程院院士吉恩 戈卢布（Gene H. Golub）等人的经典巨著，是矩阵计算领域的标准性参考文献。本书系统介绍了矩阵计算的基本理论和方法．内容包括：矩阵乘法、矩阵分析、线性方程组、正交化和*小二乘法、特征值问题、Lanczos 方法、矩阵函数及专题讨论等．书中的许多算法都有现成的软件包实现，每节后附有习题，并有注释和大量参考文献．第4 版增加约四分之一内容，反映了近年来矩阵计算领域的飞速发展。
本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分析的坚实基础.在分析基础形式化系统下,给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明,这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等,基于实数的完备性定理,作为应用,进一步给出闭区间上连续函数的重要性质——有界性定理、最值定理、介值定理、一致连续性定理——的机器证明.另外,还给出张景中院士
内容简介： 本书分高等数学基础篇和高等数学提高篇两册 ， 基础篇主要包括高等数学基础知识点的讲解和相应的练习题 ， 起到温故知新的作用 ； 提高篇主要包括对高等数学综合性试题的分析和解答 ， 注重数学抽象思维的呈现 ， 以提高学生综合分析和解决问题的能力为目的 。
《数学名著译丛：普林斯顿数学指南（第1卷）》是由Fields奖得主T.Gowers主编、133位著名数学家共同参与撰写的大型文集，全书由288篇长篇论文和短篇条目构成，目的是对20世纪zui后一二十年纯粹数学的发展给出一个概览，以帮助青年数学家学习和研究其zui活跃的部分，这些论文和条目都可以独立阅读，原书有八个部分，除第1部分是一个简短的引论、第Ⅷ部分是全书的 终曲 以外，全书分为三大板块，核心是第Ⅳ部分 数学的各个分支 ，共26篇长文，介绍了20世纪zui后一二十年纯粹数学研究中zui重要的成果和zui活跃的领域，第Ⅲ部分 数学概念 和第V部分 定理与问题 都是为它服务的短条目，第二个板块是数学的历史，由第Ⅱ部分 现代数学的起源 （共7篇长文）和第Ⅵ部分 数学家传记 （96位数学家的短篇传记）组成，第三个板块是数学的应用，即第Ⅶ部分 数学
数学女孩 定价 42.00 出版社 人民邮电出版社 版次 1 出版时间 2015年12月 开本 32开 作者 [日]结城浩 装帧 平装 页数 327 字数 ISBN编码 9787115410351 内容简介 《数学女孩》以小说的形式展开，重点描述一群年轻人探寻数学中的美。内容由浅入深，数学讲解部分十分精妙，被称为 绝赞的初等数学科普书 。内容涉及数列和数学模型、斐波那契数列、卷积、调和数、泰勒展开、巴塞尔问题、分拆数等，非常适合对数学感兴趣的初高中生以及成人阅读。 作者简介 结城浩，日本技术作家和程序员。二十年来笔耕不辍，在编程语言、设计模式、数学、密码技术等领域，编写著作三十余本。代表作有《数学女孩》系列、《程序员的数学》等。 朱一飞
【全5册】吴文俊全集·数学机械化I+II+III+IV+V 定价 970.00 ISBN编码 9787508855547 【6号库】 吴文俊全集·数学机械化I 定价 188.00 出版社 科学出版社（中国） 出版时间 2019年06月 开本 B5 作者 吴文俊 页数 0 ISBN编码 9787508855509 内容介绍 本卷收录了吴文俊的MathematicsMechanization:MechanicalGeometryTheorem-Proving,MechanicalGeometryProblem-SolvingandPolynomialEquations-Solving一书.本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述.本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此
【全3册】数学建模算法与应用习题解答 数学建模算法与应用(第2版) 中文版MATLAB2018从入门到精通实战案例版 定价 170.80 ISBN编码 9787118103601 中文版MATLAB2018从入门到精通实战案例版 定价 89.80 出版社 中国水利水电出版社 出版时间 2018年08月 开本 16 作者 天工在线编著 页数 552 ISBN编码 9787517059875 内容介绍 《中文版MATLAB 2018从入门到精通（实战案例版）》以目前版本#新、功能#全面的MATLAB 2018软件为基础，详细介绍了MATLAB编程、MATLAB数据分析、MATLAB图像处理、MATLAB智能算法、MATLAB信号处理和Simulink仿真设计等内容，既是一本涉及数学计算和仿真分析的MATLAB教程，也是一本讲解清晰的包含402集同步微视频的MATLAB视频教程。 《中文版MATLAB 2018从入门到精通（实战案例版）》一书共包含21章，详细介绍了
本书是一部畅销欧美的数学手册，内容全面而丰富，涵盖：分析学，代数学，几何学，数学基础，变分法与优化，概率论与数理统计，计算数学与科学计算，数学史。书中收录有大量的无穷级数、特殊函数、积分、积分变换、数理统计以及物理学基本常数的表格；此外还附有极为丰富的重要数学文献目录。
《线性回归的相对有效性和估值漂移》根据作者多年从事测量数据处理的教学与研究工作成果撰写而成。《线性回归的相对有效性和估值漂移》讨论和确定了常用稳健估计方法的相对有效性，以及总体*小二乘法与*小二乘法、稳健总体*小二乘法与稳健*小二乘法线性回归在不同误差模型影响下的相对有效性；提出了参数估计方法线性回归估值漂移的概念，讨论了*小二乘法和总体*小二乘法线性回归估值漂移的相关问题，建立了判定估值漂移的基本方法；讨论了一元线性回归自变量的优化、可线性化的一元非线性回归中直接观测值与间接观测值回归的差异和总体*小二乘法验后方差因子的实用性。
本书介绍了多元统计分析的方法和理论，以及R语言计算，涵盖了经典多元统计分析的全部内容，包括：矩阵运算知识、数据可视化与R语言、多元正态分布、多元正态总体的抽样分布、多元正态分布的参数估计、置信域和假设检验、线性回归模型、多元多重回归分析、主成分分析、因子分析、判别分析、聚类分析和典型相关分析等内容，以及R语言的应用。本书除了重点介绍各种多元统计分析的思想、方法和理论外，使用R语言进行计算和数据可视化也是本书的特色，对书中所有的多元统计分析方法和理论都给出了R语言程序和应用，有大量翔实的应用案例可供参考，并配有相当数量的习题可供练习。《BR》本书取材新颖、内容丰富、阐述严谨、推导详尽、重点突出、思路清晰、深入浅出、富有启发性，便于教学与自学。
《高等数学引论2（英文版）Introduction to Advanced Mathematics（2）》 是我国著名数学家华罗庚在上世纪60年代编写的教材，曾在中国科学技术大学讲授。全书包含了微积分、高等代数、常微分方程、复变函数论等内容。全书反映了作者的 数学是一门有紧密内在联系的学问，应将大学数学系的基础课放在一起来讲 的教学思想，还包括了作者的 要埋有伏笔 、 生书熟讲，熟书生温 等教学技巧，书中还介绍了数学理论的不少应用。这使得本套书不同于许多现行的教科书，是一套有特色、高水平的高等数学教材。 《高等数学引论2（英文版）Introduction to Advanced Mathematics（2）》 册包括实数极限理论、微分和积分及其应用、级数理论、方程的近似解等内容、多元函数的微积分、多重级数理论、曲线及曲面、场论、Fourier级数、常微分方程组等内容；第二册主要介绍复变函数论的
《高等数学引论1（英文版）Introduction to Advanced Mathematics （1）》是我国著名数学家华罗庚在上世纪60年代编写的教材，曾在中国科学技术大学讲授。全书包含了微积分、高等代数、常微分方程、复变函数论等内容。全书反映了作者的 数学是一门有紧密内在联系的学问，应将大学数学系的基础课放在一起来讲 的教学思想，还包括了作者的 要埋有伏笔 、 生书熟讲，熟书生温 等教学技巧，书中还介绍了数学理论的不少应用。这使得本套书不同于许多现行的教科书，是一套有特色、高水平的高等数学教材。 《高等数学引论1（英文版）Introduction to Advanced Mathematics （1）》 册包括实数极限理论、微分和积分及其应用、级数理论、方程的近似解等内容、多元函数的微积分、多重级数理论、曲线及曲面、场论、Fourier级数、常微分方程组等内容；第二册主要介绍复变函数
本卷是这本《集合论导引》的开卷，分为三章，是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法，并给出典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合等。第2章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第3章专门引进实数集合并对它进行系统分析。本卷将建立一系列基本概念，为全书作铺垫。
【全4册】吴文俊全集 数学思想卷 数学史卷 附卷-回忆与纪念 博弈论、代数几何、图的平面嵌入卷 定价 602.00 ISBN编码 9787508855554 【6号库】 吴文俊全集 博弈论、代数几何、图的平面嵌入卷 定价 88.00 出版社 科学出版社（中国） 出版时间 2019年05月 开本 B5 作者 吴文俊 页数 0 ISBN编码 9787508855608 内容介绍 本书收录吴文俊发表的愽弈论、代数几何和图的平面嵌入等三个方面的论文。 《关于愽弈理论基本定理的一个注记》是中国博弈论研究的开山之作。《活动受限制的非协作对策》等两篇论文则包含了吴文俊对博弈论*重要的贡献──本质均衡概念的提出及其存在性证明。本质均衡是一类特殊的纳什均衡，吴文俊是能在早期就认识纳什理论的深刻意义并率先作出有生命力的贡献的少数数学家。
【全12册】好玩的数学乐在其中的数学 趣味数学演义趣味随机问题(修订版)张景中数学科普丛书七巧板真好玩数学原来可以这样学 定价 444.00 出版社 科学出版社（中国） 版次 出版时间 2015年03月 开本 16开 作者 孙荣恒 张景中 装帧 平装 页数 220 字数 200 ISBN编码 9787030435750 9787030435712 9787030435804 9787030435705 9787030435729 9787030435743 9787030435736 9787030435767 9787030435798 9787030435774 9787030435781 9787030556134
陶哲轩教你学数学 定价 39.00 出版社 人民邮电出版社 出版时间 2017年11月 开本 32开 作者 [澳]陶哲轩（Terence Tao） 页数 0 ISBN编码 9787115468949 内容简介 陶哲轩教你学数学 是天才数学家陶哲轩的第1本书，论述解决数学问题时会涉及的各种策略、方法，旨在激发青少年对数学的兴趣。书中涵盖的内容包括：数论、代数、分析、欧几里得几何、解析几何。 适合对数学感兴趣的青少年阅读。 作者简介 陶哲轩（Terence Tao）， 1975年出生，享誉世界的澳籍华裔天才数学家，智商超过220，被誉为 数学界的莫扎特 。12岁获得国际数学奥林匹克竞赛金 牌（这项纪录目前无人打破），2006年获得数学界的诺贝尔奖 菲尔兹奖，2007年当选英国皇 家学会会士。曾与本 格林合作解决了2300年前由欧几里得提
