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

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