CARRERAS
Licenciatura en Informática-
Contenidos Mínimos
Elementos de lógica proposicional y de primer orden: Enfoque sintáctico y semántico. Técnicas de prueba. Teoría de la Estructuras Discretas. Definiciones y pruebas estructurales. Estructura de las pruebas formales. Teoría básica de conjuntos. Inducción matemática sobre números naturales. Relaciones binarias: relaciones de orden, relaciones de equivalencia, relaciones funcionales. Elementos básicos de análisis combinatorio.
