矩阵结构与矩阵函数的形式化大学教材电子版