Цикл for k:=1 to 10 do проверяет каждый элемент массива dat.
В теле цикла условие - if dat[k] = 15 then m:=m+1
Переводя на русский язык - ЕСЛИ элемент массива = 15 ТО прибавляем к m единицу.
То есть m - количество элементов массива, значение которых равно 15.
Всего таких элементов три (dat[2], dat[4], dat[10]). То есть программа выведет на экран тройку.