Кузнецов Степан “Звездочка Клини и бесконечные вычисления“

НИС на матфаке ВШЭ “Современные проблемы математической логики“ Докладчик: Кузнецов Степан Львович Название доклада: Звёздочка Клини и бесконечные вычисления Время: 18 сен 2020 04:20 PM Москва Абстракт Линейная логика и её варианты используются, в частности, для моделирования вычислительных процессов. При этом набор инструкцию вычислительной машины хранится в формулах под знаком экспоненциальной модальности. Эта модальность допускает правило сокращения, которое