Доклад Михаила Рыбакова «Логики для описания вычислений: синтаксис, семантика, сложность»

24 сентября М.Н.Рыбаков сделал доклад «Логики для описания вычислений: синтаксис, семантика, сложность» на семинаре «Нестандартные логики» имени Л.Л.Максимовой, проходящем в ИМ СО РАН. 

На докладе был представлен обзор результатов, касающихся сложности проблемы разрешения различных пропозициональных логических систем, язык которых позволяет описывать вычисления.