Inicio


La Teoría de Lenguajes de Programación (PLT por sus siglas en inglés) es una rama de las Ciencias de la Computación que estudia el diseño, implementación, análisis y clasificación de los lenguajes de programación y sus componentes. Convive con otras áreas como las matemáticas, ingeniería de software, lógica computacional, lingüistica, inteligencia artifical y ciencias cognitivas.

La letra griega λ (lambda) es el símbolo del área de lenguajes de programación. Su uso proviene del cálculo lambda, un modelo de cómputo introducido por Alonzo Church en los años 30, considerado el lenguaje de programación más simple.

En esta página encontrarás información y material de estudio sobre los cursos impartidos en la Facultad de Ciencias, através de la Licenciatura en Ciencias de la Computación, del área de Lenguajes de Programación.