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