Матлогика 32. Лямбда-исчисление
24.05.19
35:26
Определение лямбда-термов 15:00
R-редукция 35:00
R-эквивалентность 45:00
(β-)нормальные термы 1:05:00
Кодирование пар 1:30:00
Кодирование натуральных чисел 1:45:00
Цикл 2:10:00
Явная рекурсия, неподвижные точки 2:26:00
Лектор: Дашков
Снимал: Купцов
Монтировал: Кашин
Видео Матлогика 32. Лямбда-исчисление канала Лекторий ФПМИ
35:26
Определение лямбда-термов 15:00
R-редукция 35:00
R-эквивалентность 45:00
(β-)нормальные термы 1:05:00
Кодирование пар 1:30:00
Кодирование натуральных чисел 1:45:00
Цикл 2:10:00
Явная рекурсия, неподвижные точки 2:26:00
Лектор: Дашков
Снимал: Купцов
Монтировал: Кашин
Видео Матлогика 32. Лямбда-исчисление канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»
Лекция 1. С.Л. Кузнецов. Лямбда-исчисление
Минимизация булевых выражений, методом Квайна Мак-Класки.
15 - Вычислимость. λ-исчисление
Лямбда-исчисление
ХАРАКТЕРИСТИЧЕСКИЙ МНОГОЧЛЕН (ПОЛИНОМ) МАТРИЦЫ ЗА 4 МИНУТЫ
G.R.A.S.P | шаблоны проектирования
C++ 24. Лямбда-функции
Знаменитые нерешенные проблемы школьной математики (Алексей Савватеев)
Лямбда исчисление и функциональное программирование. Часть 1 | Лекция
Лекция по математической логике 04.09.2017
Воздействие пестицидов на окружающую среду и здоровье человека. 9 класс.
Защита от бродячих собак | Наука Побеждать
Алгоритмы и структуры данных 4. Хеши и хеш-таблицы - std::unordered_set изнутри
LAMBDA функция в Microsoft Excel Реально самая мощная ? Как работает ? с практическими примерами
Логика для чайников
HoTT 1: Типизированное лямбда исчисление
Не повторяйте этих ошибок! Топ 12 задач первой части профильного ЕГЭ
ТОП-5 ОШИБОК в математике | Математика | TutorOnline