تلفظ بین المللی : /hˈesɑb lˈɑmbadˈɑ/ تلفظ : [h'esAb l'Ambad'A]
دانشنامه عمومی
حساب لامبدا (که با نشان داده می شود) یک سیستم رسمی در منطق ریاضی برای بیانمحاسبات است؛ که این محاسبات بر اساس توابع انتزاعی و برنامه هایی است که از متغیرهای جایگزینی و الزام آور استفاده می کنداین یک مدل جهانی محاسبات است که می تواند ماشین تورینگ را شبیه سازی کند و هم چنین اواین مرتبه توسط ریاضی دان Anoloz Church معرفی شد طوری که قسمتی از تحقیقات خود را صرف شالوده و پایه ریاضی کرد.حساب لامبدا شامل ...
