Предисловие

Глава 1. Теоретико-множественное введение

1.1 Основные понятия и обозначения

1.2 Операции над множествами. Булевы тождества

1.3 Алгоритм для проверки теоретико-множественных тождеств

1.4 Декартово произведение

Глава 2. Элементы комбинаторики

2.1 Принципы подсчета

2.2 Принцип включения-исключения

2.3 Реккурентные соотношения

2.4 Производящие функции

Глава 3. Теория графов

3.1 Основные определения

3.2 Связность графов

3.3 Цикломатика графов

3.4 Транспортные сети

3.5 Сетевые графики

Глава 4. Булевы функции

4.1 Булевы функции

4.2 Представление булевых функций формулами

4.3 Критерий полноты. Теорема Поста

4.4 Схемы из функциональных элементов

Глава 5. Конечные автоматы

5.1 Определение конечного автомата

5.2 Некоторыевопросы синтеза автоматов

5.3 Функциональное описание автомата

Глава 6. Формальные языки и автоматы

6.1 Регулярные языки

6.2 Автоматы Мили и Мура

6.3 Автомат Мура как распознователь

6.4 Теорема анализа

6.5 Регулярные языки и источники

6.6 Детерминация источника и теорема связи

6.7 Языки и грамматики

Глава 7. Элементы теории алгоритмов

7.1 О понятии алгоритма

7.2 Машины Тьюринга