Семантическое аннотирование

Формализовать представленные рассуждения в виде формул алгебры логики.

Имеются следующие данные об успеваемости 20 студентов группы по теории статистики в летнюю сессию 2003 г.: 5,4, 3, 3, 5, 4, 4, 4, 3,4, 4, 5, 4, 4, 3, 2, 5, 3, 4, 4, 4, 3, 2, 5, 2, ... Имеются следующие данные об успеваемости 20 студентов группы по теории

Составить алгоритм с постусловием для нахождения суммы целых чисел в диапазоне от 1 до 10.