14 октября в 19:00 по новосибирскому времени (18:00 по омскому, 15:00 по московскому) пройдёт семинар
Омского филиала Математического центра в Академгородке №224. С докладом
«Structures with non-standard Kleene stars» выступит
Степан Кузнецов (Математический институт им. В. А. Стеклова РАН).
Kleene iteration, or Kleene star, is one of the most intriguing algebraic operations appearing in theoretical computer science. Usually, the Kleene star is interpreted as the limit of n-th powers of an element. This is how it behaves in algebras of formal languages and in relational algebras. In the talk, we shall show some examples of structures with non-standard Kleene iteration, and apply them to proving some results for corresponding logical theories.
Чтобы присоединиться к семинару, за несколько минут до начала подключитесь к конференции Zoom по ссылке
https://us02web.zoom.us/j/81220793393 или вручную, введя номер конференции 812 2079 3393 в приложении Zoom.
Обратите, пожалуйста, внимание на следующие правила проведения интернет семинара:
- Желательно входить под своим именем и фамилией
- На время доклада просьба отключить микрофон
- Для удобства докладчика рекомендуется размещать вопросы заранее в чате
