Содержание
- Введение 1
- Основы математической логики 2
- - Высказуциональная логика и логические связки 2.1
- - Предикатная логика и кванторы 2.2
- - Методы доказательства в логике 2.3
- Дискретные математические структуры и логика 3
- - Логика и теория множеств 3.1
- - Логика и теория графов 3.2
- - Логика и булева алгебра 3.3
- Применение логики в алгоритмизации и программировании 4
- - Логические выражения в алгоритмах 4.1
- - Логика предикатов и рекурсивные алгоритмы 4.2
- - Верификация программ с помощью логики 4.3
- Заключение 5
- Список литературы 6