本书是以教育部高等学校大学物理课程教学指导委员会制定的《理工科类大学物理实验课程教学基本要求》为原则，结合上海工程技术大学历年来的教学改革和教学经验编写而成。本书的实验分为三个部分，第一部分为基础理论部分，包括“测量与误差”、“基本实验方法与技术”等内容；第二部分为基础综合实验，每个实验都安排了观察和测量的内容，第三部分为创新设计实验，它需要综合应用理论和实践经验。本教材可用于普通高等学校的理工科各专业的“大学物理实验”教材。对于爱好大学物理实验的读者，本书也具有重要的参考价值。

●探索物理学的深层奥秘●思想与知识的冒险之旅●揭开光与物质的神秘面纱●揭秘宇宙构造与时间的本质●科学的前沿地图●适合物理专业学生与科学爱好者的理想选择

对成分/工艺-组织-性能的准确理解是金属材料科学与工程领域亟待解决的共性基础难题。对工业界而言，控制固态相变而提升力学性能是经济需求牵引的。对科学界而言，迫切需要精确描述相变，并且认识和理解控制相变的关键过程。依赖相变热力学和相变动力学来获取可靠的、非经验的加工参量，是物理冶金界发展的终极目标。本书总结了金属材料加工成形中涉及的固态相变动力学模型及其方法的演化历史、阶段成果和存在的问题，旨在对固态相变动力学模型与方法进行全面系统地阐述，最终服务于贯通成分 /工艺-组织-性能的共性理论或规律。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具等内容。

本书内容包括：绪论、基于H-Hk结构的算子型最小范数解析解、基于Kriging插值模型的最小范数插值解、基于高斯过程回归模型的最小范数正则解、基于高斯过程回归模型的有限维逼近解、Burgers方程算例分析。

本书是一本抽象代数入门教材，假定读者具备一定的微积分和线性代数基础知识，这些知识对解答习题和例题十分必要。本书深入介绍了群和子群、群结构、同态和商群、高级群论、环和域、环和域的构造、交换代数、域的扩张和伽罗瓦理论等抽象代数入门课程的所有主题。书中有大量的定义和定理，以及对这些理论进行进一步说明的例题。几乎每节都配有习题，部分习题在书末提供了答案。本书适合作为两学期课程的教材，具体如何安排课程在“教师前言”中有详细说明，并且提供了一张各节依赖关系图供参考。

离散数学是计算机专业课程的理论基础，这些课程涵盖从算法和自动机理论到组合学和图论。本书结构严谨，涵盖计算机科学专业的学生必须学习的离散数学基础，包括离散数学的基本概念、逻辑、有向图和无向图、自动机和正则语言、阶的表示法和计数问题、离散概率，以及模运算和公钥密码学的内容。本书通过问题讨论对离散数学的分析证明方法进行阐述，并通过丰富的应用实例进行分析。书中每章都有一个简洁的小结和一组习题，指导学生快速掌握该章内容。本书是本科课程的理想入门教材。

汞 砷 锑 铅 铊

五种元素，和以它们为主角的凶案故事

王室权谋，神秘疾病，情爱纠葛，离奇死亡……

豆瓣热门化学科普读物NO.3

元素的世界神秘莫测。

随着科学的进步，许多曾让人束手无策的元素谜

本书内容包括： 绪论，粒子物理标准模型，致密星的形成与表现，奇异物质和奇异星，并结合未来FAST等大科学工程的观测，探讨有关证明或排除奇异星存在的可能性。本书从粒子物理标准模型出发，旨在简要介绍各种奇异物质提出的基本背景，在此基础之上探讨奇异星等致密星的结构和性质，最终讨论如何利用各种天文观测来寻找奇异星存在的证据。 本书相关内容属于粒子天体物理范畴，主要面向高年级本科生、研究生及相关的研究人员，以期提供必要的入门简介。

化学对人类进步有着不可替代的促进作用，化学是研究物质的性质、组成、结构、变化和应用的科学。它与我们的生活息息相关，“没有化学创造的物质文明，就没有人类的现代生活。”就化学对人类的影响来说，化学在我们的生活中无处不在。本书共分6章，分别叙述什么是化学， 衣食住行中的化学，色彩中的化学，生命运行中的化学，常用能源中的化学，生活环境中的化学等。纵览全书，读者将会对身边发生的化学现象从知其然到知其所以然，并对化学中的一些基本原理和知识有进一步的了解和认识。本书适合作为高等学校非化学专业开设的化学知识普及