Введение
Глава 1- Методологические предпосылки формализации в криминалистике . 18
1 1, Постановка проблемы и ее исторический анализ - 18
1. 2. Сущность формализации, ее возможности и значение, 54
1.3. Формализация в системе методов криминалистики, 75
Глава 2. Научные основы формализации криминалистического знания . 92
2.1. Формализация как направление развития криминалистической науки . 92
2,2. Формализация системы частных криминалистических теорий. 113
2,3. Формализация методов криминалистики, 144
2,4. Концептуальная схема формализации криминалистического знания- 168
Глава 3- Формализация информационной структуры рас следования преступлений . 176
3,1, Содержание проблемы формализации расследования - 176
3.2. Алгоритмический подход к моделированию расследования преступлений, 207
3.3, Расследование преступлений как формальная система. 227
Глава 4. Содержание и структура модели расследования . 255
4.1, Основные принципы построения семантической модели .
4.2. Содержание модели и структурирование области 275 расследования преступлений.
4.3. Технология концептуализации расследования и 306 представление его структуры в виде семантической сети.
4.4. Информационная модель уголовного дела. 333
Заключение 351
Приложения 354
Литература 374


