Lambdakalkyle

Lambdakalkyle (også Lambda-kalkyle eller Lambda kalkyle) er et formelt system indenfor den matematiske logik.

Brug AI

Indholdsfortegnelse

1. 5 relationer: Funktionsapplikation, Funktionsprogrammering, Lisp, Scheme, Standard ML.

Funktionsapplikation

Inden for matematik er funktionsapplikation eller funktionsanvendelse synonyme og beskriver det at man anvender/bruger en funktion på en værdi fra funktionens definitionsmængde for at opnå en værdi fra funktionens værdimængde.

Se Lambdakalkyle og Funktionsapplikation

Funktionsprogrammering

Inden for datalogi er funktionsorienteret programmering, funktionel programmering eller funktionsprogrammering et programmeringsparadigme hvor man betragter beregning som evalueringen af matematiske funktioner.

Se Lambdakalkyle og Funktionsprogrammering

Lisp

Lisp, eller LISP (forkortelse for LISt Processing) er et dynamisk typet, funktionsorienteret programmeringssprog.

Se Lambdakalkyle og Lisp

Scheme

Scheme er et funktionsorienteret programmeringssprog og er en af de to mest populære dialekter af Lisp, hvor Common Lisp er den anden.

Se Lambdakalkyle og Scheme

Standard ML

Standard ML (SML) er et funktionsorienteret programmeringssprog som understøtter moduler, statisk typetjek og typeinferens.

Se Lambdakalkyle og Standard ML

Også kendt som Lambda-kalkulus, Lambda-kalkylen.

Unionpedia er et koncept kort eller semantisk netværk organiseret som et leksikon eller ordbog. Det giver en kort definition af hver koncept og dets relationer.

Dette er en kæmpe online mental kort, der tjener som grundlag for koncept diagrammer. Det er gratis at bruge og hver artikel eller et dokument kan downloades. Det er et værktøj, ressource eller reference for studier, forskning, uddannelse, læring eller undervisning, der kan bruges af lærere, pædagoger, elever eller studerende; for den akademiske verden: til skole, primær, sekundær, gymnasium, midten, college, teknisk grad, gymnasium, universitet, bachelor, kandidat- eller ph.d.-grader; til papirer, rapporter, projekter, ideer, dokumentation, undersøgelser, resuméer, eller speciale. Her er definitionen, forklaring, beskrivelse, eller betydningen af hver væsentlig, som du har brug for information, og en liste over deres tilknyttede begreber som en ordliste. Fås i Dansk, Engelsk, Spansk, Portugisisk, Japansk, Kinesisk, Fransk, Tysk, Italiensk, Polere, Hollandsk, Russisk, Arabisk, Hindi, Svensk, Ukrainsk, Ungarsk, Catalansk, Tjekkisk, Hebraisk, Finsk, Indonesisk, Norwegian, rumænsk, tyrkisk, vietnamesisk, koreansk, thai, græsk, bulgarsk, kroatisk, slovakisk, litauisk, filippinsk, lettisk, estisk og slovensk. Flere sprog snart.

Oplysningerne er baseret på artikler fra Wikipedia og andre Wikimedia-projekter, og de er tilgængelige under Creative Commons Attribution-ShareAlike-licens.

Unionpedia er ikke godkendt af eller tilknyttet Wikimedia Foundation.

Google Play, Android og Google Play-logoet er varemærker tilhørende Google Inc.

Fortrolighedspolitik