余天庆，熊睿编著2014 年出版155 页ISBN：9787302356554
本书概要地讲述了《张量分析及在力学中的应用》的各章内容的精华，并将该书的全部例题和习题做了全解。全书共分9章，张量的基础知识、张量代数、张量分析和黎曼空间的曲率、张量分析在弹性力学和损伤力学中的...
RobinMilner编著2009 年出版160 页ISBN：9787302207252
通信是计算机的一个基本的、不可缺少的部分。通信可能发生在网路上的不同计算机之间，也可能发生在同一台计算机的各个部件之间。在本书中，作者介绍了一种为通信建模的新方法，其特点是将计算机及其程序都看作是...
马雷著2013 年出版314 页ISBN：9787030389282
本书通过对传统词项逻辑的一般特征的分析，抓住联合演算的实质特点，划分了联合演算的两个层次，在此基础上提出结构分析的方法作为判明或建构永真式的一个依据，同时提出一个极近似于命题逻辑的范式判定方法，用于在...
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
周之虎编著2014 年出版118 页ISBN：9787566407009
本书是作者在多年教学经验的基础上进行编写的，内容详实，思路清晰，介绍了复变函数的概念及其基本结论、米库辛斯基算符演算的基本理论及其一些辅助结果、直接方法和拉普拉斯变换、常系数线性微分方程和差分方程...
李未著2014 年出版289 页ISBN：9787030401557
本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
