ciencia de la computación (en contextos formales o académicos)