Matemáticas para informática
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | Castellano |
| Published: |
Barranquilla :
Universidad del Norte
2013.
|
| Edition: | 1st ed |
| Subjects: | |
| See on Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009431910406719 |
Table of Contents:
- Matemáticas para informática
- Portada
- Índice general
- Prólogo
- Parte I. Lógica Matemática
- Capitulo 1. Cálculo proposicional
- 1.1. Un poco de historia
- 1.2. Sintaxis
- 1.3. Notación libre de paréntesis o polaca
- 1.4. Un sistema deductivo
- 1.5. Semántica
- 1.6. Ejercicios
- Capítulo 2. Introducción a la lógica de primer orden
- 2.1. Sintaxis
- 2.2. Semántica
- 2.3. El teorema de completitud de Gödel
- 2.4. Ejercicios
- Parte II. Teoría de Conjuntos
- Capítulo 3. El sistema axiomátixo ZF
- 3.1. Preliminares y primeros axiomas
- 3.2. Conjunto potencia y el producto cartesiano
- 3.3. Relaciones
- 3.4. Funciones
- 3.5. Conjuntos parcialmente ordenados
- 3.6. Los números naturales
- 3.7. Ejercicios
- Alfabeto griego
- Bibliografía
- Índice de nombres
- Índice alfabético
- Contraportada.
