证明是数学思想中最重要，也是极具开拓性的特征之一。没有证明，就无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明，什么问题可以（或无法）被解决，为数学研究和发展打开全新的视角。
本书是吉林大学“十二五”规划教材。本书是在 2006 年出版的《专门水文地质学》（第三版）的基础上修编而成的。全书除绪言外，共分十七章，包括地下水调查的技术方法，地下水资源质量和数量评价，地下水资源的开发利用、管理和保护的方法和措施，矿床涌水量预测的特点及方法实例等。编者对原书内容进行了删改，部分内容进行了更新，补充了一些最新研究成果。本次修订增加了水文地质应用领域的新内容，包括环境水文地质、能源水文地质、地震水文地质等。
本书为线性代数入门的科普读物，书中以“如何理解线性代数”“如何理解矩阵的基础概念与计算方法”为线索，用漫画故事生动呈现了线性代数初学者的学习历程。作者从学习者的角度出发，结合生活例子讲解了线性代数中的基础概念及实际应用意义，解答了初学者在的常见困惑。本书讲解直观、通俗，适合作为正式学习线性代数前的入门读本，也适合作为了解线性代数原理的科普读物。
《地质钻探手册》为“十二五”国家重点图书出版规划项目， 120万字。本书是一部全面介绍和反映我国岩心钻探领域理论、技术、工艺、设备、材料和标准等的技术手册。由该领域专家结合当前钻探技术理论研究和实践经验，对国内外岩心钻探进行全面的总结，融会贯通于各个章节之中，反映先进、实用的成果资料，展示可靠、成熟的经验数据，汇集*、全的技术标准，以反映我国的钻探现状及发展为主，兼论国外有关成果的*应用及进展。 手册分为19章，章基本概念及术语；第二章岩石钻进特性与碎岩机理；第三章地质钻探设备；第四章管材与钻具；第五章钻头与扩孔器；第六章金刚石与硬质合金钻进；第七章绳索取心钻进；第八章取心技术；第九章孔底动力钻进；第十章空气钻进；第十一章钻孔弯曲与测量；第十二章定向钻进；第十三章钻孔冲洗；第十
其实，你我以及所有人正在经历的现实，可能正在其他很多宇宙中一遍又一遍地发生。每种历史都会无限次地频繁上演。但即便如此，生命和意识也终将化为乌有，一切创造都将消散于虚空。在这样的宇宙中，人类到底该怎样自处？ 演化带来秩序，熵使一切复归混沌，沉思宇宙万物之理多年的作者，就在这两种彼此纠缠的原则的指引下，综合多学科见解，以融合科学与人文的浪漫笔触，带我们从宇宙的诞生开始，一路见证宇宙中的结构体（包括恒星、星系等）、生命、意识都可能是怎样产生的，而意识特别是人类思维又为宇宙和自身带来了怎样瑰丽的产物……直到去设想、去面对那宏大又暗淡但终将到来的“时间的尽头”“万物的黄昏”时，我们依然可以从思维这种约等于不可能的活动形态中，得到怎样的收获、启示、意义和慰藉？
莱昂哈德·欧拉的多面体公式V-E+F=2被数学家们誉为第二优美的数学定理。从足球和宝石到美妙的穹顶建筑，这一公式描述了许多物体的结构。本书围绕欧拉多面体公式及其数学思想，从古希腊数学讲起，直到当代拓扑学的前沿研究，介绍了这一公式的发现及其对拓扑学研究的深远影响。书中包括丰富的插图与例子，展示了多面体公式的许多优雅而出人意料的应用，例如说明为什么地球上总有一些无风的地方，如何通过数树来测量林地的面积，以及为任何地图涂色需要多少支蜡笔，等等。在书中，读者将看到一群质疑、完善多面体公式和为这个非凡定理的发展做出贡献的杰出数学家，在数学史的长河中，他们都多面体的研究和拓扑学的发展做出了自己的贡献。 本书适合对数学，尤其是拓扑学及数学史感兴趣的读者阅读。
本书介绍了局部搜索、进化计算和群智能三大类6种具体的算法，包括爬山算法、禁忌搜索算法、模拟退火算法、遗传算法、蚁群算法和粒子群优化算法，针对不同的算法，分别从算法起源、算法思想、算法要素、算法流程、主要参数、算法改进和算法应用等方面进行了详细介绍，在算法应用方面都结合具体的应用案例进行了介绍。通过阅读本书，可以使初学者在短时间内了解和掌握不同算法的原理、步骤和应用等。 本书适用于刚接触相关算法的本科生、研究生和部分需要应用现代优化算法求解应用问题的工程人员。
本书从科学探索的角度和物理学原理出发，详细介绍了气象学的基本概念和原理：地球主要组成圈层、大气组成、物理性质、空间结构、要素变化；大气运动各种过程的物理原因；地球上各种天气和气候现象、形形色色的云和降水的形成原因；气压和风、气团、气旋和锋面天气的形成；强对流、雷暴、龙卷风和飓风（台风）等灾害性天气；人工影响天气的各种途径、天气分析和预报的方法、卫星在天气预报中的应用；空气污染及其原因；气候变化与气候系统、人类对全球气候的影响、全球变暖的可能后果、世界气候和气候分类及大气中各种奇特的光学现象和形成的原理等。全书内容丰富、概念清楚、深入浅出、图文并茂，可读性强。 本书可作为对气象学感兴趣的人们学习了解大气变化奥秘的入门读物，也可作为高等院校非大气科学专业学生的通识课程参考教材，
部分由 ～6章组成。第1章简述了 志留纪年代地层划分及研究现状。第2章对中国志留纪地层区划进行概述。第3～6章分别介绍了华南、塔里木、中泰缅马及兴安等4个块体的志留系发育情况及其各自的代表性剖面（或综合剖面），其中华南板块包括湖北宜昌大中坝、重庆秀山溶溺、天声曲靖、贵州石阡雷家屯、贵州桐梓代家沟、四川广元宣河、江西武宁-修水等剖面（或综合剖面）塔里木、中泰缅马及兴安分别选取了新疆柯坪铁热克阿瓦提、云南保山老尖山和黑龙江黑河等剖而（或综合剖面）作为各自的参照标准。 第二部分即标志化石图集。该部分实际上属于生物地层学的范畴，鉴于其在地层学研究及野外实践中的重要性而单独成章。 考虑到我国志留纪各化石门类研究程度上的差别，该部分仅涉及生物地层学研究较精细的11个化石门类，它们（及其撰写者）分
本书全面介绍了近期新的地面综合气象观测业务技术，包括重量气象观测站使用的新一代集成式自动气象站及与之配套的观测业务软件，从硬件结构、软件功能、业务流程和技术保障等四个方面深入浅出地进行了系统介绍。附录中提供了各种数据文件格式、新型自动站终端指令、技术指标和数据质控规则等有关技术资料。本书全面介绍了地面观测自动化和近期新观测业务技术，适合从事地面气象观测的业务人员、业务管理人员、各级技术保障人员、气象仪器生产厂技术服务人员等参考，既可作为地面观测业务工作参考书，也可作为技术培训教材或教学参考资料。
本书在跟踪可靠性研究前沿的基础上，以航空、航天与民航为背景，结合数理统计和工程设计原理，系统地阐述了可靠性理论与工程应用方法。全书包括可靠性基本概念、可靠性统计原理、可靠性建模方法、复杂系统可靠性分析方法、关联系统可靠性原理、面向过程的系统可靠性、可靠性预计与分配、机械可靠性设计原理、制造过程可靠性分析、可靠性试验与评定、可靠性物理与失效分析、基于大数据的可靠性分析、网络可靠性评估方法、民用飞机安全风险评估与管理等，给出了近年来在航空、航天与民航领域成功应用的典型可靠性工程案例。 本书可供从事机械和电子产品可靠性设计、制造、试验和管理的工程技术人员使用和参考，也可作为高等工科院校机械、电子、自动化、航空、航天、民航、船舶等相关专业高年级本科生、硕士和博士研究生的教材和教学参
我国海洋大地测量与导航学科及技术发展滞后，海底大地测量基准空白，水下导航定位手段匮乏，难以有效支撑我国日益活跃的海洋活动，更无法保障我国海洋强国建设，这与我国海洋经济建设和海防建设目标极不相配。本书论述了海洋大地测量基准与水下导航在海洋权益、国家安全、海洋经济及海洋科学研究等方面的战略支撑地位，在分析国内外相关科技领域发展现状和趋势的基础上，提出了我国海洋大地测量基准及海洋定位、导航和授时（PNT）体系建设的发展途径，梳理了海洋大地测量基准与水下导航技术领域的难点问题、关键技术及发展方向，给出了学科发展建议。
本书在跟踪可靠性研究前沿的基础上，以航空、航天与民航为背景，结合数理统计和工程设计原理，系统地阐述了可靠性理论与工程应用方法。全书包括可靠性基本概念、可靠性统计原理、可靠性建模方法、复杂系统可靠性分析方法、关联系统可靠性原理、面向过程的系统可靠性、可靠性预计与分配、机械可靠性设计原理、制造过程可靠性分析、可靠性试验与评定、可靠性物理与失效分析、基于大数据的可靠性分析、网络可靠性评估方法、民用飞机安全风险评估与管理等，给出了近年来在航空、航天与民航领域成功应用的典型可靠性工程案例。本书可供从事机械和电子产品可靠性设计、制造、试验和管理的工程技术人员使用和参考，也可作为高等工科院校机械、电子、自动化、航空、航天、民航、船舶等相关专业高年级本科生、硕士和博士研究生的教材和教学参考
《GNSS电离层扰动精确表征模型与应用》结合全球卫星导航系统（GNSS）应用背景，阐述了行进式电离层扰动（TID）的基本概念和特性、GNSS多TID同时传播模型建构的基本原理与论证，并应用模型介绍了2011年日本春分日季节性中尺度TID传播参数特征、2017年北美日全食电离层TID响应与多尺度参数特征以及2011年日本大地震电离层地震海啸特征与海啸预警可能性的研究成果。 《GNSS电离层扰动精确表征模型与应用》适合从事卫星导航电离层扰动监测与建模研究的科研人员和工程技术人员参考，也可供相关专业的研究生和高年级本科生阅读。
在海洋资源开发的过程中，海洋岩土工程作为关键支撑技术，决定了海洋油气平台、可再生能源系统等海岸工程建设与运行工作的基础稳定性。由于土壤环境、荷载类型与施工安装技术的不同，海洋岩土工程与陆地岩土问题存在显著的差异，已分化成为一门独立的学科。本书的结构按照典型海洋工程项目设计流程安排，在前几章中，介绍了海洋环境、海上原位勘察和海床土的力学响应，接着介绍海洋桩基础、浅基础和锚泊系统的岩土工程设计， 介绍了可移动自升式平台、海底管道设计和海底地质灾害评估三类涉及多种方法结合的典型问题。
本书介绍了72种云彩和大气现象，收录了130余幅来自世界各地精美的云彩和大气现象的照片，无论是常见的碎积云，还是罕见的极光，都可以在本书中一饱眼福。读完本书，我们看到的天空将变得秩序井然。根据眼前看到的云彩，我们可以推测出它是由哪一类别的云彩发展而来，接下来又会变成其他什么类别的云彩。希望本书能让更多的人关注天空，发现天空之美，感受天空带来的无穷乐趣。
《冰川人生 专辑（上）》 本期刊主要介绍施雅风、传奇的“中国冰川学之父”中国西部地区的冰川数量在全球位居前列，但是直到20世纪50年代末期，冰川研究在中国还是一个空白领域。1957年，施雅风院士率先投身于冰川的考察研究。半个世纪中，他冲锋在西部无人涉足的雪域冰川，也冲锋在科研线；他建立发展了中国的冰川学事业，并将其一步步推向世界前沿。纳木那尼冰川、喜马拉雅山西段华丽的乐章、有人说，纳木那尼冰川是神秘的冰川，因为它总是隐藏在纳木那尼峰缭绕的云雾之后，很少有人能见到它的真容；还有人说，纳木那尼冰川是宏伟的冰川，因为它盘踞在西喜马拉雅山的峰中，以巨大的体量和磅礴的气势，笑傲群雄。 《冰川人生 专辑（下）》 喀喇昆仑，她的美，有昆仑和喜马拉雅来守卫，喀喇昆仑不是世界上*的山脉，却
