现代数学基础丛书（典藏版 第1辑 套装共50册）

立足基础，反映前沿，在学术界形成广泛影响 研究生奉为经教材，青年学者视为良师益友 二百余位超一流作者，精心编撰铸就学术经典 超豪华的编委会阵容，精挑细选凝聚数学华章 数理逻辑是研究推理，特别是研究数学中的推理的科学，本书陈述数理逻辑的基础性知识，包括逻辑演算（这里是指命题逻辑和一阶谓词逻辑）的基本内容，这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础。 数理逻辑的思想可以溯源到莱布尼兹D，而命题逻辑和一阶谓词逻辑的研究则从弗雷格开始。以后，经过皮尔斯，施罗德，皮亚诺，怀德海与罗素，勒文海姆，斯柯伦等的研究，特别是经过了希尔伯特与阿克曼、贝尔奈斯的研究和整理，谓词逻辑的体系得以形成；而在哥德尔证明了一阶逻辑的完全性定理之后，这个逻辑演算的体系可以说是最后得到完成， 逻辑演算是反映前提和结论之间的推理关系的形式系统。在数理逻辑的历史发展中，构造了逻辑演算的重言式系统。在重言式系统中，以某些形式公理和形式推理规则刻划重言式的全体，以重言式反映推理关系。

数理逻辑基础（上册） 数理逻辑基础（下册） 紧黎曼曲面引论 组合论（上册） 组合论（下册） 数理统计 多元统计分析引论 有限群构造（上册） 有限群构造（下册） 测度论基础 分析概率论 微分方程定性理论 傅里叶积分算子理论及其应用 辛几何引论 概率论基础和随机过程 算子代数 线性偏微分算子引论（上册） 线性偏微分算子引论（下册） 实用微分几何引论 微分动力系统原理 线性代数群表示导论（上册） 模型论基础 递归论 拟共形映射及其在黎曼曲面论中的应甩 代数体函数与常微分方程 同调代数 近代调和分析方法及其应用 带有时滞的动力系统的运动稳定性 代数拓扑与示性类 非线性发展方程 仿微分算子引论 公理集合论导引 解析数论基础 二阶椭圆型方程与椭圆型方程组 黎曼曲面 复变函数逼近论 Banach代数 随机点过程及其应用 丢番图逼近引论 线性整数规划的数学基础 单复变函数论中的几个论题 复解析动力系统 组合矩阵论（第2版） Banach空间中的非线性逼近理论 实分析导论 对称性分岔理论基础 Gel'fond-Bakar方法在丢番图方程中的应用 随机模型的密度演化方法 非线性偏微分复方程 复合算子理论

暂无相关内容，正在全力查找中

暂无其它内容！

暂时还没有人为这本书评论！