Curso Unidad núcleo computacional UN-C De las técnicas formales de la materia a la delimitación del espacio ARQT 2203 + ARQT 2213