Algoritmia

Es la ciencia que estudia la mecanización de los desarrollos lógicos.