Для студентов МГУ им. Ломоносова по предмету Математическая логика и логическое программированиеЛекцииЛекции
2019-05-122019-05-12СтудИзба
Лекции
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Семестр
Просмотров
97
Скачиваний
2
Размер
8,61 Mb
Список файлов
- Лекции
- 1. Что такое логика. Содержание курса. История логики. Логические парадоксы.pdf 941,2 Kb
- 10. Аксиоматические теории первого порядка. Теория частичных порядков. Основные свойства теорий - непротиворечивость, разрешимость, независимость, полнота.pdf 363,31 Kb
- 11. Формальная арифметика. Явные логические определения. Теорема Гёделя о неполноте. Аксиомы равенства. Арифметика Пресбургера.pdf 351,9 Kb
- 12. Бескванторные теории с равенством. Линейная арифметика. Теория массивов. Теория равенства с неинтерпретируемыми функциями. Комбинация SMT и SAT.pdf 432,98 Kb
- 13. Наивная теория множеств - основные понятия, кардинальные числа, выразительные возможности, парадоксы.pdf 345,04 Kb
- 14. Доопределение теорий. Теория множеств Цермело-Френкеля - сигнатура, аксиомы, вопрос непротиворечивости.pdf 368,43 Kb
- 16-17. Формальная верификация. Императивные программы. Логика Хоара. Автоматическая проверка правильности программ. Верификация распределённых систем. Модальные логи.pdf 604,86 Kb
- 2. Логика высказываний - синтаксис, семантика, выполнимость, общезначимость, метод семантических таблиц, алгоритм DPLL.pdf 402,51 Kb
- 3. Логика предикатов - синтаксис (термы и формулы), семантика (интерпретации и отношение выполнимости), модели, логическое следствие, проблема общезначимости формул.pdf 475,84 Kb
- 4. Подстановки. Метод семантических таблиц в логике предикатов, корректность табличного вывода.pdf 292,21 Kb
- 5. Полнота табличного вывода. Теорема Лёвенгейма-Сколема. Теорема компактности Мальцева. Автоматическое доказательство теорем. Теорема Чёрча.pdf 382,63 Kb
- 6. Общая схема метода резолюций. Равносильные формулы. Теорема о равносильной замене. Предварённая нормальная форма. Сколемовская стандартная форма.pdf 319,39 Kb
- 7. Задача унификации. Алгоритм унификации.pdf 317,87 Kb
- 8. Резолютивный вывод. Корректность резолютивного вывода. Применение метода резолюций. Эрбрановские интерпретации. Теорема Эрбрана.pdf 309,41 Kb
- 9. Полнота резолютивного вывода. Стратегии резолютивного вывода. Вычислительные возможности метода резолюций.pdf 283,96 Kb
- Презентация 15.pdf 686,77 Kb
- Презентация 16.pdf 757,65 Kb
- Презентация 17.pdf 863,09 Kb
- Презентация 18.pdf 975,61 Kb
- Прочти меня!!!.txt 136 b
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать