Principios de Programación
Introducción a SML
Introducción al Cálculo Lambd
Ideas Teóricas en Ciencias de la Computación
Apunte 1 (Ideas Teóricas en Ciencias de la Computación): documento_1
Apunte 2 (Ideas Teóricas en Ciencias de la Computación): primos
Apunte 3: Lógica Proposicional y de Predicados (documento originalmente escrito por el profesor Renato Lewin)
Apunte 4: Introducción a Prolog (cualquier observación o error encontrado, será agradecido su reporte)
Link con ejemplos en Prolog: http://www.geocities.com/v.iniestra/apuntes/pro_log/
Guía 1: guia_1.pdf (ejercicios para la prueba 1)
Guía 2: guia_2.pdf (ejercicios para la prueba 1)
Apunte 5: Teoría de Automatas y Lenguajes Formales
Apunte 6: Acertijos en Prolog.