Пятница, 24 апреля, комната 106. Начало в 18:00.
Докладчик: А. Смаль.
Тема: Миникурс: 'Логические основы теории сложности доказательств'. Лекция 3, заключительная.
Abstract
В связи с большим перерывом между лекциями, третья лекция начнётся с краткого резюме двух предыдущих лекций: будут воспроизведены основные определения и результаты, касающиеся системы секвенциальных доказательств для логики первого порядка
![$ \mathbf{LK} $](../../../sites/default/files/tex/51ac75d8fcafcc9aa5548c0d0fd51c6590070370/index.png)
, Арифметики Пеано и некоторых её подсистем. Содержательная часть лекции будет посвящена установлению взаимосвязи между ограниченной арифметикой и полиномиальной иерархией.