Кудинов Андрей Валерьевич
- доцент: Факультет математики
- Начал работать в НИУ ВШЭ в 2012 году.
- Научно-педагогический стаж: 17 лет.
- Владение языками
- английский
- Контакты
- Телефон:
15304 - Адрес: Усачёва ул., д. 6, каб. 417
Время присутствия: пятница 15:00-16:20, telegram: @AndreyLogic, skype, zoom по договоренности.
- ORCID: 0000-0003-0162-2306
- ResearcherID: B-4654-2016
- Scopus AuthorID: 55117642700
- Google Scholar
- Руководитель
- Скрипченко А. С.
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.
Oбразование и учёные степени
Модальная логика, топологическая и окрестностная семантика, логика знания, теория алгоритмов и алгоритмическая сложность
Достижения и поощрения
Надбавка за публикацию в международном рецензируемом научном издании (2018–2019)
Учебные курсы (2024/2025 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики направление: 01.03.01 Математика; 3-й курс, 3, 4 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики направление: 01.03.01 Математика; 2-й курс, 3, 4 модуль)рус
- Математическая логика на Python (Бакалавриат направление: 01.03.02 Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01 Математика; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01 Математика; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01 Математика; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01 Математика; 1-й курс, 3, 4 модуль)рус
- Пропозициональные логические системы (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 3-й курс, 3, 4 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 1-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
Учебные курсы (2022/2023 уч. год)
- Научно-исследовательский семинар "Алгебраическая логика" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 3-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 1-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
- Элементы математической логики (Дисциплина общефакультетского пула; 1, 2 модуль)рус
Учебные курсы (2020/2021 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 2-й курс, 3, 4 модуль)рус
- Математика. Лиценциат (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 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
Участие в научно-исследовательских грантах
Участвовал в следующих грантах РФФИ: 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-графов, теории определимости, а также многочленам и графам.