Sa teoretikal na agham pangkompyuter, ang teorya ng komputasyon ang sangay na umuukol sa kung at gaano kaiging ang mga problem ay malulutas ng modelo ng komputasyon gamit ang isang algoritmo. Ang larangang ito ay nahahati sa tatlong pangunahing mga sangay: teorya ng automata, teorya ng komputabilidad at teoriya ng komputasyonal na kompleksidad.

AghamKompyuter Ang lathalaing ito na tungkol sa Agham at Kompyuter ay isang usbong. Makatutulong ka sa Wikipedia sa pagpapalawig nito.

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.