Содержание
- Введение 1
- Теоретические основы математической логики 2
- Понятие и виды нормальных форм 3
- Алгоритмы приведения к нормальным формам 4
- Обзор существующих обучающих приложений и инструментов 5
- Методология разработки обучающего приложения 6
- Разработка интерфейса и контента приложения 7
- Тестирование и апробация приложения 8
- Заключение 9
- Список литературы 10