Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Пятница, 18 октября 2019, 18:10–19:45
Где: НГУ, ауд. 4117

Описание

Игровая характеризация ширины резолционного доказательства. Оценка памяти нужной для реализации доказательства через ширину.

Система доказательств секущие плоскости (cutting planes). Моделирование резолюции, короткое доказательство принципа Дирихле.

Видео

Материалы

Текущая версия конспекта тут: https://logic.pdmi.ras.ru/~dmitrits/nsu/pc.pdf