Запрягаев Александр Александрович
- Стажер-исследователь:Международная лаборатория логики, лингвистики и формальной философии
- Преподаватель:Факультет компьютерных наук / Департамент больших данных и информационного поиска
- аспирант:Факультет математики
- Начал работать в НИУ ВШЭ в 2019 году.
Образование
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Фундаментальная математика и механика», квалификация «Математик. Механик. Преподаватель»
Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2021)
Обучение в аспирантуре
3-й год обучения
Утвержденная тема диссертации: Интерпретации в слабых арифметических теориях
Научный руководитель: Беклемишев Лев Дмитриевич
Учебные курсы (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 модуль)Рус
Публикации3
- Статья 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 arxive "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
Конференции
- 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» (Москва). Доклад: Интерпретации арифметики Пресбургера в себя
Опубликована статья Александра Запрягаева
В журнале "Journal of Logic and Computation" опубликована статья Фёдора Пахомова и Александра Запрягаева "Multi-dimensional Interpretations of Presburger Arithmetic in Itself".
Доклад Александра Запрягаева на научно-исследовательском семинаре "Современные проблемы математики"
6 ноября стажер-исследователь МЛ ЛогЛинФФ Александр Запрягаев выступил с докладом "Арифметика Бюхи и теорема Кобхэма-Семёнова" в рамках научно-исследовательского семинара "Современные проблемы математической логики" Факультета математики НИУ ВШЭ.