Пятница, 20 марта, 18:00, к. 106

  • The directory /tmp/drutex-c3c654fdf57ca1165330b12f8d52a70b-1 has been created.
  • The directory /tmp/drutex-c3c654fdf57ca1165330b12f8d52a70b-2 has been created.
  • The directory /tmp/drutex-c3c654fdf57ca1165330b12f8d52a70b-3 has been created.

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

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

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

Abstract

Лекция начнется с рассказа о Генценовской системе для пропозициональной логики (TeX Embedding failed!) и логики первого порядка (TeX Embedding failed!). Потом будет обсуждаться арифметика Пеано и некоторые её подсистемы. Основной упор будет сделан на систему TeX Embedding failed!, с помощью которой в дальнейшем мы установим связь между ограниченной арифметикой и полиномиальной иерархией.