Алгебраические логики с итерацией Клини (Степан Кузнецов)

Математический семинар ФКН Итерация, или звездочка, Клини — это одна из наиболее интересных алгебраических операций, используемых в теоретической информатике. Алгебраические структуры с итерацией Клини, развившиеся из известной алгебры регулярных выражений, широко используются для описания формальных языков и для моделирования вычислительных процессов. В связи с этим интерес представляют алгебраические логики для структур с итерацией — т.е. логические исчисления, описывающие тождества, истинные в таких структурах — их алгоритмическая разрешимость и сложность. Эти логики оказываются неклассическими (точнее, субструктурными) вариантами логики высказываний, однако, за счет индуктивной природы звездочки Клини, приобретают некоторые черты намного более сильных систем, таких как формальная арифметика. В докладе будет дан обзор результатов об алгебраических логиках с итерацией Клини, как ранее известных, так и принадлежащих докладчику. Докладчик: Степан Кузнецов, доцент департамента анализа данных и искусственного интеллекта, старший научный сотрудник международной лаборатории интеллектуальных систем и структурного анализа; МИАН им. В.А. Стеклова. 31 марта 2023 Математический семинар ФКН: ФКН: ​​ Подписывайтесь на нас в социальных сетях: ​​/, , ​/