Teoría 1. Lógica Proposicional
Teoría 2. Resolución de Problemas y Algoritmos
Teoría 3. Lenguaje de Diseño de Algoritmos - Tipos de datos, operaciones y expresiones
Teoría 4. Lenguaje de Diseño de Algoritmos - Declaración de variables - Entrada y Salida de datos - Estructuras de Control Condicional
Teoría 5. Lenguaje de Diseño de Algoritmos - Estructuras de Control de Repetición
Teoría 6. Lenguaje de Diseño de Algoritmos - Arreglos
Teoría 7. Lenguaje de Diseño de Algoritmos - Subalgoritmos
Teoría 8. Lógica de Predicados
Teoría 9. Especificación y Verificación de Algoritmos
|
