Оглавление Предисловие 10 Глава 1. Таблицы истинности, логика, доказательства 15 Глава 2. Теория множеств 67 Глава 3. Логика, целые числа и доказательства 113 Глава 4. Функции и матрицы 156 Глава 5. Алгоритмы и рекурсия 184 Глава 6. Графы, ориентированные графы и деревья 244 Глава 7. Теория чисел 298 Глава 8. Комбинаторика и вероятность 316 Глава 9. Алгебрические структуры 392 Глава 10. Некоторые специальные вопросы теории чисел 422 Глава 11. Некоторые специальные вопросы теории рекурсии 448 Глава 12. Снова о комбинаторных подсчетах 489 Глава 13. Производящие функции 523 Глава 14. Некоторые специальные вопросы теории графов 556 Глава 15. Деревья 624 Глава 16. Сети 691 Глава 17. Теория вычеслений 725 Глава 18. Теория кодов 757 Глава 19. Перечисление цветов 775 Глава 20. Кольца, области целостности и поля 778 Глава 21. Характеры групп и полугрупп 819 Глава 22. Приложения теории чисел 829 Литература 850 Ответы к упражнениям 856 Предметно-именной указатель 942 Список обозначений 954