Bibliographic Details
| Main Author: |
Jaime Hernández, Lida Marina
(autor) |
| Other Authors: |
Rocuts Pabón, Schweitzer
(autor) |
| Format: |
Book
|
| Language: |
Spanish |
| Published: |
Bogotá :
Politécnico Grancolombiano,
2005.
|
| Series: |
Documentos. Ingeniería de sistemas
|
| Subjects: |
|
| Notas Contenido: |
- 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
|
