Сначала переменной m присваивается значение 0. Далее в цикле for мы поочерёдно пересматриваем значения Dat, и если находим значение Dat большее, чем текущее m, то записываем это найденное значение в m. После выполнения цикла переменная m будет хранить максимальное из всех значений Dat, то есть 8.