Matemáticas para informática / Ismael Gutiérrez García
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Colombia : Ecoe
2010
|
| Subjects: |
Table of Contents:
- 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.