Для студентов МГУ им. Ломоносова по предмету Математическая логика и логическое программированиеВ.А. Захаров - ЛекцииВ.А. Захаров - Лекции
2019-09-182019-09-18СтудИзба
Лекции: В.А. Захаров - Лекции
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Семестр
Просмотров
79
Скачиваний
2
Размер
7,26 Mb
Список файлов
- В.А. Захаров - Лекции
- 1. Что изучает логика. Логика в информатике. Структура курса. Исторические сведения. Логические парадоксы.pdf 1,65 Mb
- 10. Полнота резолютивного вывода.pdf 558,85 Kb
- 11. Стратегии резолютивного вывода. Вычислительные возможности метода резолюций.pdf 426,66 Kb
- 12. Хорновские логические программы - синтаксис. Декларативная семантика логических программ. Операционная семантика логических программ. SLD-резолютивные вычисления.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
- 18-19. Интуиционистская логика. Модальные логики.pdf 548 Kb
- 2. Классическая логика предикатов первого порядка. Синтаксис. Термы и формулы.Семантика. Интерпретация. Выполнимость формул.pdf 518,42 Kb
- 20. Правильные программы. Императивные программы. Задача верификации программ. Логика Хоара. Автоматическая проверка правильности программ.pdf 479,11 Kb
- 21. Верификация распределённых программ. Логика линейного времени PLTL. Размеченные системы переходов. Задача верификации моделей программ.pdf 558,13 Kb
- 22. Задача верификации моделей программ. Подформулы Фишера-Ландера. Табличный метод верификации моделей программ. Алгоритм верификации моделей программ.pdf 536,25 Kb
- 23. Как устроена математика. Исчисление предикатов первого порядка. Аксиоматические теории. Элементарная геометрия. Теория множеств Цермело-Френкеля.pdf 608,47 Kb
- 24. Арифметика Пеано. Теорема Геделя о неполноте.pdf 512,65 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. Алгоритм унификации.pdf 617,71 Kb
- 9. Резолютивный вывод. Корректность резолютивного вывода. Применение метода резолюций.pdf 478,44 Kb
- Прочти меня!!!.txt 136 b
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать