Teorio di komputado

De Wikipedio

Teorio di komputado en matematikala logiko e informatiko es brancho, qua traktas problemi, qui povas solvar baze di modelo di komputado uzante algoritmo.