代数拓扑的微分形式

The guiding principle in this book is to use differential forms as an aid in exploring some of the less digestible aspects of algebraic topology. Accordingly， we move primarily in the realm o...

常微分方程导论

形式逻辑导论

形式语用学导论

英语诗歌形式导论

本书从重音与重读、诗行与诗节、韵步与韵律等方面分析了美语的诗歌形式，并重点介绍了十四行诗。

现代偏微分方程导论

本书介绍近代偏微分方程的一些重要的结果与常用方法，广义函数与Sobolev空间，椭圆边值问题，能量方法，算子半群等内容，为提高读者的整体数学素质提供了必要的材料。...

向量微积分、线性代数和微分形式 原书第3版 英文

本书是一部优秀的微积分教材，好评不断。引用亚马逊上评论“是一本必选教材。”“是微积分教学方法的一次革新。”本书材料的选择和编排有不同于标准方法的三点：（一）在这个水平的研究中，线性代数是研究多变量微积...

微分流形导论 第2版

本书是一部介绍微分几何入门的教程，讲述了学习微分几何，微分拓扑和微分方程的必需知识。本书浅显易懂，非常适合数学专业的初学者以及应用领域的专家。本书是作者智慧和灵感的集成，综述了流形、微分形式、Darbou...

偏微分方程导论 英文

本书是一部数学专业研究生的偏微分方程教程。其旨在让读者更好地了解偏微分方程的经典基础结果，为读者更深层次学习这方面的专著和教程提供现代理论观点。这是第二版，较第一版增加了不少练习，专门增加了一章讲...

形式化方法导论

鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化方法”列为 软件工程专业的核心课程。本书主要由系统建模、形式规约和形式验证三部分构成，具体包括...