Запрягаев Александр Александрович
- Стажер-исследователь:Международная лаборатория логики, лингвистики и формальной философии
- Старший преподаватель:Факультет компьютерных наук / Департамент больших данных и информационного поиска
- Начал работать в НИУ ВШЭ в 2019 году.
Образование
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Фундаментальная математика и механика», квалификация «Математик. Механик. Преподаватель»
Достижения и поощрения
- Персональная надбавка ректора (2022-2023)
Надбавка за публикацию в международном рецензируемом научном издании (2021-2022)
Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2021)
Учебные курсы (2023/2024 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)Рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
Учебные курсы (2018/2019 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 4 модуль)Рус
- Математический практикум (Бакалавриат; где читается: Факультет математики; 1-й курс, 1-4 модуль)Рус
Диссертация на соискание ученой степени кандидата наук
Запрягаев А. А. Интерпретации в слабых арифметических теориях
Публикации10
- Препринт Zapryagaev A. Some properties of Büchi Arithmetics / Cornell University. Series arXiv "math". 2023. doi
- Статья Запрягаев А. А. Об интерпретациях арифметики Пресбургера в арифметиках Бюхи // Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 510. С. 3-7. doi
- Препринт Zapryagaev A. On Interpretations in Buchi Arithmetics / Cornell University. Series arXiv "math". 2022.
- Препринт Zapryagaev A. On Interpretations in Büchi Arithmetics / Cornell University. Series arXiv "math". 2022. doi
- Глава книги Zapryagaev A. On the Names of Chinese Tones in Japanese, in: Japanese/Korean Linguistics Volume 29. CSLI Publications, 2022. P. 329-338.
- Глава книги Zapryagaev A. Presburger arithmetic and Visser's conjecture, in: Logical Perspectives 2021 Workshop / Сост.: L. D. Beklemishev, S. Kuznetsov. M. : , 2021. Ch. 18.
- Глава книги Запрягаев А. А. Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера // В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г. / Отв. ред.: В. И. Маркин. М. : Русское общество истории и философии науки, 2021. С. 16-18.
- Статья Pahomov F., Zapryagaev A. Multi-dimensional Interpretations of Presburger Arithmetic in Itself // Journal of Logic and Computation. 2020. Vol. 30. No. 8. P. 1681-1693. doi
- Препринт Zapryagaev A. Interpretations of Linear Orderings in Presburger Arithmetic / Cornell University. Series arXiv "math". 2019. No. 1911.07182.
- Глава книги Zapryagaev A., Pahomov F. Interpretations of Presburger Arithmetic in Itself, in: International Symposium on Logical Foundations of Computer Science, LFCS 2018 Vol. 10703. Springer, 2018. P. 354-367. doi
Конференции
- 202342ème Journées sur les Arithmétiques Faibles (JAF 42) (Karlovassi). Доклад: On interpretations in Buchi Arithmetics
- Третья конференция Математических центров России (Майкоп). Доклад: Linear orders interpretable in Presburger arithmetic
- 2019Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Интерпретации линейных порядков в арифметике Пресбургера
- The 15th Workshop on Altaic Formal Linguistics (Москва). Доклад: On the Infinitive of the Verb se-
- Omentielva Toltea (Рейкьявик). Доклад: Nómessen Lúmessenye Veryandion: On the “in front/at back”, “before/after” Relationships in Eldarin
- 2018Symposium on Logical Foundations Of Computer Science (LFCS 2018) (Deerfield Beach, FL). Доклад: Interpretations of Presburger Arithmetic in Itself
- 2017
Десятые Смирновские чтения по логике (Москва). Доклад: Интерпретации арифметики Пресбургера в себя
Journées sur les Arithmétiques Faibles 36 (Санкт-Петербург). Доклад: Interpretations in Presburger arithmetic
XXIV Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2017» (Москва). Доклад: Классификация линейных порядков, интерпретируемых многомерно варифметике Пресбургера
- Omentielva Otsea (Hayward, CA). Доклад: Poetic Metre and Prosody in Eldarin Languages
- 2016
Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов-2016» (Москва). Доклад: Интерпретации арифметики Пресбургера в себя
Опыт работы
Опыт преподавания:
01– 03.2020, Ведение семинаров по курсу «Логика и алгоритмы» на 2 курсе бакалавриата Факультета математики НИУ ВШЭ (лектор – доц. А. В. Кудинов). Участие в разработке учебно-методических материалов к курсу.
09– 12.2019, Ведение семинаров по секции «Логика» майнора «Математические структуры» для третьекурсников НИУ ВШЭ (лектор – проф. Л. Д. Беклемишев). Участие в разработке учебнометодических материалов к курсу.
04– 06.2018, Ведение семинаров по курсу «Логика и алгоритмы» на 2 курсе бакалавриата Факультета математики НИУ ВШЭ (лектор – проф. В. Б. Шехтман). Участие в разработке учебнометодических материалов к курсу.
весна 2018, Ведение, в рамках педагогической практики, семинаров по курсу «Математическая теория грамматик» (ТиПЛ филологического факультета МГУ, лектор – проф. М. Р. Пентус).
2012 – 2018, Проверка работ школьников 8-11 классов, включая пробные варианты ЕГЭ по математике, в рамках Открытого лицея «Всероссийская заочная многопредметная школа» при МГУ и Лицее «Вторая школа». Учебный руководитель – Н. В. Антонова.
2014 – 2015, Создание по поручению чл.-корр. РАН, проф. Л. Д. Беклемишева, доц. Т. Л. Яворской и ассистента С. Л. Кузнецова кафедрального пособия-конспекта по математической логике на основе спецкурса, прочитанного на механико-математическом факультете МГУ в 2014–2015 учебном году (см. здесь).
Информация*
Доклад Александра Запрягаева на Третьей Конференции математических центров в Майкопе
Стажер-исследователь МЛ ЛогЛинФФ, Александр Запрягаев, выступил с докладом «Линейные порядки, интерпретируемые в арифметике Пресбургера» на Третьей Конференции математических центров, которая проходила в Майкопе с 10 по 15 октября.
Выступление Александра Запрягаева на конференции «Дни слабых арифметик» в Греции
Александр Запрягаев выступил с докладом «On Interpretations in Büchi Arithmetics» на конференции 42ème Journées sur les Arithmétiques Faibles (Дни слабых арифметик), которая проходила 25-27 сентября (Карловаси, Самос, Греция).
Александр Запрягаев успешно защитил кандидатскую диссертацию
Поздравляем стажера-исследователя МЛ ЛогЛинФФ Александра Запрягаева с успешной защитой кандидатской диссертации на тему «Интерпретации в слабых арифметических теориях» (научный руководитель: Л.Д. Беклемишев).
Доклад Александра Запрягаева «Интерпретации в слабых арифметических теориях»
20 января состоялось 1-е в 2023 году заседание научно-исследовательского семинара «From the Logical Point of View». На семинаре Александр Запрягаев представил доклад «Интерпретации в слабых арифметических теориях».
Александр Запрягаев выступил на Московском фестивале языков
Стажер-исследователь лаборатории Александр Запрягаев выступил на Московском Международном Фестивале Языков, который проходил 11 декабря на базе Факультета гуманитарных наук ВШЭ, с лекциями "Иероглифический мир: как разные народы перековывали китайскую письменность под себя" и "Языки Толкиена"
Прошла предварительная защита кандидатской диссертации Александра Запрягаева "Interpretations of Weak Arithmetical Theories"
25 ноября на заседании научного семинара "Современные проблемы математической логики" в ВШЭ состоялась предварительная защита кандидатской диссертации Александра Запрягаева, написанной под
руководством Льва Беклемишева.
Александр Запрягаев выступил на второй конференции Математических центров России
С 7 по 11 ноября проходила вторая конференция Математических центров России (МГУ, МИАН). Александр Запрягаев выступил с докладом «Interpretations of Büchi arithmetics in themselves» на секции «Математическая логика и теоретическая информатика».
Проект перевода учебника ван Бентема "Modal Logic for Open Minds" был поддержан Издательским домом НИУ ВШЭ
Александр Запрягаев как переводчик классического учебника по модальной логике рассказал, почему важно, чтобы книга ван Бентема появилась на русском языке.
Доклад Александра Запрягаева на семинаре "From the Logical Point of View"
Александр Запрягаев, стажер-исследователь МЛ ЛогЛинФФ, выступил с докладом "Арифметики Бюхи и конечные автоматы"
Сотрудники МЛ ЛогЛинФФ получили академические надбавки
Опубликованы списки работников, получивших академические надбавки. Сотрудникам лаборатории Александру Запрягаеву и Наталье Зевахиной назначены надбавки 3 уровня за публикацию в международном рецензируемом научном издании.
Доклады сотрудников лаборатории на конференции "Смирновские чтения по логике"
24-26 июня в онлайн-формате прошла конференция «Двенадцатые Смирновские чтения по логике».
Опубликована статья Александра Запрягаева
В журнале "Journal of Logic and Computation" опубликована статья Фёдора Пахомова и Александра Запрягаева "Multi-dimensional Interpretations of Presburger Arithmetic in Itself".
Доклад Александра Запрягаева на научно-исследовательском семинаре "Современные проблемы математики"
6 ноября стажер-исследователь МЛ ЛогЛинФФ Александр Запрягаев выступил с докладом "Арифметика Бюхи и теорема Кобхэма-Семёнова" в рамках научно-исследовательского семинара "Современные проблемы математической логики" Факультета математики НИУ ВШЭ.