Для студентов МГУ им. Ломоносова по предмету Математическая логика и логическое программированиеЛекцииЛекции
2019-09-192019-09-19СтудИзба
Лекции
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Семестр
Просмотров
45
Скачиваний
1
Размер
5,56 Mb
Список файлов
- Лекции
- Лекция 1. Что изучает логика. Логика в информатике. Структура курса. Исторические сведения. Логические парадоксы.pdf 1,65 Mb
- Лекция 10. Полнота резолютивного вывода.pdf 558,85 Kb
- Лекция 11. Стратегии резолютивного вывода. Вычислительные возможности метода резолюций.pdf 426,66 Kb
- Лекция 12. Хорновские логические программы_ синтаксис. Декларативная семантика логических программ. Операционная семантика логических программ.pdf 746,65 Kb
- Лекция 13. Корректность операционной семантики. Полнота операционной семантики.pdf 481,4 Kb
- Лекция 14. Правила выбора подцелей. Деревья вычислений логических программ. Стратегии вычисления логических программ.pdf 672,34 Kb
- Лекция 15. Алгоритмическая полнота логических программ. Моделирование машин Тьюринга логическим программами. Теорема Черча.pdf 345,18 Kb
- Лекция 16. Управление вычислениями логических программ. Оператор отсечения.pdf 922,33 Kb
- Лекция 17. Отрицание в логическом программировании. Оператор not. Встроенные предикаты и функции. Оператор вычисления значений. Модификация баз данных.pdf 610,42 Kb
- Лекция 2. Классическая логика предикатов первого порядка. Синтаксис. Термы и формулы.Семантика. Интерпретация. Выполнимость формул.pdf 518,42 Kb
- Лекция 3. Выполнимые и общезначимые формулы. Модели. Логическое следование. Проблема общезначимости. Семантические таблицы.pdf 506,9 Kb
- Лекция 4. Подстановки. Табличный вывод. Корректность табличного вывода.pdf 483,74 Kb
- Лекция 5. Полнота табличного вывода. Теорема Левенгейма-Сколема. Теорема компактности Мальцева. Автоматическое доказательство теорем.pdf 540,85 Kb
- Лекция 6. Общая схема метода резолюций. Равносильные формулы. Теорема о равносильной замене. Предваренная нормальная форма. Сколемовская стандартная форма.pdf 512,23 Kb
- Лекция 7. Эрбрановские интерпретации. Теорема Эрбрана. Задача унификации.pdf 387,61 Kb
- Лекция 8. Лекция 8. Алгоритм унификации.pdf 617,71 Kb
- Лекция 9. Резолютивный вывод. Корректность резолютивного вывода. Применение метода резолюций.pdf 478,44 Kb
- Прочти меня!!!.txt 136 b
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать