Оглавление
Введение
Актуальность.
Метод верификации моделей программ.
Обзор смежных результатов .
Цели и основные результаты диссертации.
1 Вазовые определения и результаты
1.1 Логики
1.2 Примеры
1.2.1 Задача о монетках.
1.2.2 Угадывание числа
2 Алгоритмические проблемы комбинированных логик
2.1 Комбинирование знаний и неподвижных точек.
2.2 Алгоритмические проблемы для комбинированных логик
2.3 Асинхронные системы с забывающими агентами
2.4 Синхронные системы с абсолютной памятью.
2.5 Проверка па модели приобретения знаний
2.0 Формулы с ограниченной глубиной знаний
3 Апироксимационный алгоритм для дисчисления
3.1 Проверка на модели для дисчисления.
3.2 Специальная префиксная форма
3.3 Полиномиальная проверка на модели.
4 Аффинное представление данных
4.1 Модели
4.1.1 Синтаксис
4.1.2 Семантика
4.1.3 От нечисловых к числовым.
Р 4.1.4 Пример игра в числа.
4.2 Ограниченные аффинные множества .
4.2.1 Представление пропозициональных констант и действии
4.2.2 Операции на аффинных множествах
4.2.3 Оптимизация
4.2.4 Проверка включения.
4.3 Векторноаффинные множества
4.3.1 Представление пропозициональных констант и дсПствиП
4.3.2 Операции на векторноаффинных множествах.
4.3.3 Оптимизация
4.3.4 Проверка включения
4.4 Векторноаффинные множества v .
4.5 Аффинная проверка на моделях комбинированных логик
4.5.1 Агенты в описании моделей.
4.5.2 Агенты и забывающие агенты
4.5.3 Агенты с абсолютной памятью.
4.5.4 Представление пропозициональных констант и действий 3 4.5.5 Операции на аффинных деревьях5
4.5. Оптимизация.
4.5.7 Проверка включения
5 На пути к реализации
5.1 Система проверки на модели Экзаменатор
5.2 Интерфейс и параметры программы.
5.3 Эксперимент.
щ Заключение
Комбинированные логики.
Э Апнроксимационная проверка па модели.
Аффинные представления данных.
Аффинная проверка на модели для комбинированных логик.
Литература
- Київ+380960830922