Формализация математических текстов через теорию дискурса

23 May 2023, 13:15
15m
202 НК (МФТИ)

202 НК

МФТИ

Computer & Data Science Computer & Data Science 23

Speaker

Сания Хасанянова (МФТИ)

Description

Первая часть данной работы заключалась в том, чтобы разобраться, что из себя представляют синтаксические деревья разбора для естественного языка. Была изучена соответствующая теория. Затем были изучены существующие деревья разбора для формул. Следующий шаг заключался в том, чтобы разобраться в понятии теории дискурса. Было рассмотрено, из каких элементов состоит описание теории дискурса. Были приведены примеры текста и формул, выписанных в теории дискурса. Была предпринята попытка взять дерево разбора для естественного языка и дерево разбора для формул и соединить их.

Primary author

Co-author

Presentation materials