四川省铁矿成矿规律.pdf 本书对四川省11个典型铁矿矿床式成矿规律进行了研究和总结。重点突出各类型铁矿床的共同特征、关键成矿地质条件,编绘了各典型铁矿类型的成矿模式图,为寻找同类型铁矿床提供了理论基础。 叁号仓库 2022年07月16日 0 点赞 0 评论 9383 浏览
数理逻辑基础 | 下册.pdf 本书陈述数理逻辑的基础知识,包括逻辑演算的基本内容.这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础. 本书共六部分,分上、下两册.下册包括第三、四、五章和两个附录.第三章陈述逻辑演算的重言式系统,并研究自然推理系统和重言式系 叁号仓库 2022年07月20日 0 点赞 0 评论 6747 浏览
四川省成矿区带划分及区域成矿规律.pdf 本书在简要分析研究Ⅲ级成矿区带地质构造环境及其演化的基础上,探讨四川省铁、铝、铜、铅、锌、金、银、磷、稀土、锡、镍、锂、硫、锰、钾、硼、钼、铂、石墨、芒硝、煤等21个矿种(组)矿产时-空演化规律及其受控因素;划分了矿床成矿系列及亚系列,首次编制了各Ⅲ级成矿区带的区域成矿模式图和区 叁号仓库 2022年07月16日 0 点赞 0 评论 6664 浏览
数理逻辑基础 | 上册.pdf 本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容.这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础. 本书共六部分,分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质,逻辑演算的大概内容,以及阅读以后各章所需要 叁号仓库 2022年07月20日 0 点赞 0 评论 5910 浏览
胡世华文集.pdf 本书内容主要有三个领域:逻辑演算、递归函数论、科学哲学,共收入58篇文章,文集编进了多篇多值逻辑、递归函数论的文章,还有论述数理逻辑对计算机发展的重要作用以及这两学科间的关系的文章。 叁号仓库 2022年07月20日 0 点赞 0 评论 3369 浏览
四川省地质构造与成矿.pdf 本书全面收集整理区域地质调查与研究资料,深入分析控制区域成矿的建造和构造要素(地质构造预测要素),系统解析和深入研究沉积岩区、火山岩区、侵入岩区、变质岩区地质构造特征,以及大型变形构造和综合地质构造特征。通过编制专题图件,对模型区与预测区进行成矿地质背景的区域关联,为建立区域成矿 叁号仓库 2022年07月14日 0 点赞 0 评论 1248 浏览