|
СЕМИНАРЫ |
Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика"
|
|||
|
Структуры с итерацией Клини и их логики С. Л. Кузнецов |
|||
Аннотация: Итерация Клини является одной из наиболее интересных алгебраических операций, возникающих в теоретической информатике. В докладе будет рассказано об алгебраических структурах, в которых используется итерация Клини: алгебрах Клини, решётках Клини с делениями и проч., а также о связанных с ними субструктурных логических системах. |