Ciencia da computacao teorica - Significado, sinônimos e exemplos