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