Temario
1.1 Proposiciones1.1.1 Proposiciones y operadores lógicos1.1.2 Conectivos lógicos1.1.3 Simbolización de proposiciones1.2 Tablas de verdad1.2.1 Valores de verdad1.2.2 Valores de verdad de proposiciones compuestas1.3 Clasificación de fórmulas lógicas1.3.1 Implicación y equivalencia tautológica1.3.2 Consistencia contra ejemplo y relaciones conimplicación tautológica1.3.3 Empleo de la tabla de leyes lógicas1.4 Lógica inductiva y deductiva1.4.1 Demostraciones formales1.4.2 Teorema, hipótesis, conclusión1.4.3 Reglas de inferencia1.5 Métodos de demostración1.5.1 Directo e indirecto1.5.2 Demostración por contradicción1.5.3 Demostración por casos1.5.4 El método de inducción1.6 Cuantificadores: definición y demostración deteoremas2.1.1 Conceptos básicos2.1.2 Conjuntos finitos e infinitos. Ejemplos2.2 Operaciones entre conjuntos:2.2.1 Unión, intersección, diferencia, producto cartesiano,particiones de un conjunto.2.3 Relaciones2.3.1 Relaciones sobre conjuntos: Concepto de relación ygrafo dirigido2,3,2 Tipos de relaciones2.3.3 Propiedades de las relaciones: reflexibilidad,simetría y transitividad2.3.4 Relaciones de equivalencias: definición y clases deequivalencias.2.3.5 Relaciones de orden parcial y total2.3.6 Propiedades de las relaciones de congruenciamódulo P.2.3.7 Clasificación de grafos dirigidos y trayectorias.2.4 Funciones discretas2.4.1 Sucesiones. Ejemplos.2.4.2 Relación de recurrencia lineal de primer orden.2.4.3 El método de las funciones generadoras3.1 Sistemas de numeración3.2 Teorema Fundamental de la Numeración3.3 Sistema de numeración decimal, binario, octal yhexadecimal3.4 Conversión de números enteros del sistema decimal aun sistema de base b y viceversa3.5 Conversión de números fraccionarios del sistemadecimal y otros3.6 Principio fundamental del conteo3.7 Principio de multiplicación o multiplicativo3.8 Principio aditivo3.9 Permutaciones3.10 Combinaciones4.1.1 Grafos dirigidos y no dirigidos. Diferencias3.1.2 Ejemplos de grafos4.2 Subgrafos, complementos e isomorfismo de grafos4.3 Grado de un vértice: caminos y ciclos de Euler.4.4 Grafos planos4.5 Camino y ciclos Hamiltonianos