数组中的最大值
给定整型数组t，求数组元素中的最大值。（验证时间约 4.8sec）
[Back to Index]
验证特点：高阶逻辑构造：范域词\max，do-while 循环
标注说明：函数前条件：给出数组的长度；
函数后条件：程序的返回值为数组元素中的最大值。
程序样例 
给定整型数组t，求数组元素中的最大值。（验证时间约 4.8sec）
验证特点：高阶逻辑构造：范域词\max，do-while 循环
标注说明：函数前条件：给出数组的长度；
函数后条件：程序的返回值为数组元素中的最大值。
程序样例