Запрягаев Александр Александрович
- Стажер-исследователь:Международная лаборатория логики, лингвистики и формальной философии
- аспирант:Факультет математики
- Начал работать в НИУ ВШЭ в 2019 году.
Образование
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Фундаментальная математика и механика»
Обучение в аспирантуре
2-й год обучения
Утвержденная тема диссертации: Интерпретации в слабых арифметических теориях
Научный руководитель: Беклемишев Лев Дмитриевич
Учебные курсы (2019/2020 уч. год)
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Архив учебных курсов
Учебные курсы (2018/2019 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 4 модуль)Рус
- Математический практикум (Бакалавриат; где читается: Факультет математики; 1-й курс, 1-4 модуль)Рус
Публикации2
- Препринт 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. (в печати)
Конференции
- 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» (Москва). Доклад: Интерпретации арифметики Пресбургера в себя
