证明是数学思想中最重要，也是极具开拓性的特征之一。没有证明，就无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明，什么问题可以（或无法）被解决，为数学研究和发展打开全新的视角。
本书是吉林大学“十二五”规划教材。本书是在 2006 年出版的《专门水文地质学》（第三版）的基础上修编而成的。全书除绪言外，共分十七章，包括地下水调查的技术方法，地下水资源质量和数量评价，地下水资源的开发利用、管理和保护的方法和措施，矿床涌水量预测的特点及方法实例等。编者对原书内容进行了删改，部分内容进行了更新，补充了一些最新研究成果。本次修订增加了水文地质应用领域的新内容，包括环境水文地质、能源水文地质、地震水文地质等。
本书为线性代数入门的科普读物，书中以“如何理解线性代数”“如何理解矩阵的基础概念与计算方法”为线索，用漫画故事生动呈现了线性代数初学者的学习历程。作者从学习者的角度出发，结合生活例子讲解了线性代数中的基础概念及实际应用意义，解答了初学者在的常见困惑。本书讲解直观、通俗，适合作为正式学习线性代数前的入门读本，也适合作为了解线性代数原理的科普读物。
《地质钻探手册》为“十二五”国家重点图书出版规划项目， 120万字。本书是一部全面介绍和反映我国岩心钻探领域理论、技术、工艺、设备、材料和标准等的技术手册。由该领域专家结合当前钻探技术理论研究和实践经验，对国内外岩心钻探进行全面的总结，融会贯通于各个章节之中，反映先进、实用的成果资料，展示可靠、成熟的经验数据，汇集*、全的技术标准，以反映我国的钻探现状及发展为主，兼论国外有关成果的*应用及进展。 手册分为19章，章基本概念及术语；第二章岩石钻进特性与碎岩机理；第三章地质钻探设备；第四章管材与钻具；第五章钻头与扩孔器；第六章金刚石与硬质合金钻进；第七章绳索取心钻进；第八章取心技术；第九章孔底动力钻进；第十章空气钻进；第十一章钻孔弯曲与测量；第十二章定向钻进；第十三章钻孔冲洗；第十
莱昂哈德·欧拉的多面体公式V-E+F=2被数学家们誉为第二优美的数学定理。从足球和宝石到美妙的穹顶建筑，这一公式描述了许多物体的结构。本书围绕欧拉多面体公式及其数学思想，从古希腊数学讲起，直到当代拓扑学的前沿研究，介绍了这一公式的发现及其对拓扑学研究的深远影响。书中包括丰富的插图与例子，展示了多面体公式的许多优雅而出人意料的应用，例如说明为什么地球上总有一些无风的地方，如何通过数树来测量林地的面积，以及为任何地图涂色需要多少支蜡笔，等等。在书中，读者将看到一群质疑、完善多面体公式和为这个非凡定理的发展做出贡献的杰出数学家，在数学史的长河中，他们都多面体的研究和拓扑学的发展做出了自己的贡献。 本书适合对数学，尤其是拓扑学及数学史感兴趣的读者阅读。
本书从科学探索的角度和物理学原理出发，详细介绍了气象学的基本概念和原理：地球主要组成圈层、大气组成、物理性质、空间结构、要素变化；大气运动各种过程的物理原因；地球上各种天气和气候现象、形形色色的云和降水的形成原因；气压和风、气团、气旋和锋面天气的形成；强对流、雷暴、龙卷风和飓风（台风）等灾害性天气；人工影响天气的各种途径、天气分析和预报的方法、卫星在天气预报中的应用；空气污染及其原因；气候变化与气候系统、人类对全球气候的影响、全球变暖的可能后果、世界气候和气候分类及大气中各种奇特的光学现象和形成的原理等。全书内容丰富、概念清楚、深入浅出、图文并茂，可读性强。 本书可作为对气象学感兴趣的人们学习了解大气变化奥秘的入门读物，也可作为高等院校非大气科学专业学生的通识课程参考教材，
《中国地质学史二种》集合叶良辅著《地质学小史》、章鸿钊著《中国地质学发展小史》两种。《地质学小史》作为中国最早的地质学家之一，为读者勾勒地质学发展脉络，颇具学术价值和历史价值。《中国地质学发展小史》一书专门论述了“中国地质学界之教育事业”，记述了民国以来中国地质教育的简况。
本书以优美的文字和高技术微观摄影、热成像摄影，从泛散星光的气泡，剔透、冷峻甚至桀骜的晶体与枝晶，幻化形态的沉淀和电反应，异彩纷呈的火焰与花朵，可视世界之外的热反应，宛如生命生长的化学花园，实验及自然界中的分形图案等十个方面，呈现对物质及化学世界的探索之乐及其视觉之美，为读者带来眼前一亮的惊叹体验。
黑洞是空间和时间中引力、量子物理学和热力学定律碰撞的地方。在这本备受期待的开创性新书中，布莱恩·考克斯教授和杰夫·福修教授将带你深入了解与黑洞有关的一切，这是一场跨越了一个世纪的物理学前沿研究之旅，从爱因斯坦到霍金等人，作者最终得出了一个惊人的结论:我们的世界可能像一台巨大的量子计算机一样运行。这也是21世纪的时间简史。作者以“黑洞”为透镜，串联起100多年人类对时间和空间本质的理解和探求。这本书用清晰易懂的语言、极具生活化的比喻生动讲述了物理学和时空探索领域最热门的话题（黑洞、引力波、量子信息等等），将为新一代重新定义时间和空间。在银河系的中心有一个致命的怪物，连光都逃不过它的魔爪，它的秘密等待着你发现……
本书在跟踪可靠性研究前沿的基础上，以航空、航天与民航为背景，结合数理统计和工程设计原理，系统地阐述了可靠性理论与工程应用方法。全书包括可靠性基本概念、可靠性统计原理、可靠性建模方法、复杂系统可靠性分析方法、关联系统可靠性原理、面向过程的系统可靠性、可靠性预计与分配、机械可靠性设计原理、制造过程可靠性分析、可靠性试验与评定、可靠性物理与失效分析、基于大数据的可靠性分析、网络可靠性评估方法、民用飞机安全风险评估与管理等，给出了近年来在航空、航天与民航领域成功应用的典型可靠性工程案例。 本书可供从事机械和电子产品可靠性设计、制造、试验和管理的工程技术人员使用和参考，也可作为高等工科院校机械、电子、自动化、航空、航天、民航、船舶等相关专业高年级本科生、硕士和博士研究生的教材和教学参
本书是为高等院校土木工程专业学生学习工程地质课程编写的主修教材，现为《土木工程地质》（第三版），在沿袭多年原版本教材内容的基础上做了较大幅度修订。全书共分四部分，部分为基础地质部分；第二部分为普通工程地质部分；第三部分为土木工程中的主要地质问题；第四部分介绍了工程地质勘察的一般原则和方法。本书编写注重工程地质原理和土木工程紧密结合，吸收了本学科近年发展的新理论、新技术和新方法，内容丰富，文字简洁，实用性强。
《多普勒天气雷达原理与业务应用(精)》由俞小鼎、姚秀萍、熊廷南、周小刚、吴洪等所著，深入浅出地介绍了多普勒天气雷达的基本原理，详细阐述了多普勒天气雷达在探测和预警冰雹、龙卷、灾害性大风、短时暴雨、暴洪等强对流天气和雨量估计方面的业务应用。全书共分8章。第一到第四章是多普勒天气雷达的基本知识部分，第五和第六章详细介绍了强对流天气系统的雷达探测和强对流天气的预警。第七章介绍了各种雷达产品和相应的算法。第八章描述了多普勒天气雷达在一些实际的强对流或强降水个例中的应用。书中使用了300多幅业务多普勒天气雷达的彩色回波图，使叙述更加生动翔实。 《多普勒天气雷达原理与业务应用(精)》可作为气象部门短期和短时预报员的培训教材，也可作为大气科学方向本科生和研究生的教学参考书，也可供从事气象和水文的科
本书在系统总结中东碳酸盐岩油（气）藏构造、沉积、石油系统和油气资源分布等基本地质特征的基础，详细分析了阿拉伯盆地、扎格罗斯盆地和阿曼盆地的含油气系统特征，解剖了这三大盆地43个典型碳酸盐岩油（气）藏的构造和圈闭特征、地层层序特征、沉积相分布特征、油（气）储层结构及其属性特征，描述了这些典型碳酸盐岩油（气）藏的勘探开发历程和产出动态特征。
本书根据近期新的《重大危险源监督管理规定》等相关法规编写，在概述重大危险源的基础上，对重大危险源的辨识及分类、重大危险源的评估分级和安全评估等内容作了介绍，并结合实例对常用重大危险源风险评估方法和重大危险源控制与安全监管进行探讨，最后给出如何编写重大危险源安全评估报告，并汇集若干评价报告模板和近期新的相关安全评价法律、法规和标准。 本书既有对当前世界各国的重大危险源安全管理现状介绍，又有对我国的安全管理的理论分析，内容新颖，举例丰富，可供安全评价人员、各级政府安全监管人员、企事业单位安全管理人员参考，也可作为高等院校相关专业研究和教学用书。
第四纪冰川研究在地球科学中占有重要的地位， 因为人类正生活在业已延续二百多万年的第四纪中，冰期与间冰期旋回是第四纪基本的气候特征，其变幅之大、频率之高、影响之深远远超出我们大多数人的想象。气候变化影响到人类的生存与发展，而且在地球环境的各个方面都留下了深深的印记。从20世纪90年代至今，随着可对冰川地形进行直接定年的测年技术的发展与应用，第四纪冰川研究已进入了以技术定年为特征的新阶段。无论在中国还是在国际上，第四纪冰川与环境变化的新发现都层出不穷， 已有的理论与观点被不断改进。近年来， 中外学者应用多种测年技术对青藏高原及其周边山地的第四纪冰川遗迹进行了综合定年，取得了许多新的研究成果。为了让更多的学者了解近几年 中国第四纪冰川研究的新进展，我们对这些新的研究成果进行系统的总结与
本书是《量子科学出版工程》平装本。理论物理学家汪克林先生多年对量子科学基本理论问题研究成果的总结，主要介绍了二次量子化、相对论量子理论方程、角动量、动力学的路径积分形式、散射理论以及粒子的电磁作用等内容，以及在目前前沿研究中有广泛应用价值的含时问题和相干态等新内容及新方法。
每个小册子分四部分。第一部分为灾害定义，以较为简洁的语言介绍该种气象灾害，使读者对该种灾害有一种相对科学的理解。第二部分为气象灾害事例，选取近几年较为严重的、警示性较强的气象灾害事例，让读者直观地了解到气象灾害强大的破坏力。第三部分为气象灾害预警信号，让读者根据预警信号的级别了解气象灾害可能造成的危害程度、紧急程度和发展态势。第四部分为避险措施，选取了一些具有代表性、可操作性强的避险措施，并配上插图，帮助读者从容应对气象灾害。
这是一部由一个熟悉并热爱鸟的人写就的关于鸟类的书——它不是一本干巴巴的鸟类目录，而是在我们面前展现出一幅幅趣味横生的鸟类百科全书。在这里，你可以倾听森林百鸟的音乐盛会，享受大自然的清新和森林最淳朴的乐趣。有趣的语言，可爱的鸟类精灵，唤醒我们内心深处柔软、细腻、沉睡的诗意，点燃对自然的热爱和渴望。
本书从面波弹性方程基本原理出发，简述面波成像的基本理论，对常用的面波处理与成像技术进行介绍。 本书内容分为9章。 章首先介绍地震波的分类及面波的形成机理，对面波弹性方程和频散方程进行推导，对地震面波的信号来源进行分析，进而介绍了从噪声中获取面波的理论基础。第2章主要内容为人工源面波频散计算方法，对目前流行的多道面波分析方法进行了介绍，并提出了F-K变换法、τ-p变换法和相移法等几种方法的改进技术。第3章主要内容为噪声源面波频散计算方法，重点对Aki公式法的原理、计算流程及影响因素进行了介绍，同时也探讨了噪声面波频散计算方法在人工源面波数据处理中应用的效果和可行性。第4章对面波频散曲线反演横波速度结构的原理和方法进行了介绍，主要包括阻尼 小二乘法和遗传-阻尼 小二乘法两种方法，并通过实例分析
