锝的性质和应用论文集 【数理化】

数理逻辑的思想和方法 【数理化】

本书系统地讲解了数理逻辑的思想与方法

空间、时间和运动着的物质 【数理化】

配位化合物的结构和性质 【数理化】

高等代数理论与应用 【数理化】

高等代数是代数学发展到高级阶段的总称，主要包括线性代数和多项式两部分内容，线性代数主要讨论行列式、矩阵、向量、线性方程组、线性空间、线性变换、欧氏空间、二次型等；而多项式理论主要是利用代数方法和解...

随机模型检测理论与应用 【数理化】

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

巴拿赫代数在算子理论中的应用 【数理化】

线性微分方程的伽罗瓦理论 【数理化】

本书主要论述了线性微分方程的理论知识，包括代数理论、尤其是微分伽罗瓦理论、线性微分方程中的反问题等内容。

有机化学中化学结构理论的状况 【数理化】

理论物理学中的近似方法 【数理化】

本书综合介绍了在量子力学、量子场论和统计力学中几种典型的、较普遍和有效的近似方法。