Teorio di komputado

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