Лайфстайл	Недвижимость	Здоровье
Природа	Дизайн	Техника и оборудование
Бизнес и предпринимательство	Искусство	Религия
Строительство и ремонт	Сад и огород	Аудиокниги
Кулинария	Интервью	Развлечения
Лайфхаки	Эзотерика	Охота и рыбалка
Наука	Политика	Психология
Аудио	Технологии и интернет	Красота
Телепередачи	Детям	Аниме
Хобби	Видеоигры	Юмор
Образование	Спорт	Разное
Путешествия	Животные	Новости и СМИ
Мультфильмы	Музыка	Сериалы
Фильмы	Авто-мото

MIPT-Coq-24-Lect-06

Интерактивное доказывание теорем (Coq) в МФТИ. Темы: Coq как язык программирования (обзор): термы, типы, сорта Prop и Set, редукции, рекурсивные определения, типы nat и list, полиморфизм; индуктивные типы на примере bool; индукция и рекурсия по типу bool; тактика split.

Видео MIPT-Coq-24-Lect-06 автора evgeny.dashkov

Показать

Информация