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

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

Обложка видеоролика:
С.Л. Кузнецов. Лямбда-исчисление. Семинар 1
Смотреть видео:
С этим видео смотрят следующие ролики:
С.Л. Кузнецов. Лямбда-исчисление. Семинар 2
С.Л. Кузнецов. Лямбда-исчисление. Семинар 2
МЦМУ МИАН
С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 1
С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 1
МЦМУ МИАН
С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 3
С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 3
МЦМУ МИАН
С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 2
С.Л. Кузнецов, Т.Г. Пшеницын. Исчисление Ламбека с операцией круллева пересечения — 2
МЦМУ МИАН
Введение в исчисление Гудвилли. Семинар 10. Горинов А. Г.
Введение в исчисление Гудвилли. Семинар 10. Горинов А. Г.
Mathematics at HSE
Введение в исчисление Гудвилли. Семинар 11. Горинов А. Г.
Введение в исчисление Гудвилли. Семинар 11. Горинов А. Г.
Mathematics at HSE
Введение в исчисление Гудвилли. Семинар 12. Горинов А. Г.
Введение в исчисление Гудвилли. Семинар 12. Горинов А. Г.
Mathematics at HSE

 

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


06:53
Нет комментариев. Ваш будет первым!
Загрузка...