3 relationer: Diskret matematik, Halting-problemet, Turingmaskine.
Diskret matematik
Diskret matematik er studiet af strukturer, der er fundamentalt adskilte i den forstand at de ikke kræver et begreb om kontinuitet.
Ny!!: Beregnelighed og Diskret matematik · Se mere »
Halting-problemet
Halting-problemet er et problem indenfor komputabilitetsteori.
Ny!!: Beregnelighed og Halting-problemet · Se mere »
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.
Ny!!: Beregnelighed og Turingmaskine · Se mere »