树和偏序理论的模型论研究 【数理化】

本书主要介绍树和偏序理论模型论研究的最新成果，包括带根节点的有向树、无向树理论，以及有最小元的树形偏序理论的量词消去及相关模型论性质。全书共分六章。第一章介绍一阶逻辑的预备知识；第二章介绍量词消去...

科学技术研究报告 催化波的理论和在超纯分析中的应用 【数理化】

研究生教材 高等光学教程：光学的基本电磁理论 【数理化】

本书以光的电磁理论为基础，系统地介绍了光学的基本概念和基本知识，其内容涉及到干涉和衍射的基本原理、薄膜光学、光的相干性理论、傅里叶光学和晶体光学 。本书理论分析深刻，内容涉及面广，可供需要深入学习经...

多值逻辑函数结构理论研究 【数理化】

本书总结和概括了作者及其导师在国家自然科学基金等资助下，近20年来从事多值逻辑理论研究的主要成果。全书较系统地介绍了完全和部分多值逻辑函数的结构理论；较详细地介绍了部分多值逻辑中Sheffer函数的判定...

国外气相色谱分析方法选辑 【数理化】

国外断裂力学试验方法汇编 【数理化】

组合设计理论与编码理论 【数理化】

本书对组合设计和编码的基本概念、方法和理论作了比较简单的介绍，并介绍了组合设计和编码的联系。

国外航空技术 断裂力学实验技术 【数理化】

区间数理论的研究及其应用 【数理化】

由于人们使用不确定性数学方法描述不确定性问题时：一方面、由于测量、计算所带来的数据误差，以及信息不完全带来的数据不完全，表示特征行为的原始数据往往不是一个确定的数，而是一些区间数；另一方面，人们对事物.....

国外耐高温聚合物 【数理化】