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