形式运算

小注包括： 1）以个人视角，分析了作者提出的新框架的动机，做一些讨论； 2）给出了一些关键公式的简单证明或说明； 记号约定： 1）向量用小写粗体字母表示；2）矩阵用大写字母表...