Contenido

Introducción, Lenguaje y Lógica
Historia de la computación, lenguaje (léxico, sintaxis, semántica), lenguaje de programación (introducción a C++ y al ambiente de desarrollo codeblocks), lógica proposicional (proposición, valores de verdad, conectivos lógicos, tablas de verdad, formulas bien formadas, precedencia de conectivos lógicos, equivalencias e implicaciones lógicas) y de predicados (predicados y cuantificadores), Lógica y programación (conectivos lógicos en C++, precedencia de conectivos lógicos en C++, booleanos en C++).
Teoría de Conjuntos
Conceptos básicos (elemento, definición por extensión y por comprensión), Construcción de conjuntos (unión, intersección, diferencia), Conjunto partes, Producto Cartesiano, Conjuntos y programación (constantes, variables, tipos y amoldamiento de tipos en C++).
Relaciones y Funciones
Relaciones, Propiedades de las relaciones (transitividad, reflexividad, simetría, anti-simetría), Relaciones de orden y de equivalencia, Funciones (dominio, codominio, argumento, valor), Propiedades de las funciones (parcial, total, sobre, inyectividad, biyectividad), Funciones recursivas, Funciones y programación (el programa principal y funciones en C++).
Flujos de Datos
Conceptos básicos de flujos, Persistencia, Entrada y Salida de consola, Entrada y salida de Archivo, Entrada y salida en general, Flujos en C++.
Estructuras de Control
Asignación, Secuencia, Selección, Ciclos para y mientras, Estructuras de Control en C++.
Arreglos, Cadenas y Matrices
Sub-indicamiento de Variables, arreglos 1D (busqueda, ordenamiento, persistencia), Cadenas de Carácteres (busqueda, concatenación, sub-cadenas, persistencia), Matrices 2D (busquedas, operaciones sobre matrices, relaciones), Arreglos, cadenas y matrices en C++.
Tipos de Datos Abstractos (TDA)
Producto Cartesiano Generalizado, Funciones Analizadoras, Creadoras, Persistencia, Modificadoras, y Liberadoras, TDA en C++.