Home

Пятница, 24 апреля, 18:00, к. 106

Пятница, 24 апреля, комната 106. Начало в 18:00.

Докладчик: А. Смаль.

Тема: Миникурс: 'Логические основы теории сложности доказательств'. Лекция 3, заключительная.

Abstract

В связи с большим перерывом между лекциями, третья лекция начнётся с краткого резюме двух предыдущих лекций: будут воспроизведены основные определения и результаты, касающиеся системы секвенциальных доказательств для логики первого порядка $ \mathbf{LK} $, Арифметики Пеано и некоторых её подсистем. Содержательная часть лекции будет посвящена установлению взаимосвязи между ограниченной арифметикой и полиномиальной иерархией.