MIPT-Coq-24-Lect-12
Интерактивное доказывание теорем (Coq) в МФТИ. Темы: индукция по спискам (продолжение); индуктивные определения предикатов (семейств множеств) и принципы индукции для них; примеры доказательств; тактики inversion, remember, change, eapply; индуктивное определение порядка натуральных чисел.
Видео MIPT-Coq-24-Lect-12 автора evgeny.dashkov
Видео MIPT-Coq-24-Lect-12 автора evgeny.dashkov
Показать
Похожие видео
Nero Burning ROM + Nero Express 2019 v20.0.2014 RePack by MKN NoVC FULL
MIPT-Coq-24-Lect-06
CareUEyes 2.3.0.0 Pro Portable by FCPortables FULL
HSE-AMCS-FP-23-Lect-sn8
MIPT-Coq-24-Lect-02
Three.js - 087 - Code structuring for bigger projects - Part 10
Nero Burning ROM + Nero Express 2019 v20.0.2014 RePack by MKN NoVC FULL
Acronis BootCD 2020 Rus FULL
MIPT-Coq-24-Lect-03
MIPT-Coq-24-Lect-08
MIPT-Coq-24-Lect-14
MIPT-FP-23-Lect-sn3
MIPT-Coq-24-Lect-01
HP iLo Integrated Remote Console + прошивки для iLo 1-4 2015 года 1.2.3.1591 FULL
MIPT-Coq-24-Lect-10
Cisco Packet Tracer 7.2.1 FULL
Оригинальный CD диск от материнской платы Gigabyte GA-M61PME-S2 1.01 070606 FULL
Исходники Яндекс-приложений FULL
Microsoft Lync Server 2013 FULL
HSE-SE-DM-23-Sem-sn2