算术基础 对于数这个概念的一种逻辑数学的研究 【数理化】

本书德国著名哲学家弗雷格的一部探讨数理逻辑的哲学著作。

交互式马尔可夫链 并发系统的设计、验证与评价 【数理化】

本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...

离散动力系统的分叉与混沌 叠映射的全局分析方法 【数理化】

本书主要介绍一维和二维离散动力系统的定性分析方法：将离散动力系统表示为不可逆叠映射，介绍应用关键流形方法研究它们的全局性质和分岔的理论和方法。将离散动力系统表示为分母零叠映射，介绍应用无定义流形、...

悖论、逻辑与非Cantor集合论 【数理化】

本书共分为两编13章，介绍了关于悖论、逻辑与非Cantor集合论的相关内容，给出了正集和反集的概念，阐述了域外项的逻辑性质，重构ZF公理系统，给出了一般集合的递归性与“停机问题”。本书适合于从事悖论、逻辑与非Ca...

集论与逻辑 面向计算机科学 【数理化】

21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...

训练逻辑思维的100道趣题 【数理化】

本书收集了训练逻辑思维的100道智力趣题，包括逻辑推理、逻辑排序、逻辑归类等各个方面，并附有答案可供广大青少年及数学、逻辑方面的爱好者阅读。...

理论流体力学的逻辑自洽化分析 源于“湍流”的哲学和数学思考 【数理化】

我怎么没想到 提高逻辑推理能力的思维名题 【数理化】

量子逻辑门与量子退相干 【数理化】

量子信息是量子力学、信息科学和计算机科学结合成的新领域。本专著研究量子信息中量子逻辑门与量子退相干及其相关问题。每一章节均以专题进行探讨。主要内容包括：量子信息中的基本问题（量子计算的量子力学原...

动力系统的定性与分支理论 【数理化】

动力系统理论以确定的随时间演变的系统的大范围动力学性态为研究内容，它在物理、力学、化学、生物和经济等许多学科中具有广泛的应用，受到国际上的广泛重视． 本书包括由常微分方程组和点射所确定的动力系统...