作为哲学的数理逻辑

作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者自上世纪中叶以来逐渐分道扬镳。本书将展示分析哲学与数理逻辑在它们的“蜜月期”中共同取得的重要成...

康托的无穷的数学和哲学

乔治·康托——超穷集合论的创立者，是数学史上最富于想象力，也是最有争议的人物之一。超穷集合论的创立最终使数学家依据对于数学性质的一般观点，以及对于无穷的特殊见解分裂成为敌对的阵营，多少年来，康托的名字...

“十二五”规划教材 运筹学教程 第5版

本书由国内著名高校长期从事运筹学教学的教师集体编写而成，系统地讲述了线性规划、目标规划、整数规划、动态规划、图与网络分析、排队论、存贮论、对策论、决策论的基本概念、理论、方法和模型，以及数据包络...

普通高等教育十二五规划教材 高等几何

本教材介绍射影平面、射影变换、变换群与几何学、二次曲线的射影理论、射影几何在初等几何中的应用。本书特色有：（1）内容简单明了，由浅入深，适合作为大学本科生的高等几何（或射影几何）课程的教材。（2）强调高......

原子和原子核 物理学中的方法、性质和哲学

21世纪高等学校规划教材 高等数学 少学时

本文是在作者多年教学的基础上编写而成的,全书共7章,主要包括极限与函数的连续性、微分学、积分学及应用、无穷级数、常微分方程及应用、多元函数的微分学和多元函数的积分学。本书讲述严谨，由浅入深，全书以...

高等教育“十二五”规划教材 微型有机化学实验

本书内容包括：有机化学实验基础知识介绍、基本操作技能训练、23个典型有机化合物的制备或提取分离及1个综合性实验、7个设计性实验。实验方法以常规合成为主，辅以微波合成和超声波合成。在书后附录中常用有机...

普通高等院校计算机类专业规划教材 离散数学

本教材含四部分：第一部分数理逻辑（包括第1章命题逻辑和第2章谓词逻辑）；第二部分集合论（包括第3章集合和第4章二元关系和函数）；第三部分图论（包括第5章图的基本概念、第6章特殊的图和第7章树）和第四部分代数系......

高等学校计算机应用规划教材 计算方法及其应用

本书覆盖了计算方法最基本的内容，包括插值与拟合、数值微分和数值积分、常微分方程的数值求解方法，非线性方程求根，求解线性方程组的直接法与迭代法，特征值和特征向量的数值方法。此外，每一章的最后给出数值实验...

牛顿力学横向研究：纪念《自然哲学之数学原理》发表300年 1687-1987