01:13:26
MIPT-FP-23-Lect-02
Описание
Функциональное программирование в МФТИ. Темы: булевы и арифметические функции в бестиповом лямбда-исчислении.
Вниманию зрителей: теоретическая часть у курса общая с курсом про Coq.
Рекомендуемые видео
Ворота | The Gates (2026)
85 455 просмотров
Монстры на каникулах: Трансформания (2022) / Hotel Transylvania: Transformania
2 100 просмотров
Снайпер (2014) / American Sniper
6 454 просмотров
Жена мясника | The Butcher's Wife (1991)
3 976 просмотров
Нам казалось, что это будет лёгкое оживление…
248 388 просмотров
Кейпоперши-охотницы на демонов (2025) / KPop Demon Hunters
2 552 302 просмотров
Армагеддон (1998) / Armageddon
2 691 просмотров
Мумия (2026) / The Mummy / TS
16 806 просмотров
Новая битва экстрасенсов, 25 сезон, 9 выпуск
0 просмотров
СТРАШНЫЕ АНОМАЛИИ У НАС ДОМА 😱
194 869 просмотров
ТИТАНЫ, 4 сезон, 14 выпуск. ФИНАЛ
2 681 091 просмотров
Холодное сердце 2 (2019)
4 001 358 просмотров
Тестируем 18 Разных Вин 🍷 | Сажаю Картошку 🥔 | Нашла Саженцы 🍓 | Семейный Влог Эгине | Heghineh
7 684 просмотров
Сокровища императора, 3 сезон, 1 выпуск
6 077 723 просмотров
Мы убили Пассат своими руками:( Конец проекта...
379 796 просмотров
Шурф в исчезнувшей деревне #561
0 просмотров
Телефонное мошенничество. Автор - моряк Андрей
5 205 просмотров
LIGHTNING MCQUEEN У МЕНЯ ДОМА в Реальной Жизни! Скрытые камеры
33 378 просмотров
Гарри Поттер и Дары Смерти: Часть II (фильм, 2011, 8 часть)
4 718 117 просмотров
GOAT: Мечтай по-крупному (2026) / GOAT
669 399 просмотров