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.
Lograr que el alumno adquiera:
− capacidad de análisis de problemas
− formalización de soluciones a problemas
− manipulación de expresiones formales
− pruebas de corrección de expresiones formales
− familiaridad con conceptos básicos de programación.