Matemáticas para informática / Ismael Gutiérrez García - Gutiérrez García, Ismael (Colombia : Ecoe, 2010)
Lógica matemática: cálculo proposicional: un poco de historia, sintaxis, notación libre de paréntesis o polaca, un sistema deductivo, semántica, ejercicios; introducción a la lógica de primer orden: sintaxis, semántica, el teorema de completitud de Gödel, ejercicios; teoría de conjuntos: el sistema axiomático ZF: preliminares y primeros axiomas, conjunto potencia y el producto cartesiano, relaciones, funciones, conjuntos parcialmente ordenados, los números naturales, ejercicios.
Incluye índice, referencias
Incluye bibliografía
Col. Inform
Keywords: 1. INFORMÁTICA 2. MATEMÁTICAS 3. LÓGICA MATEMÁTICA 4. TEORÍA DE CONJUNTOS 5. ÁLGEBRA ABSTRACTA