Продолжаем представлять преподавателей основных курсов ВШМ

Андрей Валерьевич Кудинов в весеннем семестре прочитает курс «Введение в теорию множеств и математическую логику». Программа курса охватывает основные понятия теории множеств Цермело-Френкеля, аксиому выбора и эквивалентные ей утверждения (теорема Цермело, лемма Цорна), логику высказываний и предикатов, введение в теорию моделей, модели арифметики и теорему Геделя, а также базовые понятия теории алгоритмов.

Андрей Валерьевич — выпускник мехмата МГУ, кандидат физико-математических наук (2008), специалист по неклассическим и модальным логикам, старший научный сотрудник Лаборатории алгебры, геометрии, логики и теории чисел им. Ю. И. Манина Высшей школы современной математики. Работы Андрея Валерьевича посвящены модальным логикам, топологической семантике, логике знания и теории алгоритмов.

Как мы недавно писали, 15 января 2026 года в диссертационном совете по математике ВШЭ успешно защитил кандидатскую диссертацию «Модальная логика случайных шкал Крипке», ученик Андрея Валерьевича — Владислав Слюсарев..

#ВШМ_преподаватели