ДАА, Инф, пролет 2022

Най-често срещаната грешка е в зад 1: инвариант, казващ само "При всяко достигане на ред едикойси, i = 5p + 3q".  В условието ясно е казано да се докаже КОНЮНКЦИЯ от съждения, като "n = 5p + 3q" е само едно от тях.  Освен това има и "p >= 0" и "q >= 0".  Тези трябва да участват в инварианта.  Някои студенти изобщо са ги изпуснали, решавайки по този начин строга подзадача на дадената.  Някои студенти post factum са се опитали да ги аргументират, но не по индукция, а с преразказване на кода, което не се признава.  За тази грешка консистентно са отнемани по 12 точки