Для студентов МГУ им. Ломоносова по предмету Математическая логика и логическое программированиеВ.А. Захаров - ЛекцииВ.А. Захаров - Лекции
2019-09-182019-09-18СтудИзба
Лекции: В.А. Захаров - Лекции
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
МГУ им. ЛомоносоваСеместр
Просмотров
82
Размер
7,26 Mb
Список файлов
В.А
6. Общая схема метода резолюций. Равносильные формулы. Теорема о равносильной замене. Предваренная нормальная форма. Сколемовская стандартная форма. Системы дизъюнкт.pdf
12. Хорновские логические программы - синтаксис. Декларативная семантика логических программ. Операционная семантика логических программ. SLD-резолютивные вычисления.pdf
17. Отрицание в логическом программировании. Оператор not. Встроенные предикаты и функции. Оператор вычисления значений. Модификация баз данных.pdf
20. Правильные программы. Императивные программы. Задача верификации программ. Логика Хоара. Автоматическая проверка правильности программ.pdf
21. Верификация распределённых программ. Логика линейного времени PLTL. Размеченные системы переходов. Задача верификации моделей программ.pdf
22. Задача верификации моделей программ. Подформулы Фишера-Ландера. Табличный метод верификации моделей программ. Алгоритм верификации моделей программ.pdf
23. Как устроена математика. Исчисление предикатов первого порядка. Аксиоматические теории. Элементарная геометрия. Теория множеств Цермело-Френкеля.pdf
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_2_43798.png&w=1632&h=400&t=1")
Зарабатывай на студизбе! Просто выкладывай то, что так и так делаешь для своей учёбы: ДЗ, шпаргалки, решённые задачи и всё, что тебе пригодилось.
Начать зарабатывать
Начать зарабатывать
zzyxel
18 сентября 2019 в 22:51
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
