Indholdsfortegnelse
6 relationer: Alan Turing, Funktionsprogrammering, Hilberts problemer, NP, Turing, Turingmaskine.
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 Church-Turing-tesen og Alan Turing
Funktionsprogrammering
Inden for datalogi er funktionsorienteret programmering, funktionel programmering eller funktionsprogrammering et programmeringsparadigme hvor man betragter beregning som evalueringen af matematiske funktioner.
Se Church-Turing-tesen og Funktionsprogrammering
Hilberts problemer
right Hilberts problemer er en liste bestående af 23 matematiske problemer, der blev fremsat af den tyske matematiker David Hilbert på den internationale matematikkongres i Paris i år 1900.
Se Church-Turing-tesen og Hilberts problemer
NP
Inden for kompleksitetsteori er NP (eng: Non-deterministic Polynomial time, "ikke-deterministisk polynomiel tid") den mængde af beslutningsproblemer der kan løses i polynomiel tid på en nondeterministisk Turingmaskine.
Turing
Turing kan henvise til.
Se Church-Turing-tesen og Turing
Turingmaskine
En Turingmaskine er en matematisk model for en simpel symbolmanipulerende maskine som trods sin enkle opbygning kan udføre ikke-trivielle beregninger og simulere logikken i enhver computer.