Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Исчисление Ламбека

Спецкурс читает М. Р. Пентус.

Программа спецкурса: синтаксическое исчисление Ламбека и грамматики Ламбека, устранимость сечения в секвенциальном исчислении Ламбека и её следствия, открытые проблемы, относящиеся к фрагментам и вариантам исчисления Ламбека, языковые и реляционные модели, некоммутативная линейная логика.

На сайте выложен конспект спецкурса 2005/2006 года.