Название спецкурса на русском языке
Алгебраическая логика
Перевод названия курса на английский язык
Algebraic logic
Авторы курса
Шехтман Валентин Борисович
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
Алгебраическая логика — раздел математики на стыке математической логики, универсальной алгебры, теории категорий и теоретической информатики. Она изучает алгебраические модели логических исчислений и, наоборот, логические исчисления, описывающие алгебраические структуры. В курсе будет дано краткое введение в эту область. Основные темы: алгебры и многообразия, решетки, булевы алгебры, двойственность Стоуна, реляционные алгебры, переписывание термов.
Дополнительная информация

дистанционно (Zoom); vshehtman@gmail.com