ламбда-числення

Значення

1. (Математика) –

   Формальна математична система та обчислювальна модель, заснована на поняттях функції, застосування функції та абстракції (оголошення функції), що є фундаментом для теорії обчислюваності та функціональних мов програмування.

2. (Інформаційні технології) –

   Теорія, що вивчає обчислення з використанням лямбда-виразів (ананімних функцій), де основною операцією є підстановка, а також еквівалентність та спрощення (редукція) таких виразів.

Правопис та відмінювання