#матлог #учёба #просеминар

💥В среду 17 декабря состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: "Полугруппы с делениями - продолжение" (Пшеницын Тихон, выпускник кафедры, аспирант МИАН).
✨Аннотация. Бинарные отношения с операцией композиции, формальные языки с операцией конкатенации, компакты R^n с суммой Минковского — примеры полугрупп с делениями. На каждой из этих структур можно определить операции левого деления a\b и правого деления b/a, связанные с полугрупповой операцией соответствием Галуа. На занятии мы исследуем различные виды полугрупп с делениями и сравним их с точки зрения того, какие законы в них выполняются. Мы также рассмотрим смежный вид структур — прегруппы — и разберем пример, как ученые с помощью прегрупп описывают синтаксис предложений естественных языков.
✨Можно заранее порешать задачи (прикреплены к посту).

✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 Handout_Proseminar_Residuated_Semigroups.pdf

➰ ВК