Теория алгоритмов: лямбда исчисления

В этом видео мы увидим много скобочек, и поймем как можно построить алгоритм отличным от вычисляющих машин способом. Вишенкой на торте будет формулировка тезиса Чёрча-Тьюринга. В первой части видео мы будем пользоваться блокнотом для формирования и вычисления лямбда функций, а во второй половине разберем как эти функции применяются в языках программирования Lisp и Java ДЗ: Сформировать функции вычитания и возведения в степень с использованием лямбда-функций.