| [Besøgende (58.214.*.*)]svar [Kinesisk ] | Tid :2020-12-15 | I datalogi, beregningsteori: Som en gren af beregningsteori, undersøgelse, som algoritmiske problemer kan løses under forskellige beregningsmæssige modeller. Tilsvarende en anden stor del af beregningsteori, beregningsmæssige kompleksitet teori overvejer, hvordan et problem effektivt kan løses. Der er tre objekter af undersøgelse i beregningsteori: (1) at bestemme problemer, (2) beregningsbare funktioner, og (3) beregning af kompleksitet.
Computability teori, også kendt som algoritmisk teori eller evne teori, er en af de teoretiske grundlag for datalogi. Det er en matematisk teori, der studerer den generelle karakter af beregning. Teorien om beregning skelner nøjagtigt mellem kompulsiv og ikke-beregningspligtig ved at bygge matematiske beregningsmodeller. Beregningsprocessen er processen med at udføre algoritmer. Et af de vigtige emner af beregningsteori er præcisionen af den intuitive begrebet algoritme. Der er mange måder at præcis begrebet algoritmer, hvoraf den ene er at definere abstrakte computere og tænke på algoritmer som programmer af abstrakte computere. Funktioner, der findes algoritmer til at beregne deres værdier kaldes ofte beregningsværdige funktioner.Derfor defineres en beregningsfunktion præcist som en funktion, der kan programmeres på en abstrakt computer for at beregne dens værdi. Dette giver dig mulighed for at diskutere, hvilke funktioner der er beregningsbare, og hvilke der ikke er... |
|
