本书重点介绍离散结构的构造、性质及其相关推理证明方法，面向计算机的现代数学观点与方法。全书从表达、理论、工程应用几个层面设计主要内容，注重培养学生的抽象思维能力、逻辑推理能力，注重将数理逻辑、集合论、组合计数、抽象代数以及图论的发展历程中的相关思想、方法融入有关问题的探讨过程中，引导学生应用有关离散结构表达计算机科学相

本书阐述了同位素地球化学的基本知识，稳定同位素分馏的基本理论，放射性同位素衰变理论；依据环境同位素的示踪和定年两个主要功能，对全球水循环过程中环境同位素的组成、分馏机理及其时空演化规律进行讲解和论述；阐述环境同位素方法和人工同位素示踪方法的原理，讲解其在水文地质、环境地质、生态水文、工程地质等中的应用等。

本书侧重于地球物理方法原理及资料一般解释方法介绍。对于理论公式的推导，野外具体操作方法以及仪器的介绍等内容。教材内容以地震勘探、电法勘探两种方法为重点，其他方法包括成熟的常规物探方法(如重力勘探、磁法勘探等)及某些新方法新技术，也一并编入。为了培养学生具有分析各种物探资料的能力，挑选了部分典型实例及物探曲线、图件，供讲

本书共分七章，主要内容包括：职能定位与业务团队建设；践行总体国家安全观支撑国家能源资源安全；精心服务生态文明建设和自然资源管理中心工作；基础地质理论创新与装备能力建设；华北地质科技创新中心“火车头”牵引作用显现等。

本书依托“山东省文登-荣成-威海地区深部地热资源调查项目”和“松科2井”科学钻探工程，对高温地热勘探和开发的系列瓶颈问题和关键技术展开了系统的研究，归纳了高温深部钻探的关键技术。以文登-荣成-威海地区深部地热勘探工程为借鉴经验，为深部小口径高温地热勘探提供典型案例。在资源调查项目的基础上，对高温地热勘探和开发的系列瓶颈

机械制造生产实习与课程设计是机械设计、制造及其自动化专业教学计划中安排的一个重要实践性教学环节，是毕业实习和毕业设计之前的一次练兵，综合性、实践性都很强，是对前期所需专业知识的一个总结和运用。本书主要介绍典型零件加工工艺，装配工艺以及先进制造技术，课程设计内容及其步骤和任务，生产实习和课程设计的目的是使学生了解和掌握机

本书是在原有教材和实验教学经验的基础上，通过参阅、借鉴大量相关专业的教材、专著、文献及标准，经广泛征求意见，并结合专业特点编著而成，共由6章和附录组成。第一章主要介绍对地表水和地下水进行水化学分析的目的与意义、分类方法，以及常用的水质指标和水质标准；第二章着重介绍水分析实验涉及的基本知识，特别是实验操作中常出错的环节，

《地球的过去与未来》是同名国家精品视频公开课（2013年上线）的纸质升级扩展版教材兼科普读物，由绪论（第一章）、总论（第二、三章）、分论（第四章至第八章）和结束语（第九章）4个部分构成，全书包含274幅插图（其中彩图246幅）、26个表、190个知识点、75道思考题。本书集科学性、系统性、通俗性和趣味性于一体，试图实现

本书将从地学科普的视角、主要以图片的形式展示大别山世界地质公园内各类景观的典型性、完整性、系统性、稀有性和优美性。全面展示黄冈大别山地质公园自2018年成为世界地质公园后的建设和发展历程。

全书分为7章，主要内容包括：桩基工程、地基处理工程、地下连续墙工程、锚固工程、深基坑工程、托换工程等方面的施工与监测技术。本书既强调基础施，工的基本概念、基本原理和基本方法，同时也选取现代基础工程的典型案例分析介绍，反映现代基础工程信息化施工的新特点。