7. Задача унификации. Алгоритм унификации (1131918), страница 2
Файл №1131918 7. Задача унификации. Алгоритм унификации (Лекции) 2 страница7. Задача унификации. Алгоритм унификации (1131918) страница 22019-05-122019-05-12СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!
Текст из файла (страница 2)
Не удалось получить текст из файлаХарактеристики
Тип файла
PDF-файл
Размер
317,87 Kb
Материал
Тип материала
Высшее учебное заведение
Список файлов лекций
Лекции
3. Логика предикатов - синтаксис (термы и формулы), семантика (интерпретации и отношение выполнимости), модели, логическое следствие, проблема общезначимости формул.pdf
5. Полнота табличного вывода. Теорема Лёвенгейма-Сколема. Теорема компактности Мальцева. Автоматическое доказательство теорем. Теорема Чёрча.pdf
6. Общая схема метода резолюций. Равносильные формулы. Теорема о равносильной замене. Предварённая нормальная форма. Сколемовская стандартная форма.pdf
10. Аксиоматические теории первого порядка. Теория частичных порядков. Основные свойства теорий - непротиворечивость, разрешимость, независимость, полнота.pdf
12. Бескванторные теории с равенством. Линейная арифметика. Теория массивов. Теория равенства с неинтерпретируемыми функциями. Комбинация SMT и SAT.pdf
16-17. Формальная верификация. Императивные программы. Логика Хоара. Автоматическая проверка правильности программ. Верификация распределённых систем. Модальные логи.pdf