ВМиК МГУ, Москва, лектор - Захаров В.А., 100 стр.
(Год выпуска не указан). Конспект лекций (восстановлен из текстового файла).
Презентации к курсу лекций (1400 слайдов).
Натуральный вывод (сводный файл).
Секвенциальное исчисление (сводный файл).
Материалы к экзамену.
Программные материалы к курсу лекций.
(Год выпуска не указан). Конспект лекций (восстановлен из текстового файла).
Презентации к курсу лекций (1400 слайдов).
Натуральный вывод (сводный файл).
Секвенциальное исчисление (сводный файл).
Материалы к экзамену.
Программные материалы к курсу лекций.