MadeStone
MIPT-Coq-26-Lect-03
Описание
Интерактивное доказывание теорем (Coq) в МФТИ. Темы: расходящиеся цепочки редукций; кодирование истины и лжи, нумералы Чёрча; представление логических и арифметических функций в бестиповом лямбда-исчислении; композиция функций; сравнение с нулем; оператор условного перехода; кодирование пар; итерация.
Рекомендуемые видео
Вася угощает | Новый год
36 254 просмотров
Ставка на любовь, 1 сезон, 1 выпуск
4 028 560 просмотров
Экстрасенсы. Реванш, 1 сезон, 1 выпуск
5 042 391 просмотров
Надежда (фильм, 2026) / Hopeu
491 021 просмотров
Запасаем сёмгу на праздники по выгодной цене. Поездка в сад к курочкам. Печём сосиски в тесте.
57 190 просмотров
Обитель зла | Resident Evil (2026,4K)
1 757 500 просмотров
Кей-поп охотницы на демонов (мультфильм 2025) / K-Pop Demon Hunters
1 380 157 просмотров
Дети перемен, 1 сезон, 1 серия
1 290 982 просмотров
Гадкий я 3 (2017) / Despicable Me 3
3 747 832 просмотров
Александр Коц: «Над линией боя висят тысячи дронов» // ЭМПАТИЯ МАНУЧИ
269 136 просмотров
Шторм, 1 сезон, 1 серия
300 201 просмотров
Как победа демократов изменит расстановку сил в Вашингтоне?
204 969 просмотров
Аллен (фильм, 2026) / Allen
9 024 просмотров
Выиграли КИКИМА в БИТВЕ МЕХАНИКОВ и испытали в болоте
76 849 просмотров
Коралина в Стране Кошмаров (2009)
2 843 246 просмотров
СБОРНИК СКАЗОК Колобок, Жихарка, Умная Дочка, Нехороший Мальчик
8 734 884 просмотров
Звезды в джунглях, 3 сезон, 2 выпуск
218 019 просмотров
Тело - 1 серия (сериал, 2026) / The Body
3 214 просмотров
Последний рассвет (фильм, 2026) / The Last Sunrise
706 673 просмотров
Хороший адвокат | Un bon avocat (2026, 4K)
25 176 просмотров