Аннотация:
Итерация Клини является одной из наиболее интересных алгебраических операций, возникающих в теоретической информатике. В докладе будет рассказано об алгебраических структурах, в которых используется итерация Клини: алгебрах Клини, решётках Клини с делениями и проч., а также о связанных с ними субструктурных логических системах.
Обратная связь: