理化测试. I.pdf
本书依据《高等学校化学类专业指导性专业规范》并基于一级学科平台、以“方法”为中心的实验教学思路编写，内容涉及传统分析化学的常规定量分析和仪器分析两方面，教学基本要求是让学生树立“量”的观念。
理化
铈铁复合氧化物的理化性质及其催化应用.pdf
本书系统介绍了铈铁复合氧化物的物理化学特征，重点讨论了铈基掺铁固溶体的形成规律与高温结构演化行为，考察了铈铁复合材料（铈基和铁基）的结构特点、还原性能、储氧能力、热稳定性和高温氧化—还原循环行为以及材料在循环过程的宏观和微观结构演变规律等。利用丙烯燃烧（气-气催化反应）和甲烷化学
公理化集合论机器证明系统.pdf
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或