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

Описание

Исчисление полиномов, импликационная полнота. PC, PCR, моделирование резолюции, поиск доказательств, связь степени и числа мономов в доказательтве.

Системы Фреге, игры Пудлака-Басса. Доказательство эквивалентности систем (обычных и древовидных) Фреге и игр. Системы Фреге ограниченной глубины.

Видео

Материалы

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