La asignatura se ubica en el 1º cuatrimestre de 3º año de la carrera de Lic. en Cs. de la Computación. La
misma abarca los fundamentos de los lenguajes de programación desde un enfoque formal. Estudiar los
lenguajes de programación de manera formal es fundamental en las ciencias de la computación.
Para describir formalmente un lenguaje se ven conceptos como sintaxis, semántica y sistemas de tipos.
Además de la base teórica se estudia cómo aplicar estos conceptos en la creación de lenguajes, usando un
paradigma funcional.
Conocer cómo se construye un lenguaje ayuda a las y los estudiantes a entender cualquier lenguaje de
programación.
Muchos de los conceptos abordados en la materia se ven con mayor profundidad en la materia Compiladores
que corresponde al 4° año de la carrera.

Comunidades: https://comunidades.campusvirtualunr.edu.ar/course/view.php?id=1339