胡世华

四川省地质构造与成矿.pdf

本书全面收集整理区域地质调查与研究资料,深入分析控制区域成矿的建造和构造要素(地质构造预测要素),系统解析和深入研究沉积岩区、火山岩区、侵入岩区、变质岩区地质构造特征,以及大型变形构造和综合地质构造特征。通过编制专题图件,对模型区与预测区进行成矿地质背景的区域关联,为建立区域成矿

胡世华文集.pdf

本书内容主要有三个领域:逻辑演算、递归函数论、科学哲学,共收入58篇文章,文集编进了多篇多值逻辑、递归函数论的文章,还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章。

数理逻辑基础 | 上册.pdf

本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容.这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础. 本书共六部分,分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质,逻辑演算的大概内容,以及阅读以后各章所需要

四川省成矿区带划分及区域成矿规律.pdf

本书在简要分析研究Ⅲ级成矿区带地质构造环境及其演化的基础上,探讨四川省铁、铝、铜、铅、锌、金、银、磷、稀土、锡、镍、锂、硫、锰、钾、硼、钼、铂、石墨、芒硝、煤等21个矿种(组)矿产时-空演化规律及其受控因素;划分了矿床成矿系列及亚系列,首次编制了各Ⅲ级成矿区带的区域成矿模式图和区

数理逻辑基础 | 下册.pdf

本书陈述数理逻辑的基础知识,包括逻辑演算的基本内容.这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础. 本书共六部分,分上、下两册.下册包括第三、四、五章和两个附录.第三章陈述逻辑演算的重言式系统,并研究自然推理系统和重言式系

四川省铁矿成矿规律.pdf

本书对四川省11个典型铁矿矿床式成矿规律进行了研究和总结。重点突出各类型铁矿床的共同特征、关键成矿地质条件,编绘了各典型铁矿类型的成矿模式图,为寻找同类型铁矿床提供了理论基础。