Для студентов МГУ им. Ломоносова по предмету Математическая логика и логическое программированиеЛекции 2014Лекции 2014
2019-09-192019-09-19СтудИзба
Лекции: Лекции 2014
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Семестр
Просмотров
66
Скачиваний
1
Размер
13,02 Mb
Список файлов
- Лекции 2014
- Лекции 12-23. Математическая логика (после колка).pdf 5,97 Mb
- Лекции 2-11. Математическая логика (до колка).pdf 4,64 Mb
- Лекция 1. Что изучает логика. Логика в информатике. Структура курса....pdf 2,24 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
- Лекция 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
- Лекция 3. Выполнимые и общезначимые формулы. Модели....pdf 320,03 Kb
- Лекция 4. Подстановки. Табличный вывод. Корректность табличного вывода.pdf 353,58 Kb
- Лекция 5. Полнота табличного вывода. Теорема Левенгейма-Сколема....pdf 368,4 Kb
- Лекция 6. Общая схема метода резолюций. Равносильные формулы. Теорема о равносильной замене....pdf 337,84 Kb
- Лекция 7. Эрбрановские интерпретации. Теорема Эрбрана. Задача унификации.pdf 387,61 Kb
- Лекция 8. Алгоритм унификации.pdf 617,71 Kb
- Лекция 9. Резолютивный вывод. Корректность резолютивного вывода. Применение метода резолюций.pdf 478,44 Kb
- Прочти меня!!!.txt 136 b
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать