Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Глава I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Исторические, гносеологические и правовые основания применения
математических и логических средств в правовых исследованиях . . . . . . . . .11
1.1. Общая постановка проблемы применения математических, логических
и кибернетических средств в правовых исследованиях . . . . . . . . . . . . . .11
1.2. Обзор развития применения математических средств
в сфере правовой деятельности . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3. Качественные, количественные и структурные характеристики
в процессе собирания, исследования и оценки доказательств . . . . . . . . . . 31
1.4. Юридические основания и формы применения математических средств
в судопроизводстве по советскому процессуальному праву . . . . . . . . . . . .42
Глава II . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .51
Однозначные ("классические") математические и логические средства,
применяемые в процессе собирания и исследования судебных доказательств . . . .51
II.1. Получение исходных числовых данных для правовых исследований . . . . . .51
11.2. Однозначные ("классические") математические средства,
применяемые в криминалистике . . . . . . . . . . . . . . . . . . . . . . . . .58
11.3. Идентификационные алгоритмы, основанные на классических
математических методах . . . . . . . . . . . . . . . . . . . . . . . . . . . .64
Глава III . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Многозначные (вероятностно-статистические) методы исследования
и оценки судебных доказательств . . . . . . . . . . . . . . . . . . . . . . . 77
111.1. Значение динамических и статистических закономерностей
в процессе познания и при исследовании вещественных доказательств . . . . . . 77
111.2. Вероятностная модель идентификации, основанная
на предварительном подсчете частот признаков . . . . . . . . . . . . . . . . .84
Глава IV . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
Методы моделирования и кибернетики в правовых исследованиях . . . . . . . . .101
IV.1. Применение кибернетики в правовых и криминалистических целях . . . . . 101
IV.2. Модель установления исполнителя спорной рукописи статистическими
методами . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
IV.3. Математический алгоритм установления исполнителя спорной рукописи
с помощью непараметрических критериев . . . . . . . . . . . . . . . . . . . .117
IV.4. Математика и вопросы моделирования судебного доказывания . . . . . . . 148
Глава V . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .174
Исследование структуры правовых норм средствами математической логики . . . .174
V. 1. Разные подходы к логическому исследованию структуры правовых
норм . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
V.2. Основные предпосылки применения математической логики
для исследования правовых норм . . . . . . . . . . . . . . . . . . . . . . . 185
V.3. Некоторые вопросы структуры правовых норм с точки зрения
деонтической логики . . . . . . . . . . . . . . . . . . . . . . . . . . . . .201
Резюме на немецком языке . . . . . . . . . . . . . . . . . . . . . . . . . . 213