Počítání

Teorie výpočtu je odvětví Mathematics. Obecně to je viděno jak patřit k Computer věda. Pole studie o tomto předmětu má vidět jestliže jistý problém může být řešen na počítači. Jestliže toto je případ, pak otázka má vědět to jestliže to může být řešeno v účinném způsobu.

Nepřehlédněte: Tato stránka obsahuje strojový překlad textu z anglické encyklopedie Wikipedia. Pokud budou některé pasáže špatně srozumitelné, zkuste se podívat i na text v originále, který najdete pod odkazem Computation. Překlad byl vytvořen pomocí překladače Eurotran.

Tam jsou dvě hlavní větve v tom. První je teorie vypočitatelnosti. To se dívá vidět jestliže jistý problém může být řešen na počítači. Protože toto je teoretické pole studia, žádné skutečné počítače jsou používány. Oni jsou nahrazení systémem nazvaný Turing stroj.

Jakmile to je znáno jestliže takový řešení existuje, počítačoví odborníci chtějí vědět to jestliže to může být najito, a možná jak to může být zlepšeno. Toto pole studia je pokryto teorií složitosti. Ta teorie má rozvinuté představy srovnávat různé metody vyřešení problému k jednomu jiný. Takové metody jsou obvykle nazývány algoritmy. Toto je podobné porovnání vařit recepty a vidění, které dvou receptů je snadnější dělat.