Глава 1. Элементы математической логики
1.1. Логика высказываний....................................................................241.2. Булевы функции...............................................................................461.3. Исчисление высказываний...........................................................621.4. Логика и исчисление предикатов.................................................721.5. Эффективная вычислимость........................................................902.1. Группы...............................................................................................1022.2. Кольца и поля..................................................................................1162.3. Элементы теории кодирования...................................................1213.1. Комбинаторные схемы..................................................................1303.2. Решение задач пересчёта методом Пойа..................................1444.1. Основные понятия и определения..............................................1614.2. Задачи поиска маршрутов (путей) в графе (орграфе).............1804.3. Деревья и циклы.............................................................................2064.4. Внутренняя и внешняя устойчивость в графах.........................2314.5. Транспортные сети.........................................................................2494.6. Вычислительная сложность алгоритмов...................................257