Лекционные курсы Научно-образовательного центра МИАН
Вычислительная теория доказательств и лямбда-исчисление.
Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении
30 сентября 2019 г. МИАН, комн. 530 (г. Москва, ул. Губкина, 8)
Источник:
Все видео курса:
9 views
779
261
2 weeks ago 01:40:31 1
Коровы. Глобалисты. Инопланетяне.
2 weeks ago 00:56:32 1
Графический дизайн с нуля за 1 час! (уроки для начинающих)
3 weeks ago 01:27:53 1
ЭНДОК 10 семестр 1 лекция Лечение 1 и 2 типов сахарного диабета Бондарь И А
3 weeks ago 00:32:58 1
Алексей Султанов. “Зачем вы так поступили со мной?“ Конкурсы и инсульты.
3 weeks ago 01:14:27 1
1.5 Первая российская революция 1905–1907 гг.
3 weeks ago 01:26:58 19
1876 год: начало подготовки России и Турции к войне друг с другом / Борис Кипнис / №153