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.

Fundamentación