矩阵相加
将两个同规格矩阵对应的元素相加得到一个新矩阵。（验证时间约 5sec）
[Back to Index]
验证特点：自定义谓词，量化断言，多重循环
标注说明：函数前条件：限定矩阵 mat1，mat2 元素的取值范围；
函数后条件：新矩阵 mat3 的每个元素等于矩阵 mat1，mat2 对应元素之和。
程序样例 
将两个同规格矩阵对应的元素相加得到一个新矩阵。（验证时间约 5sec）
验证特点：自定义谓词，量化断言，多重循环
标注说明：函数前条件：限定矩阵 mat1，mat2 元素的取值范围；
函数后条件：新矩阵 mat3 的每个元素等于矩阵 mat1，mat2 对应元素之和。
程序样例