Лямбда исчисление Черча

Примерное содержание( можно менять в зависимости от компоновки материала)

Постановка задачи

Введение ( тут можно на страницу - две написать историческую справку про возникновение лямбда исчисления)

1. Теоретическая часть

1.1 Понятие лямбда исчисления

1.2 Основные концепции

1.3 Лямбда исчисление как базис концепции ФП ( здесь можно взять в качестве примера функционального программирования любой ЯП кроме haskell, в идеале js но это уже на ваше усмотрение)

2. Применение лямбда исчисления (примеры)

3. Практическая часть (листинги кода)

Заключение

Список литературы

Приложение

Уникальность 40%.

Объем работы: 20-30 страниц.

Внимание: упор нужно сделать на лямбда исчисление, а не функциональное программирование!