Logo
Unionpedia
Meddelelse
Nu på Google Play
Ny! Hent Unionpedia på din Android™ enhed!
Hent
Hurtigere adgang end browser!
 

Beregnelighed

Indeks 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).

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 »

Omdirigeringer her:

Komputabilitetsteori.

UdgåendeIndgående
Hej! Vi er på Facebook nu! »