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