Город: Санкт-Петербург Казань Язык: Русский English
Что: Лекция
Когда: Вторник, 19 сентября 2017, 18:30–20:00
Где: ПОМИ РАН

Описание

Ветвящиеся программы как доказательство невыполнимости формулы. Одноразовые ветвящиеся программы. Резолюционные доказательства. Построение ветвящейся программы по резолюционному доказательству. Построение резолюционного доказательства по одноразовой ветвящейся программе. Нижняя оценка для принципа Дирихле.