Продолжаем представлять преподавателей основных курсов ВШМ
Андрей Валерьевич Кудинов в весеннем семестре прочитает курс «Введение в теорию множеств и математическую логику». Программа курса охватывает основные понятия теории множеств Цермело-Френкеля, аксиому выбора и эквивалентные ей утверждения (теорема Цермело, лемма Цорна), логику высказываний и предикатов, введение в теорию моделей, модели арифметики и теорему Геделя, а также базовые понятия теории алгоритмов.
Андрей Валерьевич — выпускник мехмата МГУ, кандидат физико-математических наук (2008), специалист по неклассическим и модальным логикам, старший научный сотрудник Лаборатории алгебры, геометрии, логики и теории чисел им. Ю. И. Манина Высшей школы современной математики. Работы Андрея Валерьевича посвящены модальным логикам, топологической семантике, логике знания и теории алгоритмов.
Как мы недавно писали, 15 января 2026 года в диссертационном совете по математике ВШЭ успешно защитил кандидатскую диссертацию «Модальная логика случайных шкал Крипке», ученик Андрея Валерьевича — Владислав Слюсарев..
#ВШМ_преподаватели
Post #309
1.6K

- 🔥 11
- ❤ 3
- 👍 2