01:59:27
MIPT-Coq-24-Lect-13
Описание
Интерактивное доказывание теорем (Coq) в МФТИ. Темы: метод рефлексии, индуктивные "спецификации" булевозначных предикатов, разрешимые предикаты; индуктивное определение перестановок; индуктивное определение неубывания; спецификация алгоритма сортировки.
Рекомендуемые видео
Как увидеть РАЗВОРОТ на рынке акций?
10 995 просмотров
Престиж, 1 сезон, 1 серия
74 443 просмотров
Человек-паук: Нет пути домой (2021) / Spider-Man: No Way Home
2 291 467 просмотров
Сериал Джентльмены - 1 сезон 1 серия «Изысканная агрессия» / The Gentlemen
271 359 просмотров
Идеальный ЛуАЗ-967 ТПК и его хозяйка Юля
61 576 просмотров
Мастер игры, 2 сезон, 8 выпуск
314 162 просмотров
Бэтмен против Супермена: На заре справедливости | Batman v Superman: Dawn of Justice (2016)
501 462 просмотров
Мама для Лаки: сборник с Беби Бон Эмили, коляской и заботой о куклах 🐰🚼 | Для детей
286 838 просмотров
1 СЕНТЯБРЯ В ШКОЛУ ИДУТ НЕ ВСЕ, ПОДГОТОВКА. ИЗ ГОРОДА В ДЕРЕВНЮ 951 серия
18 632 просмотров
Гринч (2018) / The Grinch
2 311 973 просмотров
РАСПАКОВКА ПОКУПОК, СТРЯПАЕМ🍕🍕ДЕЛАЮ ЛЕЧО.
15 464 просмотров
Зеленая миля (1999) / The Green Mile
546 576 просмотров
Губернатор Мурманской области Андрей Чибис | Губернатор без галстука. Выпуск 2
407 754 просмотров
Трамп КАЛЕНДАРЬ перевернул! Костры рябин Зеленского: ГОРЯТ ОБЕЩАНЬЯ. Клин журавлей Мерца | Демура
19 967 просмотров
Крымская война (1853-1856). «Нулевая мировая» | XIX век
793 505 просмотров
Большой куш, 2 сезон, 4 выпуск
171 168 просмотров
Кто Самый Хитрый в нашей Школе PRO?!
2 625 просмотров
УТРОМ МУЖ ПРИГОТОВИЛ ЗАВТРАК,/ИЗ ЛЕСА ВЫШЛИ С ПОЛНЫМИ КОРЗИНАМИ 👏
21 824 просмотров
НИКОГДА НЕ ОТКРЫВАЙ САБВЕЙ СЕРФЕР МИСТЕРИ БОКС в 3 ЧАСА НОЧИ!
164 768 просмотров