Introduccion (IAA)

En Introducción a los Algoritmos veremos los elementos de lógica proposicional y de primer orden: enfoque sintáctico y semántico. Uso de la lógica para la resolución de problemas. Formalismo básico para la programación funcional. Especificaciones. Recursión e inducción.