Contenido general:
Lógica: división, historia y principios lógicos. Lógica moderna, características de la lógica simbólica.
Elementos de razonamiento.
Proposiciones.
Representación gráfica de conjuntos.
Complemento y comparación.
Subconjuntos.
Operaciones entre conjuntos: unión, intersección y diferencias.
Algoritmos.
Relaciones.
Producto cartesiano.
Funciones: inyectivas, suprayectivas y biyectivas.
Cálculo de probabilidades.
Subíndices.
Factorial.
Métodos de conteo.
Principios: eventos sucesivos.
Variaciones.
Combinaciones.
Disyunción.
Negación.
Implicación o condicional.
Recíproca, inversa y contrarrecíproca.
Tautología, contradicción y contingencia.
Tabla de verdad. Bicondicional.
Leyes de la lógica.
Razonamientos.
Métodos de validez o invalidez.
Reglas lógicas.
Lógica de predicados.
Diagramas de Venn.
Árbol. La notación polaca.
Árbol de una fórmula.
Algoritmo para fórmulas bien formadas.
Sistema binario: base diez y base dos.
Circuitos combinatorios y sistemas matemáticos.
Álgebra Booleana y sus propiedades.
Leyes algebraicas.
 
Autores:
Licda. Iris C. Rodas de López
Otto López Barrios