Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Отношения на функциях принадлежности
обходима, то без нее теорема недоказуема.
Модальности присутствуют в формулах МИВ в виде двух символов D-“воможно” и -“необходимо”.
К аксиомам ФИВ добавляются новые аксиомы:
дистрибутивности: (A®B)®(A®B),
знания: A®A,
позитивной интроспекции: A®A,
негативной интроспекции: DA®DA,
и правило вывода A|-A.
Существует также и МИП – Модальное Исчисление Предикатов.
Кроме ЛВ ЛП нечеткой и модальной логики, известны также темпоральная и алгоритмическая логика, в частности алгоритмическая логика Ч. Хоара.
На этом обсуждение математической логики окончено, перейдем к обсуждению вопросов теории алгоритмов.
АЛГОРИТМИЧЕСКИЕ МОДЕЛИ
5.1. ФОРМАЛИЗАЦИЯ ПОНЯТИЯ АЛГОРИТМА
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
