Соловьев А.Е. Специальная математика

Конспект лекций для студентов специальности АСУ. — Пермь: Пермский государственный технический университет, 2001. — 104 с.Теория множеств.
Логика высказываний.
Логика предикатов.
Метод резолюций.
Система Генцена.
Система Аристотеля.
Примеры неклассических логик.
Теория Автоматов.
Теория графов.
Теория групп.
Теория алгоритмов.
Понятие алгоритма.
Конкретизация понятия алгоритма.
Сложность вычислений.
Машины Тьюринга.
Нормальные алгорифмы Маркова.
Рекурсивные функции.
Формальные грамматики.
Функциональное программирование.
Логическое программирование.
Язык Пролог.
Объектно-ориентированное программирование.