国外新形式纪实文学作品选

程序设计语言的形式语义

本书是计算机专业本科生研究生形式语义学教材。

形式逻辑简明教程

本书以丰富的材料，全面、系统地阐述了形式逻辑的概念、基本规律、判断、论证、推理等内容。书中每章结尾设一小节总结，便于学生理解、使用。...

两种不同形式的旋转深耕机

微分几何

《微分几何》共10章，第1章～第5章为第一部分，系统讲述了三维欧氏空间中曲线、曲面的局部几何理论和曲面的内蕴几何学，这部分内容可作为数学专业本科生微分几何必修课教材；第6章～第10章为第二部分，介绍有关曲面整......

应用偏微分方程

本书内容包括：应用偏微分方程的基本内容，重点讨论了偏微分方程中四种最基本的方程：传输方程、波动方程、热传导方程和拉普拉斯方程的特点和相应定解问题的求解方法，特别对偏微分方程模型在物理、力学等学科中的...

吴文俊全集 拓扑学卷 1

本卷收录由法国Hermann & Cie出版社出版的吴文俊的博士论文《Surles Classes Caractéristiquesdes Structures Fibrées Sphériques.》（论球丛结构的示性类）与Springer出版的《Rational Homotopy Type-A Co...

当代形式逻辑基础

本书讨论了当代逻辑语义学基础、客观世界的逻辑结构和逻辑规律、概念、命题、逻辑定理、逻辑证明等问题，提出了一系列原创性、新的逻辑理论问题，并给出了合理的解决方案。...

会话记忆·日语形式名词精解

本书分新学期、授业、奖学金、情报收集、和宿旅行、文化祭、娱乐、国际交流等16个单元。

形式语义学的稳定论域理论