Семинары: М. Р. Пентус, Лекция 5. Последняя часть доказательства критерия выводимости для $L(\backslash)$ (полнота $S$ относительно сетей доказательства)

СЕМИНАРЫ


Спецкурс «Сложность исчисления Ламбека» 26 октября 2018 г. 16:45, г. Москва, механико-математический факультет МГУ

Лекция 5. Последняя часть доказательства критерия выводимости для $L(\backslash)$ (полнота $S$ относительно сетей доказательства) М. Р. Пентус Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Аннотация: Инъективность отображения $\gamma$. Полнота $S$ относительно сетей доказательства.