Myvideo

Guest

Login

Математическая логика и теория алгоритмов 14. Лямбда-исчисление

Uploaded By: Myvideo
28 views
0
0 votes
0

00:00:00 - Что такое лямбда-исчисление? 00:02:28 - Синтаксис 00:08:33 - Синтаксические преобразования 00:21:17 - Равенство лямбда-термов 00:24:47 - Нормальная форма лямбда-терма 00:35:11 - Комбинаторы 00:45:19 - Нумералы Чёрча 01:14:23 - Рекурсивное программирование 01:20:20 - Y-комбинатор Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Ммаксим Карпов Монтажёр: Иван Сиомаш Плейлист:

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later