Опишите базовые концепции лямбда-исчисления, включая абстракцию, применение и бета-редукцию. Как лямбда-исчисление связано с современными языками функционального программирования? Объясните, как можно представлять числа и логические операции, используя только лямбда-функции (например, Чёрчевы нумералы).