filmov
tv
Теория алгоритмов: лямбда исчисления
Показать описание
В этом видео мы увидим много скобочек, и поймем как можно построить алгоритм отличным от вычисляющих машин способом. Вишенкой на торте будет формулировка тезиса Чёрча-Тьюринга. В первой части видео мы будем пользоваться блокнотом для формирования и вычисления лямбда функций, а во второй половине разберем как эти функции применяются в языках программирования Lisp и Java
ДЗ: Сформировать функции вычитания и возведения в степень с использованием лямбда-функций.
ДЗ: Сформировать функции вычитания и возведения в степень с использованием лямбда-функций.
Теория алгоритмов: лямбда исчисления
Что такое лямбда-исчисление? Душкин объяснит
Математическая логика и теория алгоритмов 15. Лямбда-исчисление....
ФЯП: типизированное лямбда-исчисление
Математическая логика и теория алгоритмов 14. Лямбда-исчисление...
Лямбда исчисление 1_2
МЛиТА. Лямбда-исчисление
Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление......
Мысли и методы 37: Лямбда-исчисление и исходный код реальности...
6.1 Чистое лямбда-исчисление
Язык Kotlin 2021 | W5L2 | Лямбда-исчисление
5.1 Системы FP. Основы лямбда-исчисления
HoTT 1: Типизированное лямбда исчисление
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 1 (Часть 1)...
Типизированное лямбда-исчисление
Лямбда исчисление 1 (3)
Лекция 3. С.Л. Кузнецов. Представимость вычислимых функций в бестиповом лямбда-исчислении......
1 курс. Л 1. Введение. Бестиповое лямбда-исчисление. Представление... - ускоренное...
Математическая логика и теория алгоритмов 16. Лямбда исчисление (продолжение)...
1. Лямбда-исчисление
Матлогика 32. Лямбда-исчисление
Лямбда исчисление 2 (3). Рекурсия и редукция
Просто типизированное лямбда-исчисление
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 2 (Часть 1)...
Комментарии