Предисловие
ЧАСТЬ I. МАТЕМАТИЧЕСКИЕ ОСНОВЫ
Глава 1. Множества, отношения, комбинаторика
Глава 2. Основные понятия общей алгебры
Глава 3. Элементы теории алгоритмов и математической логики
Глава 4. Элементы теории графов
ЧАСТЬ II. МАТЕМАТИЧЕСКИЕ МОДЕЛИ
Глава 5. Абстрактная теория автоматов
Глава 6. Теория конечных автоматов
Глава 7. Модели алгоритмов и программ
Глава 8. Формальные грамматики и формальные языки
ЧАСТЬ III. ПРИЛОЖЕНИЯ
Глава 9. Алгебры в компьютерных информационных технологиях
Глава 10. Теория автоматов и графов в компьютерных информационных технологиях
Глава 11. Методы поиска доказательств теорем в логике предикатов
Глава 12. Основные понятия теории программных инвариантов
Список литературы