01:22:11
MIPT-Coq-26-Lect-03
Описание
Интерактивное доказывание теорем (Coq) в МФТИ. Темы: расходящиеся цепочки редукций; кодирование истины и лжи, нумералы Чёрча; представление логических и арифметических функций в бестиповом лямбда-исчислении; композиция функций; сравнение с нулем; оператор условного перехода; кодирование пар; итерация.
Рекомендуемые видео
Этот Рэнж ломается быстрее, чем мы его чиним...
255 117 просмотров
ПОПАДАНЦЫ АУДИОКНИГА: ПУТЬ ОФИЦЕРА В ЧУЖОМ МИРЕ СЛУШАТЬ
157 146 просмотров
ПОПАДАНЦЫ АУДИОКНИГА: БРОДЯГА И ЕГО ВЕРНЫЙ ПЁС
209 354 просмотров
Лига справедливости Зака Снайдера (2021) / Zack Snyder's Justice League
1 029 998 просмотров
Молодые ножи. Новая кровь, 2 сезон, 1 выпуск
816 469 просмотров
ПОПАДАНЦЫ АУДИОКНИГА: РОЖДЁННЫЙ НЕ ДЛЯ СВОЕГО ВРЕМЕНИ
126 778 просмотров
Операция "Багратион". От поражения к победе.
294 448 просмотров
ПОПАДАНЦЫ АУДИОКНИГА: КОМАНДИР ВНЕ ВРЕМЕНИ
71 856 просмотров
Человек-паук: Нет пути домой (2021) / Spider-Man: No Way Home
763 501 просмотров
Гладиатор 2 (фильм, 2024)
1 783 406 просмотров
МЫ КУПИЛИ НЯНЕ ПОПУГАЯ на 7 000 000 Подписчиков ! Трогательно
531 880 просмотров
24 ЧАСА ГОВОРЮ СВОЕМУ РЕБЕНКУ только ДА ЧЕЛЛЕНДЖ 2025!
949 654 просмотров
Гладиатор (2000) / Gladiator
996 203 просмотров
ПОПАДАНЦЫ АУДИОКНИГА: ЛЕГЕНДА О СОКОЛЕ СЛУШАТЬ
71 631 просмотров
Создатель (фильм, 2023)
2 233 542 просмотров
Зеленая миля (1999) / The Green Mile
254 343 просмотров
Босс-молокосос (мультфильм, 2017)
2 959 320 просмотров
Гарри Поттер и Принц-полукровка (фильм, 2009, 6 часть)
6 338 255 просмотров
Гарри Поттер и философский камень (2001) / Harry Potter and the Sorcerer's Stone
1 231 593 просмотров
Монстры на каникулах 3: Море зовёт (2018)
4 266 187 просмотров