扫一扫
关注中图网
官方微博
-
滨海矿山深部开采环境与岩层控制/土木工程科技创新与发展研究前沿丛书
¥51.0(7.5折)定价:¥68.0深部开采是我国矿产资源开发面临的迫切问题，也是今后保证我国矿产资源供给的主要途径。深部高应力、高渗透压、高温等特殊开采环境，对深部矿产资源开发提出了严峻的挑战。结合山东黄金三山岛金矿滨海矿山深部开采岩石力学与岩层控制工作，全面梳理了深部开采面临的特殊开采环境，系统介绍了基于岩石力学试验、原岩应力测试、岩体质量调查等基础岩石力学工作的开采扰动灾害防控理论与方法。主要内容包括深部地应力测量理论与方法、深部岩体结构面智能识别与质量评价、深部
-
结构证明论(第二版)
¥67.6(7.6折)定价:¥89.0结构证明论既是研究逻辑性质的方法，也是逻辑研究的组成部分，通过在系统内进行推导搜索，穷尽满足特定条件的所有可能推导，就可判定给定的句法对象是否可证。本书共8章，首先介绍了结构证明论的发展历史，然后在此基础上介绍了经典逻辑和直觉主义逻辑的自然演绎和矢列演算，运用证明论研究方法，通过分析证明的结构得到一些逻辑性质，如子公式性质、可判定性、插值性质等。另外，本书还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论...
