Alonzo Church

Alonzo Church (født 14. juni 1903, død 11. august 1995) var en amerikansk matematiker, som var ansvarlig for noget af det grundlæggende teoretiske datalogi.

Brug AI

Indholdsfortegnelse

1. 7 relationer: Alan Turing, Church-Turing-tesen, Lambdakalkyle, Lisp, Scheme, Stephen Cole Kleene, Universalieproblemet.

Alan Turing

Alan Mathison Turing, OBE (født 23. juni 1912, død 7. juni 1954) var en britisk matematiker som var med til at grundlægge datalogien, der blev til den moderne computer.

Se Alonzo Church og Alan Turing

Church-Turing-tesen

Church-Turing-tesen er indenfor beregnelighedsteori en hypotese om computeres opførsel.

Se Alonzo Church og Church-Turing-tesen

Lambdakalkyle

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

Se Alonzo Church og Lambdakalkyle

Lisp

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

Se Alonzo Church 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 Alonzo Church og Scheme

Stephen Cole Kleene

Stephen Cole Kleene (født 5. januar 1909, død 25. januar 1994) var en amerikansk matematiker, hvis arbejde ved University of Wisconsin-Madison hjalp med til at lægge grunden for den teoretiske datalogi.

Se Alonzo Church og Stephen Cole Kleene

Universalieproblemet

Universalieproblemet – Universaliestriden, Nominalismestriden eller Striden om almenbegreberne – angår det spørgsmål om almenbegreber findes i virkeligheden, eller hvorvidt de blot er menneskelige konstruktioner.

Se Alonzo Church og Universalieproblemet

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