2010/2011 — Осенний семестр
Элементы модальной логики
Семестровый курс по выбору.
Разделы: Анализ данных.
Кафедра анализа данных (ФИВТ).
Проходит: по средам, с 18:30 до 19:50, первое занятие 15 сентября. Аудитория: 301А ЛК.
Лектор: Кикоть С. П.
Курс рассчитан на студентов 2 — 5 курсов.
Модальная логика изучает модальные операторы — математические модели языковых конструкций, которые можно приставлять слева к высказываниям и, таким образом, получать новые высказывания. Сюда относятся самые разнообразные операторы, касающиеся необходимости и возможности («необходимо, что» и «возможно, что»), доказуемости («доказуемо, что...»), знания («Вася знает, что...»), веры («Вася верит, что...»), пространства («везде», «где-то», «в некоторой окрестности», «в Москве»), времени («всегда», «всегда в будущем», «завтра»), и др. Выбор слова «модальный» обусловлен тем, что многие из этих оборотов действительно связаны с отношением субъекта к логическому высказыванию, а те, к которым это не относятся, исследуются похожими методами. Модальная логика тесно связана с логикой первого порядка, а именно, классические кванторы $\forall x$ и $\exists x$ тоже можно считать модальными операторами. На спецкурсе будет рассмотрена общая теория таких операторов.
Что развивает курс (данные для «Вектора»)
- Алгоритмы и методы анализа данных (курс сфокусирован на этом)
Информация о развиваемых компетенциях занесена в систему для работы «Вектора». Поскольку занесение информации производится редакторами проекта, а не авторами курсов, информация может быть неполной или даже частично неверной. Если Вы нашли ошибку, напишите нам об этом. См. также подробнее о системе «Вектор» и полный список компетенций.
