Название спецкурса на русском языке
Математическая логика и интеллектуальные системы
Перевод названия курса на английский язык
Mathematical logic and intelligent systems
Авторы курса
доц. Г. В. Боков
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
6 курс
Подразделение
[Кафедра МаТИС]
Семестр
Год
Тип курса
Спецкурс по выбору студента
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
В курсе рассматривается пропозициональная логика, логика первого порядка и темпоральная логика. Семантические и дедуктивные свойства каждой логики описываются в свете их применения при создании интеллектуальных системах для решения практических задач. В первую очередь – это проблема выполнимости булевых формул, проблема общезначимости формул первого порядка, логическое программирование, верификация последовательных и параллельных программ. Будут рассмотрен метод резолюций, двоичные разрешающие диаграммы, DPLL алгоритм, SLD-резолюция, метод верификации на основе проверки модели и др.
Дополнительная информация

понедельник, 18:30, дистанционно, Zoom 794 3874 9211, п 5irbKq