Teória vypočítateľnosti

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

Teória vypočítateľnosti je oblasť informatiky, ktorú tvorí o. i. teória algoritmov, a ktorá skúma problémy, jazyky, množiny, funkcie atď. s cieľom zistiť, či a ako ich možno efektívne vyriešiť, opísať alebo vypočítať. Pojem vypočítateľnosti sa používa najmä v súvislosti s funkciami. V spojitosti s problémami a množinami sa hovorí o rozhodnuteľnosti a spočítateľnosti.

Externé odkazy[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.