Lambda Kalkul
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ů.
Mohlo by vás také zajímat:
Nejnovější články
Jak se definitivně zbavit otravných reklam na YouTube. Stačí stáhnout jednoduchou aplikaci. Je zdarma a spolehlivá. Postup krok za krokem
Vyplatí se aktuálně v Česku pořídit si Starlink?
Na Česko se řítí další pohroma. Úředníci z Bruselu to tentokrát přehnali
Tohle není sci-fi. Nad Polskem se hroutí navigace. Co divného se děje v nebi?
Nejlepší pracovní notebook v Česku právě zlevnil. Aktuálně stojí pod 10 000 Kč a očekávejte zázrak
Slovensko odhalilo ruská zadní vrátka v 279 dopravních kamerách – SMS zpráva otevírá přístup do systému
Odposlouchává vás Google? Ano, dali jste mu souhlas
Česko ovládla euforie. Nová Nokia stojí 850 Kč a za plného provozu vydrží týden bez nabíjení
Po tomto starém rádiu německé výroby starožitníci šílí a nabízí až 50 000 Kč. V Česku je jich spousty kusů
Běžný domácí přístroj zcela paralyzuje Wi-Fi. Většina mladých rodin ho používá denně
K čemu slouží malé dírky na telefonu a co se stane, když do nich strčíte jehlu? Většina lidí to netuší a zničí důležitou funkci
Zákeřná funkce vám v noci z mobilu tiše krade data. Výrobci ji zapínají naschvál. Jak ji vypnout?
Mohlo by vás zajímat
Nejlepší pracovní notebook v Česku právě zlevnil. Aktuálně stojí pod 10 000 Kč a očekávejte zázrak
Lidl rozhodil celé Česko. Vyprodává nejlepší vychytávku na zahradu za 1799 Kč. Jinde stojí 10 000 Kč a více
EU tvrdě zakročila proti aplikacím svlékajícím ženy a děti. Uživatelé se smějí
Které AI můžete věřit a která nejvíce šmíruje a pak prodá Vaše data?
