| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Спецкурс «Сложность исчисления Ламбека»
|
|||
|
|
|||
|
Лекция 7. Формулировка критерия выводимости для М. Р. Пентус Московский государственный университет имени М. В. Ломоносова, механико-математический факультет |
|||
|
Аннотация: Критерий Ю. В. Саватеева для выводимости в исчислении Ламбека с двумя делениями, допускающего пустые антецеденты. |
|||