Teorya ng komputasyon

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.

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