Скачать или смотреть MIPT-Coq-CyPr-23-Lect-07

MIPT-Coq-CyPr-23-Lect-07

Скачать MIPT-Coq-CyPr-23-Lect-07 бесплатно в качестве 4к (2к / 1080p)

У нас вы можете скачать бесплатно MIPT-Coq-CyPr-23-Lect-07 или посмотреть видео с ютуба в максимальном доступном качестве.

Для скачивания выберите вариант из формы ниже:

Информация по загрузке:

Cкачать музыку MIPT-Coq-CyPr-23-Lect-07 бесплатно в формате MP3:

Если иконки загрузки не отобразились, ПОЖАЛУЙСТА, НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если у вас возникли трудности с загрузкой, пожалуйста, свяжитесь с нами по контактам, указанным в нижней части страницы.
Спасибо за использование сервиса video2dn.com

Описание к видео MIPT-Coq-CyPr-23-Lect-07

Основы инженерии доказательств (Coq) в МФТИ. Темы: дальнейшие примеры тактикалов; Coq как язык функционального программирования (первые примеры) -- индуктивные типы nat, bool, list A, сорта Set и Prop, сравнение с образцом (pattern matching), рекурсия, списки.

Комментарии

Информация по комментариям в разработке