ГлавнаяМатематикаМатематическая логика и теория алгоритмов
Кванторные операции над предикатами (Контрольная, Вариант 4, )
Машина Тьюринга (Контрольная, Вариант 1, )
Множества. Отношения. Функции (Контрольная, Вариант 3, )
Нормальные алгоритмы Маркова (Контрольная, Вариант 4, )
Понятие алгоритма (Контрольная, Вариант 1, )
Пользовательское соглашение Вэбмастерам