Menu Content/Inhalt
Home
Introducción a los Algoritmos

Contenidos Mínimos:

  1. Cálculo proposicional.
  2. Cálculo de predicados.
  3. Uso de la lógica para la resolución de problemas.
  4. Formalismo básico para la programación funcional.
  5. Especificaciones.
  6. Recursión e inducción.
  7. Verificación y derivación de programas.
  8. Técnicas de programación: modularización, tuplas (programación dinámica), generalización.
  9. Recursión final (tail recursion).
Página web del curso
 
< Anterior
Content Management System: Joomla!
Template based on an original designed by www.madeyourweb.com