Lógica Computacional es una disciplina obligatoria en las Ciencias Computacionales. En este libro se ofrece un amplio conjunto de definiciones que cubren diversos temas de cálculo proposicional; cómputo de predicados y algunas de las aplicaciones de la lógica computacional.
Todos los conceptos incluidos en el libro cuentan con una definición, ya sea en el lenguaje de matemáticas, en el lenguaje de programación Python, o incluso en ambos. Para estudiar con este libro se requiere un nivel mínimo de conocimientos de programación, por lo que es accesible para personas con el interés de aplicar este lenguaje en temas matemáticos.
Se ha seleccionado Python por diversas razones, entre ellas, porque es un lenguaje de propósito general y multiparadigma. Escribir las definiciones matemáticas usando Python, ayuda a cerrar la brecha entre programadores y matemáticos, acercando a los programadores a la formalidad y abstracción matemática; por otro lado, acerca a los matemáticos a la efectividad y eficiencia computacional. leer todo...