Matemáticas para informática /
Esta obra tiene su origen en los cursos de Matemáticas Discretas y Lógica Matemática ofrecidos por el autor en los programas de Ingeniería de Sistemas y Matemáticas de la Universidad del Norte (Colombia). La primera parte trata sobre el cálculo proposicional y presenta una introducción a la lógica d...
| Prif Awdur: | |
|---|---|
| Fformat: | Llyfr |
| Iaith: | Spanish |
| Cyhoeddwyd: |
Barranquilla:
Ediciones Uninorte,
2010.
|
| Rhifyn: | Primera edición. |
| Pynciau: |
Tabl Cynhwysion:
- I Lógica Matemática 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 Unsistema deductivo 1.5. Semántica 1.6. Ejercicios 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 II Teoría de Conjuntos 3. El sistema axiomático 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