2012/2013 — Осенний семестр
Основы модальной логики
Семестровый курс по выбору.
Разделы: Математика.
Кафедра дискретной математики (ФИВТ).
Проходит: по понедельникам с 17:05 до 18:30, первое занятие 10 сентября. Аудитория: 515 ГК.
Лектор: к.ф.-м.н. Кудинов Андрей Валерьевич.
В этом курсе вы познакомитесь с основами активно развивающейся области математической логики, имеющей множество приложений в других дисциплинах, таких как теоретическая информатика, теория искусственного интеллекта и даже философия.
Модальная логика занимает уникальное место между классической пропозициональной логикой, которая является слабо выразительной, и логикой первого порядка, задача выполнимости (или тождественной истинности) в которой является неразрешимой. Существуют различные варианты модальной логики, среди которых есть разрешимые, но достаточно выразительные, что открывает большие возможности для применения этой дисциплины в информатике и теории искусственного интеллекта.
Что развивает курс (данные для «Вектора»)
- Оперирование большим количеством сущностей и способность видеть связи между ними (курс сфокусирован на этом)
- Мышление «не по шаблону» (курс сфокусирован на этом)
- Понимание и декомпозиция сложных систем (развивает косвенно)
Информация о развиваемых компетенциях занесена в систему для работы «Вектора». Поскольку занесение информации производится редакторами проекта, а не авторами курсов, информация может быть неполной или даже частично неверной. Если Вы нашли ошибку, напишите нам об этом. См. также подробнее о системе «Вектор» и полный список компетенций.
