本书集于康托尔的数学,特别是他的集合论和超穷数理论创立的背景、发展的考察上,但这既不是一部传记,也不是某一思想的历史,这里并不打算只是列出一张关于人名、时间和数学定理的清单,而试图记录一个不平凡的智力活动的主脉,并在某种程度上作出一些心理动力学的分析,以此表明一个新理论如何产生,为什么会产生,它所面临的问题,以及最终为

本书介绍了数学证明的由来、数学证明的功用以及欧拉的七桥问题、刘徽的一题多证、四色问题等相关问题的证明与理解,以此表明数学证明数学种是一种怎样的思维活动。首先,这本书没有教读者怎样去证明数学定理,或者是证明数学定理有什么诀窍,我假定读者已经做过不少数学证明,对证明这项数学活动有一定程度的认识。其次,这本书也没有从逻辑的角

数学建模与数学软件应用

《MATLAB数学建模方法与应用》主要介绍常用数学建模方法及其MATLAB实现与应用，内容包括MATLAB数组运算、程序设计、绘图、数据管理、符号计算、数值计算、多项式与插值拟合、常用统计及优化建模方法与MATLAB求解、人工神经网络方法、排队论方法、以层次分析法和模糊评价法为代表的多指标综合评价方法、MATLAB图像

逻辑迷宫

数学模型在金融学中的应用非常广泛，像股票、期货、外汇市场的走势和技术分析，很多技术指标都离不开数学模型。数学给经济界带来新的视角、新的观念，抽象的数学工具一旦准确的切入金融市场，就显得非常实用和有价值。Darcy-Stokes问题是一类具有很强应用背景的数学模型，在很多领域都有着广泛的应用，例如金融模型等。由于Darc

本书将大数据与数学建模相结合，探寻促进我国高校数学建模课程创新的对策，对高校数学建模课程优化路径实践的必要性进行了深入探讨，以发展的眼光透视高校数学建模课程体系的发展，为高等教育改革奠定理论基础。

本书首先针对具有简单Python编程基础知识或零基础的学生,从软件安装、环境设置、基础语法和简单程序入手,帮助学生学会Python编程。其次,本书深入浅出地介绍了解微分方程、数据插值与拟合、最优化技术、图论、规划问题、判别分析、聚类分析、回归分析、时间序列分析,以及机器学习中常见的分类预测算法等常用的数学建模方法。针对

本书采用案例与算法程序相结合的方法，逐步引导读者深入挖掘实际问题背后的数学问题及求解方法。书中案例丰富，分析计算中巧妙结合MATLAB等软件工具，采用不太算法进行模型求解，有助于提高学生的问题求解能力。 本书可作为高等院校在校研究生、本科生及专科生数学建模课程的参考书，也可以作为全国大学生数学建模竞赛、美国大学生数学建

数理逻辑系统是形式语言、形式语义和证明的三位一体。《数理逻辑引论：计算机科学与系统的天然基础》讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、