• Видеоуроки по математике для студентов
• МЦМУ МИАН
• С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 2

С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 2

Канал видеоролика: МЦМУ МИАН

Обложка видеоролика:

Смотреть видео:

С этим видео смотрят следующие ролики:

С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 1

МЦМУ МИАН

С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 3

МЦМУ МИАН

Лекция 13. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики

МЦМУ МИАН

С.Л. Кузнецов. Лямбда-исчисление. Семинар 1

МЦМУ МИАН

С.Л. Кузнецов. Лямбда-исчисление. Семинар 2

МЦМУ МИАН

С.Л. Кузнецов. Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 3

МЦМУ МИАН

С.Л. Кузнецов. Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 4

МЦМУ МИАН

 

Облегчи жизнь другим ученикам - поделись! (плюс тебе в карму):

07.04.2025 01:22