Кудинов Андрей Валерьевич
- Доцент: Факультет математики / Базовая кафедра Института проблем передачи информации им.А.А.Харкевича (ИППИ) РАН
- Начал работать в НИУ ВШЭ в 2012 году.
- Научно-педагогический стаж: 17 лет.
Oбразование и учёные степени
Модальная логика, топологическая и окрестностная семантика, логика знания, теория алгоритмов и алгоритмическая сложность
Достижения и поощрения
Надбавка за публикацию в международном рецензируемом научном издании (2018–2019)
Учебные курсы (2024/2025 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 1-й курс, 3, 4 модуль)рус
- Пропозициональные логические системы (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 1-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
Учебные курсы (2022/2023 уч. год)
- Научно-исследовательский семинар "Алгебраическая логика" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики; 1-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
- Элементы математической логики (Дисциплина общефакультетского пула; 1, 2 модуль)рус
Учебные курсы (2020/2021 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Математика. Лиценциат (Бакалавриат; где читается: Факультет математики; 3-й курс, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
- Научно-исследовательский семинар "Элементы математической логики" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
Гранты
РНФ 21-11-00318
Академическая программа поддержки НУГ, ВШЭ (№ 21-04-027)
Академическая программа поддержки НУГ, ВШЭ (№ 19-04-050)
РНФ 16-11-10252
РФФИ А-16-01-00615
РФФИ НЦНИЛ_а 14-01-93105
РФФИ мол_а 14-01-31442. Руководитель
Конференции
- 2016
Advances in Modal Logic (Будапешт). Доклад: Neighbourhood products of pretransitive logics with S5
- 2013
Topology, Algebra, and Categories in Logic 2013 (Нэшвилл). Доклад: Derivational modal logic of real line with difference modality
Информация*
- Общий стаж: 23 года
- Научно-педагогический стаж: 17 лет
- Преподавательский стаж: 10 лет
Участие в научно-исследовательских грантах
Участвовал в следующих грантах РФФИ: 11-01-93107-НЦНИЛ_а, 11-01-00958-а, 14-01-93105-НЦНИЛ_а, 14-01-31442-мол_а
Учавствую в гранте РФФИ 16-01-00615-а
Учавствую в гранте РНФ 14-50-00150
Доклад Андрея Кудинова на научно-теоретическом семинаре «Формальная философия»
10 февраля состоялось 75-е заседание научно-теоретического семинара «Формальная философия», на котором Андрей Кудинов выступил с докладом «Логика пространств подмножеств с публичными высказываниями».
Майская смена в Сириусе
С 1 по 25 мая 2022 года в образовательном центре «Сириус» проходила проектная программа по математике и теоретической информатике. На программу приехали 60 участников из разных регионов России. Это школьники 10-11 классов, которые прошли предварительный дистанционный отбор. Программа включала в себя пять проектов, посвященных булевым схемам, решеткам, раскраскам 3-графов, теории определимости, а также многочленам и графам.