Семинар-130

Расширенный семинар отдела
вычислительных систем ИММ УрО РАН

Доклад


Когда и где
18 мая 2026 г. 16:00, понедельник
Академия НОЦ (К-211 нового здания) и online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve
Докладчики
  • Патракеев Михаил Александрович
Название
Рефлектика
Аннотация
На час позже обычного. Встреча пройдет в 16 часов, а не в 15 по просьбе докладчика.

Рефлектика — это разработанный мною формальный язык и, одновременно, исчисление.
В первую очередь рефлектика интересна тем, что в аспекте выразительной силы она гораздо ближе к естественным языкам (таким как русский или английский), чем другие известные мне формальные языки

На первом докладе я рассказывал об одном применении рефлектики. На этом докладе я расскажу о том, как рефлектика строится и как она устроена.
Презентация
Ссылка на видео
Видео

Вернуться к списку новостей