矩阵结构与矩阵函数的形式化电子课本