数理逻辑

本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...

安全系统中的多模态生物特征识别与智能图像处理

现代数学基础丛书 数理逻辑基础 上

复杂晶体化学键的介电理论及其应用

本书详细的阐述了介电描述的晶体化学键理论和方法，特别是复杂晶体化学键的介电理论方法为研究复杂体系的性质开辟了一种新途径。书中利用该理论方法不仅计算了大量的复杂晶体的化学键参数，还展示了应用于非线...

现代张量分析及其在连续介质力学中的应用

本书提供张量分析的主要知识体系以及在连续介质力学中的相关应用。知识体系方面，主要包括张量代数性质，Euclid空间以及曲面（Riemann流形）上张量场场论，张量映照微分学。应用方面，主要包括作者近期发展的当前物理...

等离子体动力学及其在太阳物理中的应用

本书首先归纳了等离子体物理的基本概念，根据太阳物理深入发展的需求，侧重介绍了等离子体动力学理论框架的建立，及其与磁流体力学基本方程的关系。系统推导了等离子体动力学的线性理论（色散关系和微观不稳定性），.....

数理逻辑

本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...

高等院校文科试用教材 数理逻辑讲义

离散数学导论 数理逻辑·集合·关系部分

本书内容包括数理逻辑，集合论，二元关系三部分。

数学理论与教育实践

本书分三个部分，分别为：数学教育，基础数学，应用数学。在数学教育部分，介绍了佤族传统生活中的数学文化，蕴含着许多数学知识。从佤族的计算方法、服饰比例结构、度量衡、几何知识应用等方面进一步挖掘，探索佤族......