Спецкурс «Сложность исчисления Ламбека»

RUS ENG

Полная версия

СЕМИНАРЫ

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

Website:

https://lpcs.math.msu.su/~pentus/spec2018w.htm

RSS: Ближайшие семинары

Спецкурс «Сложность исчисления Ламбека», г. Москва

Лекция 10. Критерий выводимости для $L^*(\backslash,/,\cdot)$ М. Р. Пентус 7 декабря 2018 г. 16:45 г. Москва, механико-математический факультет МГУ
Лекция 9. Завершение доказательства критерия выводимости для $L^*(\backslash,/)$ М. Р. Пентус 23 ноября 2018 г. 16:45 г. Москва, механико-математический факультет МГУ
Лекция 8. Начало доказательства критерия выводимости для $L^*(\backslash,/)$ М. Р. Пентус 16 ноября 2018 г. 16:45 г. Москва, механико-математический факультет МГУ
Лекция 7. Формулировка критерия выводимости для $L^*(\backslash,/)$ М. Р. Пентус 9 ноября 2018 г. 16:45 г. Москва, механико-математический факультет МГУ
Лекция 6. Быстрый алгоритм поиска сети доказательства для $L(\backslash)$ М. Р. Пентус 2 ноября 2018 г. 16:45 г. Москва, механико-математический факультет МГУ
Лекция 5. Последняя часть доказательства критерия выводимости для $L(\backslash)$ (полнота $S$ относительно сетей доказательства) М. Р. Пентус 26 октября 2018 г. 16:45 г. Москва, механико-математический факультет МГУ
Лекция 4. Вторая часть доказательства критерия выводимости для $L(\backslash)$ (корректность $S$ относительно $L(\backslash)$) М. Р. Пентус 19 октября 2018 г. 16:45 г. Москва, механико-математический факультет МГУ
Лекция 3. Первая часть доказательства критерия выводимости для $L(\backslash)$ (полнота $S$ относительно $L(\backslash)$) М. Р. Пентус 12 октября 2018 г. 16:45 г. Москва, механико-математический факультет МГУ
Лекция 2. Критерий выводимости для $L(\backslash)$ М. Р. Пентус 5 октября 2018 г. 16:45 г. Москва, механико-математический факультет МГУ
Лекция 1. Исчисление Ламбека М. Р. Пентус 21 сентября 2018 г. 16:45 г. Москва, механико-математический факультет МГУ