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