Carlos Eduardo Areces
Profesor Titular
primer cuatrimestre
Introducción a los Algoritmos
Contenidos mínimos
Historia de la computación. 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.
