• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
французский
японский
Контакты
Телефон:
15304
Адрес: Усачева ул., д. 6, каб. 417
Время присутствия: четверг
Расписание
SPIN РИНЦ: 1112-3424
ORCID: 0000-0002-6933-2463
ResearcherID: ABD-3594-2020
Scopus AuthorID: 57200088341
Google Scholar
Блоги и соц. сети
VK
Twitter
Academia.edu
Руководители
Беклемишев Л. Д.
Подольский В. В.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Запрягаев Александр Александрович

  • Начал работать в НИУ ВШЭ в 2019 году.

Полномочия / обязанности

Проведение научно-педагогической деятельности.

Образование

2018

Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Фундаментальная математика и механика», квалификация «Математик. Механик. Преподаватель»

Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2021)

Обучение в аспирантуре

4-й год обучения
Утвержденная тема диссертации: Интерпретации в слабых арифметических теориях
Научный руководитель: Беклемишев Лев Дмитриевич

Учебные курсы (2022/2023 уч. год)

Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус

Учебные курсы (2021/2022 уч. год)

Учебные курсы (2020/2021 уч. год)

Учебные курсы (2019/2020 уч. год)

Учебные курсы (2018/2019 уч. год)

Публикации6

Конференции

  • 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
  • 2018
    Symposium 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 ноября стажер-исследователь МЛ ЛогЛинФФ Александр Запрягаев выступил с докладом "Арифметика Бюхи и теорема Кобхэма-Семёнова" в рамках научно-исследовательского семинара "Современные проблемы математической логики" Факультета математики НИУ ВШЭ.