Скачать или смотреть MIPT-Coq-22-Lect-02

MIPT-Coq-22-Lect-02

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

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

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

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

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

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

Описание к видео MIPT-Coq-22-Lect-02

Интерактивное доказывание теорем (Coq) в МФТИ. Темы: программирование в бестиповом лямбда-исчислении: представление булевых и арифметических функций; условный переход и кодирование пар; итерация; композиция и примитивная рекурсия сохраняют представимость; (первая) теорема о неподвижной точке; решение "уравнений"; явная рекурсия.
========
Если видео показалось вам полезным, вы можете поддержать автора:
===
If you have found this video helpful, you might want to support the author:
===
BTC: bc1q3p5x57cppjs0rfgj5f406yrljxylg96seed0t4

Комментарии

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