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

Семинары

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

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

М. Р. Пентус

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

*Видеозаписи:*
	MP4	2,437.7 Mb

Аннотация: Инъективность отображения $\gamma$. Полнота $S$ относительно сетей доказательства.

Обратная связь: