学术报告会论文选 23P阶群的构造 P为奇质数

有限p群构造 上

本书主要介绍国内群论工作者在有限p群研究领域的主要成果，特别是在p群正规结构方面的成果.全书分十四章.第一章为预备知识，第二、三章为基本方法介绍，第四章为中国学者早期在p群领域的主要工作，第五至十二章为p...

有限p群构造 下

本书主要介绍国内群论工作者在有限p群研究领域的主要成果，特别是在p群正规结构方面的成果.全书分十四章.第一章为预备知识，第二、三章为基本方法介绍，第四章为中国学者早期在p群领域的主要工作，第五至十二章为p...

函数构造的理论与应用 谢庭藩文集

本书共分成六个部分，主要研究的是用有限差的积分代替连续性模来给出Fourier级数绝对收敛的条件；Fouriei和Vall6ePoussin和以及Euler和对函数的逼近；多项式、逐段多项式以及插值多项武对函数的逼近，并系统综述了...

有机物构造式化学信息求索

本书以价键理论和电子效应为主线，以结构决定性质为核心，充分利用题目提供的化学信息（分子量、分子式、特征反应、相关化学反应等）进行综合分析，从而得出符合题意要求、合理的分子构造式。书中对于各类有机分子构...

高等学校试用教材 普通化学 地质类专业

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

高等数学 供地质系、化学系用

子流形基本对称张量泛函构造与变分

第二基本型是刻画子流形最核心的张量系统，本书利用基本的张量组合原理，从第二基本型出发构造了多种类型的基本对称张量，从代数意义上定义了多种新型子流形。同时，以基本对称张量为依据，构造了多类型的抽象泛函，.....

苏联地质局光谱实验室工作经验