Alexander Zapryagaev
- Research Assistant:International Laboratory for Logic, Linguistics and Formal Philosophy
- Senior Lecturer:Faculty of Computer Science / Big Data and Information Retrieval School
- Alexander Zapryagaev has been at HSE University since 2019.
Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Researchers" (2021)
Courses (2023/2024)
- Discrete Mathematics (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Past Courses
Courses (2022/2023)
- Differential Equations (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Courses (2021/2022)
- Computability and Complexity (Minor; Faculty of Mathematics; 3, 4 module)Rus
- Differential Equations (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Mathematical Logic (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Courses (2020/2021)
- Differential Equations (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Discrete Mathematics 2 (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Courses (2019/2020)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
Courses (2018/2019)
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 4 module)Rus
- Mathematics Practical Training (Bachelor’s programme; Faculty of Mathematics; 1 year, 1-4 module)Rus
Dissertation for a degree of Candidate of Science
2023
A. Zapryagaev Interpretations in weak arithmetical theories
Publications9
- Article Запрягаев А. А. Об интерпретациях арифметики Пресбургера в арифметиках Бюхи // Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 510. С. 3-7. doi
- Preprint Zapryagaev A. On Interpretations in Buchi Arithmetics / Cornell University. Series arXiv "math". 2022.
- Preprint Zapryagaev A. On Interpretations in Büchi Arithmetics / Cornell University. Series arXiv "math". 2022. doi
- Chapter Zapryagaev A. On the Names of Chinese Tones in Japanese, in: Japanese/Korean Linguistics Volume 29. CSLI Publications, 2022. P. 329-338.
- Chapter Zapryagaev A. Presburger arithmetic and Visser's conjecture, in: Logical Perspectives 2021 Workshop / Сост.: L. D. Beklemishev, S. Kuznetsov. M. : , 2021. Ch. 18.
- Chapter Запрягаев А. А. Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера // В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г. / Отв. ред.: В. И. Маркин. М. : Русское общество истории и философии науки, 2021. С. 16-18.
- Article 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
- Preprint Zapryagaev A. Interpretations of Linear Orderings in Presburger Arithmetic / Cornell University. Series arXiv "math". 2019. No. 1911.07182.
- Chapter 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
Conferences
- 2019Одиннадцатые Смирновские чтения по логике (Москва). Presentation: Интерпретации линейных порядков в арифметике Пресбургера
- Russian Workshop on Complexity and Model Theory (Долгопрудный). Presentation: Linear Orderings Interpreted in Presburger Arithmetic
- The 15th Workshop on Altaic Formal Linguistics (Москва). Presentation: On the Infinitive of the Verb se-
- Omentielva Toltea (Рейкьявик). Presentation: Nómessen Lúmessenye Veryandion: On the “in front/at back”, “before/after” Relationships in Eldarin
- 2018
Конференция «Ломоносов 2018» (Москва). Presentation: Необходимые и достаточные условия интерпретируемости линейныхпорядков в арифметике Пресбургера
- Symposium on Logical Foundations Of Computer Science (LFCS 2018) (Deerfield Beach, FL). Presentation: Interpretations of Presburger Arithmetic in Itself
- 2017
Десятые Смирновские чтения по логике (Москва). Presentation: Интерпретации арифметики Пресбургера в себя
Journées sur les Arithmétiques Faibles 36 (Санкт-Петербург). Presentation: Interpretations in Presburger arithmetic
XXIV Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2017» (Москва). Presentation: Классификация линейных порядков, интерпретируемых многомерно варифметике Пресбургера
- Omentielva Otsea (Hayward, CA). Presentation: Poetic Metre and Prosody in Eldarin Languages
- 2016
Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов-2016» (Москва). Presentation: Интерпретации арифметики Пресбургера в себя
The new article of Alexander Zapryagaev
The article "Multi-dimensional Interpretations of Presburger Arithmetic in Itself" written by Fedor Pakhomov and Alexander Zapryagaev was published in the academic journal “Journal of Logic and Computation”.