Descripción

Estudio de los fundamentos de  lógica necesarios para el razonamiento matemático y la programación de computadores. Se cubren los temas de cálculo proposicional, cláusulas, cálculo de predicados, cuantificadores, elementos de teoría de conjuntos y verificación de programas.