Teorya ng komputasyon

Sa teoretikal na agham pangkompyuter, ang Teoriya 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: teoriya ng automata, teoriya ng komputabilidad at teoriya ng komputasyonal na kompleksidad.

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