СОДЕРЖАНИЕ
ВВЕДЕНИЕ.б
Глава I. АВТОМАТНОЕ МОДЕЛИРОВАНИЕ НОРМАТИВНОЙ ДЕЯТЕЛЬНОСТИ СУБЪЕКТОВ ПРАВООТНОШЕНИЙ.
1.1. Понятия нормативнорегулируемого сообщества и нормативнозначимой сущности
1.2. Нормативноправовое пространство
1.3. Нормативнозначимые параметры.
1.4. Нормативноправовое состояние
нормативнозначимой сущности.
1.5. Входные сигналы в автоматных моделях
нормативнозначимых сущностей
1.6. Автоматное время в автоматных моделях
нормативнозначимых сущностей
1.7. Устойчивые и неустойчивые внутренние состояния автоматной модели нормативнозначимой сущности
1.8. Общая схема функционирования
автоматной модели нормативнозначимой сущности.
1.9. Начальное состояние.
1 Функция переходов автоматной модели
нормативнозначимой сущности.
1 Способы задания автоматных моделей
нормативнозначимых сущностей
11. Помеченные таблицы переходов автоматных моделей нормативнозначимых сущностей
12. Приведенные таблицы переходов автоматных моделей нормативнозначимых сущностей
1 Выводы.
Глава И. СПОСОБЫ ЗАДАНИЯ В ТЕКСТАХ НОРМАТИВНОПРАВОВЫХ ДОКУМЕНТОВ ДЕКЛАРАТИВНОРЕГУЛЯТИВНЫХ ФУНКЦИЙ С ПОМОЩЬЮ ВЕРБАЛЬНЫХ
ЕСТЕСТВЕННОЯЗЫКОВЫХ ФОРМАЛИЗМОВ
2.1. Вводное содержательное описание и обоснование используемых понятий и подходов.
2.2. Каноническая вербальная форма представления в текстах нормативноправовых документов элементарных декларативнорегулятивных функций нормативного побуждения
2.3. Канонические вербальные формы представления в текстах нормативноправовых документов элементарных декларативнорегзлятивных функций нормативных определений
2.3.1. Интенсиональный способ задания декларативнорегулятивной функции нормативного определения.
2.3.2. Синонимический способ задания декларативнорегулятивной функции нормативного определения.
2.3.3. Экстенсиональный способ задания декларативнорегулятивной функции нормативного определения.
2.4. Каноническая вербальная форма представления в текстах нормативноправовых документов элементарных декларативнорегулятивных функций нормативного установления
2.5. Канонизация представления произвольных фрагментов текстов нормативноправовых документов с помощью элементарных естественноязыковых формализмов
2.6. Обоснование необходимости и достаточности базового набора элементарных естественноязыковых формализмов для задания декларативнорегулятивных функций, содержащихся в текстах нормативноправовых документов, с позиций теории права
2.7. Выводы
Глава III. МЕТОДЫ ИДЕНТЕФИКАЦИИ НОРМАТИВНОПРАВОВЫХ СОСТОЯНИЙ СУБЪЕКТОВ ПРАВООТНОШЕНИЙ И ПРИНЦИПЫ ПОСТРОЕНИЯ ПРАВОВОЙ ИНФОРМАЦИОННОСОВЕТУЮЩЕЙ СИСТЕМЫ
3.1. Идентификация субъектов и объектов правоотношений
в текстах нормативноправовых документов.
3.2. Идентификация нормативноправовых состояний
субъектов правоотношений.
3.3. Формирование таблицы нормативноправовых состояний
3.4. Автоматная модель нормативнозначимых действий соискателя
в процессе представления и защиты диссертации
3.4.1. Используемые обозначения.
3.4.2. Автоматная модель нормативнорегулируемого поведения соискателя ученой степени в процессе представления и защиты диссертации.
3.5. Программа автоматного моделирования нормативной деятельности субъектов правоотношений
3.6. Описание принципов работы с программой автоматного моделирования vi
3.6.1. Главное окно программы.
3.6.2. Начало работы с алгоритмом.
3.6.3. Новое нормативноправовое состояние
3.6.4. Выбор действий в текущем нормативноправовом состоянии.
3.6.5. Сохранение и восстановление текущей
нормативноправовой ситуации
3.6.6. Дополнительные окна
3.6.7. Режимы работы программы
3.7. Выводы
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ
- Київ+380960830922