Stav dette: Aspectos teóricos da computacao