Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Пшеницын Тихон Григорьевич

Студент кафедры (4 курс)
E-mail адресptihon at yandex.ru
Научные интересыИсчисление Ламбека, формальные языки, графовые грамматики, математическая лингвистика.

Родился 21 апреля 2000 года в Москве. Выпускник изобретательского профиля 179-й школы.

Студент 4 курса (2020-2021 год) кафедры математической логики и теории алгоритмов МГУ.

Научный руководитель: д.ф.-м.н., проф. Пентус Мати Рейнович.

Профиль в системе ИСТИНА: https://istina.msu.ru/profile/TPshenitsyn/.

Публикации и доклады на конференциях

  1. Pshenitsyn T. (2021) Powerful and NP-Complete: Hypergraph Lambek Grammars. In: Gadducci F., Kehrer T. (eds) Graph Transformation. ICGT 2021. https://doi.org/10.1007/978-3-030-78946-6_6
  2. Pshenitsyn T. (2021) Grammars Based on a Logic of Hypergraph Languages. GCM 2021, June 22. In Pre-proceedings of the Twelvth International Workshop on Graph Computation Models, Online-Workshop. https://sites.google.com/view/gcm2021/pre-proceedings?authuser=0
  3. Пшеницын Т. (2021) Исчисление Ламбека с операциями следования и предшествования. Доклад на международном молодежном научном форуме «Ломоносов-2021».
  4. Pshenitsyn T. (2020). Weak Greibach Normal Form for Hyperedge Replacement Grammars. In Proceedings of the Eleventh International Workshop on Graph Computation Models, Online-Workshop. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GCM7
  5. Pshenitsyn T. (2020) Hypergraph Basic Categorial Grammars. In: Gadducci F., Kehrer T. (eds) Graph Transformation. ICGT 2020. https://doi.org/10.1007/978-3-030-51372-6_9
  6. Пшеницын Т. (2020) Последовательное замыкание классов языков относительно пересечений и гомоморфизмов. Доклад на международной конференции «Ломоносов-2020».
  7. Pshenitsyn T. (2019) Optional division Lambek calculus grammars. Доклад на European Summer School in Logic, Language and Information. https://www.researchgate.net/publication/336990011_Optional_Division_Lambek_Calculus_Grammars
  8. Пшеницын Т. (2019) Групповые грамматики и контекстно-свободные грамматики. Доклад на международной конференции «Ломоносов-2019» (отмечен как лучший в секции «Математическая логика, алгебра и теория чисел»).

Препринты и планируемые доклады

Научные интересы и связанная с ними деятельность

Под руководством Мати Рейновича я изучаю исчисление Ламбека. Мне интересны задачи, связанные с формальными грамматиками и формальными языками, в частности вопросы обобщения формальных грамматик на графы (на них отвечает теория графовых грамматик). Проект, составляющий основу моих текущих исследований, заключается в обобщении исчисления Ламбека на гиперграфы и изучении особенностей и свойств получающегося формализма.

Свои исследования я представлял на международных конференциях, а также на объединенном семинаре «Логические проблемы информатики» и «Модальная и алгебраическая логика» (см. http://logic.math.msu.ru/obedinennyj-seminar/).

Иные интересы

Я увлекаюсь лингвистикой, в том числе математической лингвистикой (к которой можно отнести и исчисление Ламбека) и олимпиадной лингвистикой.

  • Участвовал в Европейской летней школе по логике, языку и информации в 2019 году (ESSLLI-2019).
  • В школьные годы дважды становился победителем всероссийской олимпиады школьников по русскому языку.
  • Участвовал в Летней лингвистической школе (http://www.lingling.ru/sschool/) в 2016-2019 годах (как школьник и как помощник-студент).
  • Помогал в организации Устной олимпиады по лингвистике (https://vk.com/hseling.for.school) в 2018-2020 годах составлением и приемом задач.
  • В 2019-2020 году вместе с коллегой и учительницей Телешевой Ольгой Дмитриевной проводил кружок «Вокруг света за 273 дня» для школьников 6-7 классов, в рамках которого мы с учениками погружались в языки и культуры народов мира.
  • Учил новогреческий язык.