Matemáticas para informática / Ismael Gutiérrez García
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Spanish |
| Publicado: |
Colombia : Ecoe
2010
|
| Materias: |
Tabla de Contenidos:
- 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.