Indholdsfortegnelse
12 relationer: Alan Turing, Beregnelighed, Church-Turing-tesen, Computer, Datalogi, Enumerator, Flerbånds-Turingmaskine, Halting-problemet, Nondeterministisk Turingmaskine, Turing-komplet, Turing-test, 1936.
- Beregnelighed
- Teoretisk datalogi
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 Turingmaskine og Alan Turing
Beregnelighed
Beregnelighed (også kaldet komputabilitetsteori) er et emne indenfor diskret matematik, som handler om om en givet funktion kan komputeres (beregnes) af en givet maskine (ofte Turing-maskinen).
Se Turingmaskine og Beregnelighed
Church-Turing-tesen
Church-Turing-tesen er indenfor beregnelighedsteori en hypotese om computeres opførsel.
Se Turingmaskine og Church-Turing-tesen
Computer
Bærbar computer Acer Aspire 5600 En computer er en maskine, der kan programmeres til automatisk at udføre nogle talmæssige eller logiske beregninger.
Datalogi
Datalogi er læren om data og behandling af data – især vha.
Enumerator
En enumerator er en variant af en Turingmaskine.
Se Turingmaskine og Enumerator
Flerbånds-Turingmaskine
En flerbånds-turingmaskine er en variant af en turingmaskine med et enkelt bånd.
Se Turingmaskine og Flerbånds-Turingmaskine
Halting-problemet
Halting-problemet er et problem indenfor komputabilitetsteori.
Se Turingmaskine og Halting-problemet
Nondeterministisk Turingmaskine
En nondeterministisk Turingmaskine er en variant af en standard Turingmaskine.
Se Turingmaskine og Nondeterministisk Turingmaskine
Turing-komplet
Turing-komplet er en egenskab som en komputationel klasse (f.eks. en notation, en maskine eller et programmeringssprog), som indeholder alle elementer i Turingmaskinens komputationelle gruppe, har, det vil sige at den kan gøre alle de beregninger (komputationer), som en Turing-ækvivalent maskine (f.eks.
Se Turingmaskine og Turing-komplet
Turing-test
Ved en turingtest kommunikerer en person (C) via fjernkommunikation med menneske eller maskine og skal herefter ved testen vurdere, om der har været kommunikeret med et menneske eller en maskine. Turing-test er en måde til at afgøre, om en maskine udviser intelligens på et menneskeligt niveau, uden at man på samme tid er nødt til at definere, hvad (menneskelig) intelligens så reelt er for en størrelse.
Se Turingmaskine og Turing-test
1936
---- Konge i Danmark: Christian 10. 1912-1947 ---- Se også 1936 (tal).
Se også
Beregnelighed
- Beregnelige tal
- Beregnelighed
- Church-Turing-tesen
- Enumerator
- Halting-problemet
- Lambdakalkyle
- Turingmaskine
Teoretisk datalogi
- Algoritme
- Automatiseret ræsonnement
- Formalsprog
- Idempotent
- Kvantedatabehandling
- Lambdakalkyle
- Turingmaskine
Også kendt som Turing-maskine.