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 Santizo