01:59:27
MIPT-Coq-24-Lect-13
Описание
Интерактивное доказывание теорем (Coq) в МФТИ. Темы: метод рефлексии, индуктивные "спецификации" булевозначных предикатов, разрешимые предикаты; индуктивное определение перестановок; индуктивное определение неубывания; спецификация алгоритма сортировки.
Рекомендуемые видео
Дьявол носит Prada 2 | The Devil Wears Prada 2 (2026)
402 948 просмотров
Оживление КАДИЛЛАКА после ДТП. Купили СТАПЕЛЬ. Ваш ЛЮБИМЫЙ КОНТЕНТ
21 018 просмотров
Гарри Поттер и философский камень | Harry Potter and the Sorcerer's Stone (2001)
2 973 338 просмотров
Крид: Наследие Рокки (2015) / Creed
658 просмотров
Сериал Пацаны - 5 сезон 6 серия / The Boys
7 312 просмотров
Про книгу "Битва за Кавказ"
21 247 просмотров
Новая Битва экстрасенсов, 25 сезон, 10 выпуск
2 359 512 просмотров
Гладиатор (2000) / Gladiator
1 272 261 просмотров
Миньоны (2015) / Minions
1 943 985 просмотров
Ооо! Пропагандист!
31 842 просмотров
Мадагаскар 2 (2008) / Madagascar: Escape 2 Africa
1 965 923 просмотров
Босс-молокосос (2017) / The Boss Baby
87 874 просмотров
🧅 Фокус покус тру-ля-ля. Фокусник зеленский. Дроны урсулы. Кукловод ТРамп
1 618 просмотров
Пингвины Мадагаскара (2014) / Penguins of Madagascar
1 527 549 просмотров
Молодые ножи. Новая кровь, 2 сезон, 12 выпуск
244 833 просмотров
Опасный дуэт (2026) / The Wrecking Crew
1 431 068 просмотров
Тайная жизнь домашних животных (2016) / The Secret Life of Pets
1 847 136 просмотров
Щенячий патруль: Мегафильм (2023) / PAW Patrol: The Mighty Movie
5 197 050 просмотров
МЫ СТАЛИ ГУГУ ГАГА ПИНГВИНАМИ В ROBLOX
52 570 просмотров
Форсаж 9 | F9 (2021)
858 208 просмотров