28 de Septiembre – primer parcial
16 de Noviembre – segundo parcial
23 de Noviembre – recuperatorio del primer o segundo parcial
el machete de axiomas y teoremas
* Práctico 1: Cuantificación Generalizada
* Práctico 2: Inducción
* Práctico 3: Funciones Recursivas
* Práctico 4: Recursión Final
* Práctico 5: Programación Imperativa
* Práctico 6: Programación Imperativa: derivación de ciclos
* Práctico 7: Tipos Abstractos de Datos
* Práctico 8: Recursión Final en Programación Imperativa
(martín escribime!!)
#include
, #define
). Definición de constates TRUE
y FALSE
en C. Sentencias if
y while
.