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

СЕМИНАРЫ


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

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