Для студентов МГУ им. Ломоносова по предмету Математическая логика и логическое программированиеЛекцииЛекции
2019-05-122019-05-12СтудИзба
Лекции
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
МГУ им. ЛомоносоваСеместр
Просмотров
97
Размер
8,61 Mb
Список файлов
Лекции
3. Логика предикатов - синтаксис (термы и формулы), семантика (интерпретации и отношение выполнимости), модели, логическое следствие, проблема общезначимости формул.pdf
5. Полнота табличного вывода. Теорема Лёвенгейма-Сколема. Теорема компактности Мальцева. Автоматическое доказательство теорем. Теорема Чёрча.pdf
6. Общая схема метода резолюций. Равносильные формулы. Теорема о равносильной замене. Предварённая нормальная форма. Сколемовская стандартная форма.pdf
10. Аксиоматические теории первого порядка. Теория частичных порядков. Основные свойства теорий - непротиворечивость, разрешимость, независимость, полнота.pdf
12. Бескванторные теории с равенством. Линейная арифметика. Теория массивов. Теория равенства с неинтерпретируемыми функциями. Комбинация SMT и SAT.pdf
16-17. Формальная верификация. Императивные программы. Логика Хоара. Автоматическая проверка правильности программ. Верификация распределённых систем. Модальные логи.pdf
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_2_43798.png&w=1632&h=400&t=1")
Зарабатывай на студизбе! Просто выкладывай то, что так и так делаешь для своей учёбы: ДЗ, шпаргалки, решённые задачи и всё, что тебе пригодилось.
Начать зарабатывать
Начать зарабатывать
zzyxel
12 мая 2019 в 10:12
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
