Математическая логика и теория алгоритмов — различия между версиями
Материал из Кафедра математической кибернетики
Страница-перенаправление
PodymovVV (обсуждение | вклад) м |
|||
| (не показаны 6 промежуточные версии 2 участников) | |||
| Строка 1: | Строка 1: | ||
| + | #REDIRECT [[Математическая логика и логическое программирование (группа 318)]] | ||
| + | <!-- | ||
Обязательный курс для студентов 241 группы 4 семестра обучения. Курс читает профессор [[Захаров Владимир Анатольевич|В. А. Захаров]]. | Обязательный курс для студентов 241 группы 4 семестра обучения. Курс читает профессор [[Захаров Владимир Анатольевич|В. А. Захаров]]. | ||
| Строка 28: | Строка 30: | ||
| − | Лекция 9. '''Резолютивный вывод. Корректность резолютивного вывода. Применение метода резолюций.''' | + | Лекция 9. '''Резолютивный вывод. Корректность резолютивного вывода. Применение метода резолюций.''' '''[[Media: Lect241_9.pdf| Лекция 9.]]''' |
| − | Лекция 10. '''Полнота резолютивного вывода.''' | + | Лекция 10. '''Полнота резолютивного вывода.''' '''[[Media: Lect241_10.pdf| Лекция 10.]]''' |
| − | Лекция 11. '''Стратегии резолютивного вывода. Вычислительные возможности метода резолюций.''' | + | Лекция 11. '''Стратегии резолютивного вывода. Вычислительные возможности метода резолюций.''' '''[[Media: Lect241_11.pdf| Лекция 11.]]''' |
| + | |||
| + | Лекция 12. '''Интуиционистская логика.''' '''[[Media: Lect241_12.pdf| Лекция 12.]]''' | ||
| + | |||
| + | Лекция 13. '''Модальные логики.''' '''[[Media: Lect241_13.pdf| Лекция 13.]]''' | ||
| + | |||
| + | Лекция 14. '''Задача верификации программ. Логика Хоара.''' '''[[Media: Lect241_14.pdf| Лекция 14.]]''' | ||
| + | |||
| + | Лекция 15. '''Аксиоматические теории. Элементарная геометрия. Теория множеств. Арифметика Пеано.''' '''[[Media: Lect241_15.pdf| Лекция 15.]]''' | ||
== Основная литература == | == Основная литература == | ||
| Строка 51: | Строка 61: | ||
[[Категория:Лекционные курсы кафедры МК]] | [[Категория:Лекционные курсы кафедры МК]] | ||
| + | --> | ||
