Lambda kalkul

Lambda kalkul (λ-kalkul) je formálny systém a výpočtový model používaný v teoretickej informatike a matematike pre štúdium funkcií a rekurzie.

Použi AI

Obsah

1. 8 vzťahy: ADO.NET, ALGOL 60, Alonzo Church, Funkcionálne programovanie, Lisp, Stephen Cole Kleene, Zoznam informatických článkov/L, Zoznam matematických článkov/L.

ADO.NET

Knižnica ADO.NET (ActiveX Data Objects for.NET) je súbor softvérových komponentov (tried, rozhraní atď.) platformy.NET, ktorej je nedeliteľnou súčasťou.

Pozrieť Lambda kalkul a ADO.NET

ALGOL 60

ALGOL 60 (akronym z ALGOrithmic Language) je imperatívny programovací jazyk, ktorého syntax bola prvýkrát formálne definovaná v Backusovej–Nauronovej forme.

Pozrieť Lambda kalkul a ALGOL 60

Alonzo Church

Alonzo Church (* 14. jún 1903, Washington D.C., USA – † 11. august 1995, Hudson, Ohio) bol americký logik a filozof zodpovedný za niektoré základy teoretickej informatiky.

Pozrieť Lambda kalkul a Alonzo Church

Funkcionálne programovanie

thumb Funkcionálne programovanie je založené na zápise programu v tvare výrazu.

Pozrieť Lambda kalkul a Funkcionálne programovanie

Lisp

Lisp je funkcionálny programovací jazyk.

Pozrieť Lambda kalkul a Lisp

Stephen Cole Kleene

Stephen Cole Kleene (* 5. január 1909, Hartford, Connecticut, USA – † 25. január 1994, Madison, Wisconsin) bol americký matematik a informatik, ktorý svojou prácou pomohol položiť základy teoretickej informatiky.

Pozrieť Lambda kalkul a Stephen Cole Kleene

Zoznam informatických článkov/L

Tento index bol automaticky vygenerovaný podľa tejto kategorizácie.

Pozrieť Lambda kalkul a Zoznam informatických článkov/L

Zoznam matematických článkov/L

Tento index bol automaticky vygenerovaný podľa tejto kategorizácie.

Pozrieť Lambda kalkul a Zoznam matematických článkov/L

Úniapédia je koncepčné mapy alebo sémantickej siete, organizované ako encyklopédia - Slovník. Dáva stručnú definíciu každého konceptu a jej vzťahov.

To je veľká internetová mentálna mapa, ktorá slúži ako základ pre koncepčných diagramov. Je to zadarmo na použitie a každý článok alebo dokument možno stiahnuť. Je to nástroj, zdroj alebo odkaz na štúdium, výskum, vzdelávanie, učenie alebo učenie, ktoré môžu byť použité podľa učiteľa, pedagógov, žiakov alebo študentov; pre akademický svet: pre školské, základným, stredným, vysoké školy, stredné, technický stupeň, vysoké školy, univerzity, vysokoškolák, magisterských a doktorandských titulov; for Papers, správy, projekty, nápady, dokumentácia, prieskumy, súhrny, alebo práce. Tu je definícia, vysvetlenie, popis, alebo význam každá významná, na ktorom by ste potrebovali nejakú informáciu, a zoznam ich pridružené pojmy ako slovníčku. K dispozícii v Slovenský, Angličtina, Španielsky, Portugalčina, Japonský, Čínsky, Francúzsky, Nemec, Talian, Polsky, Dutch, Rusky, Arabčina, Hindčina, Švédska, Ukrajinská, Maďarský, Katalánsky, Český, Hebrejčina, Dánsky, Fínsky, Indonézsky, Norwegian, Rumunský, Turkish, Vietnamci, Korean, Thai, Greek, Bulharská, Chorvátsky, Lithuanian, Filipínsky, Latvian, Estónsky a Slovinsky Ďalšie jazyky čoskoro.

Informácie sú založené na článkoch z Wikipédie a iných projektov Wikimedie a sú dostupné na základe licencie Creative Commons Attribution-ShareAlike.

Úniapédia nie je podporovaná ani pridružená k nadácii Wikimedia Foundation.

Google Play, Android a logo Google Play sú ochrannými známkami spoločnosti Google Inc.

Zásady ochrany osobných údajov