微分形式及其应用 英文版

本书是一部简短的微分几何教程。详细讲述了微分几何，并运用它们研究曲面微分几何的局部和全局知识。引入微分几何的方式简洁易懂，使得这本书非常适合数学爱好者。...

微分流形导论 第2版

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

形式语义学导论 英文

本书没有预设语义学和逻辑学的专门知识，循序渐进地介绍了经典蒙太格语义学，便于初学者阅读。读者通过本书可对蒙太格语义学的体系有较全面深入的认识。本书适合语言学、人工智能、认知科学等相关专业的研究者...

非交换微分几何及其在物理学中的应用导论 英文版

本书的是以1994年作者在LMS的讲演稿为蓝本。这是第2版，在第1版的基础上做了大量的修订，增加了不少有关实条件和线性联络的新材料和Jordan变形和量子Euclidean空间，具有基本的常微分几何知识和纤维丛理论就可以...

常微分方程与偏微分方程

本书为国家十一五重点规划教材，叙述了常微分方程与偏微分方程的基本内容，特别增加了模型与应用，边值问题、定性理论等。

刚性常微分方程及刚性泛函微分方程数值分析

本书系统总结了作者及其课题组在刚性常微分方程和刚性Voltrrra泛函微分方程数值分析领域所获得的理论成果及其应用，同时对国内外该领域的研究作了较全面系统的介绍。本书可供高年级大学本科生、研究生、从事...

形式语义学基础与形式说明

本书较详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章，介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介...

微分几何基础 英文版

本书介绍了微分拓扑、微分几何以及微分方程的基本概念。

微分动力系统的定性理论

作者是微分动力系统这一领域的开拓者之一，本书是作者在这一领域的代表作。

普通法的诉讼形式