Lógica y Matemáticas Discretas en la Informática

Bhórquez Villamizar, Jaime Alejandro - Bogotá : Escuela Colombiana de Ingeniería - 2012
Incluye Notas bibliográficas.

Introducción -- Sintaxis -- Sistemas formales -- Lógica proposicional -- Semántica de la lógica proposicional -- Lógica de predicados y operatorias -- Cálculo de predicados -- La lógica como lenguaje para modelar -- Operatorias -- Teoría de sucesiones -- Una teoría de la programación -- Conjuntos, relaciones y funciones -- Conceptos de relación y función -- Cardinalidad e inducción sobre conjuntos -- Aritmética aditiva -- Aritmética multiplicativa -- Análisis combinatorio -- Relaciones matemáticas -- Inducción estructural.