Пятница, 16 апреля, комната 106. Начало в 18:00.
Докладчик: С. И. Николенко.
Тема: Ограниченная арифметика и резолюционные системы доказательств.
Настоящий доклад продолжает доклад о системах d-LK, сделанный в прошлом семестре. В этот раз будет рассказано, что такое ограниченная арифметика и как она связана с системами d-LK. Будут описано, как доказательства из d-LK трансформируются в формулы ограниченной арифметики, откуда следует экспоненциальное разделение между различными формами ограниченной арифметики.