Lambda Kalkul

Výraz:
Lambda Kalkul
Význam:
Lambda Kalkul je systém považovaný za matematický základ pro programovací jazyk. Vyvinuli ho Alonzo Church a Stephen Kleene v roce 1930 ve snaze formalizovat pojem vyčíslitelnosti. Jazykově se zabývá aplikací funkcí na svou argumentaci (funkce je sada pravidel) a vyjadřuje jakýkoli subjekt, ať už jako proměnnou, používání jedné funkce do druhé, nebo jako lambda abstrakce.

Lambda kalkul, a úzce související teorie kombinátorů a typy systémů, jsou důležitými základy ve studiu matematiky, logiky a počítačových programovacích jazyků.


Pojem zařazen v kategorii Matematika.

Okolní pojmy ze stejné kategorie (mohlo by vás také zajímat):

Reklama

Komentáře

Hledáme posily! Zajímavá brigáda!
Máte zájem se podílet na tvorbě tohoto projektu? Hledáme někoho, koho by bavilo slovník rozšiřovat a přidávat nové pojmy. Samozřejmě, že ne zadarmo. Kontaktujte nás!
Reklama

Užitečné zkratky - víte, co znamenají?

Užitečné souborové formáty

Váš názor nás zajímá!

Dejte nám vědět, jak se vám tento web líbí. Napište nám!

Newsletter - Chcete dostávat nové pojmy a počítačové zajímavosti do vašeho emailu?