该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教
本套书是大学“高等代数”课程的辅导教材，是作者多年来在北京大学从事高等代数数学工作的结晶。本套书共有11章，分上、下两册。每章节主体结构包括内容精华、典型例题、习题三部分，章末还有补充题。本书阐述了高等代数的理论，总结了高等代数中重要的典型题型及考研题型，提炼了解题的规律、方法和技巧，旨在通过对理论的阐述以及解题方法和技巧的分析，使读者能掌握理论，举一反三、触类旁通。本书可作为“高等代数”或“线性代数”课程的教学参考书，也可供从事高等代数或线性代数教学的教师参考，还可作为工学、理学、经济学、管理学等学科专业硕士生入学考试数学科目的复习用书。
本书共十六章，书中全面论述了复分析的基本理论和许多论题,如黎曼映射定理、γ函数、解析开拓。本书前半部分内容适用于数学系本科生复分析一学期课程。后半部分适用于研究生专题课程。与第2版相比，本版内容做了较大改动，页数增加了120页。
本书前两章研究出土算术文献的文本和思想内容。主要创新点是：提出两种整理出土算术文献文本的新方法；证明清华简《算表》有开平方功能；为简牍性质问题提供新线索。第三。章讨论学界判断算术文献成书年代的主流方法：该方法针对的是度量衡等时代信息 的零星信息，但在一本已经定型的书中，这些信息恰恰是 容易被后代改动的，不能作为主要依据。在此基础上，作者提出新的解决思路。第四章研究数学与儒学的互动。第五章研究数学与史学的互动，主要是解决其中跟数学有关的疑难问题，比如讨论《史记》记载的孔子俸禄和《汉书》记载的汉代“提封田”（领土面积）。后两章是目前学术界较少关注的。
几何是数学学习的基础之一，借助几何学，我们能搭建房屋、丈量土地、观测星空，还能设计滑梯、装饰地板……连一副小小的七巧板都能催生出众多数学成果。本书从建筑、测量、图形游戏等角度讲述了有趣的几何小故事，不仅涉及直线形、圆、非圆曲线、立体几何等基础几何学知识，而且加入了图论、拓扑、组合几何、非欧几何等主题，“扩大”了美妙的几何世界。本书阐释了几何学知识，同时介绍了古今中外关于几何的逸闻趣事，展现了图与形的自然之美。本书尤其适合小学高年级学生和中学生阅读。
