Matemática para la computación /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Spanish |
| Published: |
Bogotá :
Politécnico Grancolombiano,
2005.
|
| Series: | Documentos. Ingeniería de sistemas
|
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- Cálculo proposicional
- Argumentos y tablas de verdad
- Validez de argumentos a través de tablas
- Demostraciones formales
- Reglas de inferencia
- Arboles de forzamiento semántico
- Cálculo de predicados
- Introducción a cuantificadores
- Variables libres y simbolización
- Reglas de cuantificación
- Teoría de conjuntos
- Nociones básicas
- Operaciones básicas con conjuntos
- Producto cartesiano
- Relaciones
- Clases de relaciones
- Cuantificadores generalizados
- Preliminares
- Introducción a cuantificadores generalizados y tipos
- Reglas para el manejo de cuantificadores