超越KAM理论的哈密顿混沌 国内英文版 【数理化】

本书介绍了在非线性哈密顿系统中哈密顿混沌的理论及应用。

超越爱因斯坦 关于世界理论的宇宙探秘 【数理化】

本书引导科学家进入当今理论物理学最新的前景--超弦理论。这一理论使人们最终计算爱因斯坦理论的量子修正，从而彻底地回答了这些问题。

数学哲学新论 超越现代性的发展 【数理化】

本书以研究视角的选取和研究方法的开拓分析数学哲学理论重构，就如何构建有利于数学长足进步并适宜于数学新的知识特点的数学哲学理论体系进行自己的研究性回答。在重新审视数学从古希腊到20世纪以来的哲学思...

数理逻辑基础 一阶逻辑与一阶理论 【数理化】

本书介绍数理逻辑的基础部分。

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

物理学发展中的唯物主义与唯心主义的斗争 【数理化】

数学无穷与中介的逻辑基础 【数理化】

本书内容分为两篇，共5章。第一篇讨论经典与非经典数学的理论基础问题。分两章陈述，其中第一章研讨精确性经典数学的理论基础问题。其中包括：（1）如何在现代意义下正确理解逻辑数学悖论这个概念的内涵，（2）数学三......

集合与逻辑代数初步 【数理化】

集合与简易逻辑 【数理化】

集合与逻辑代数 【数理化】