Lógica matemática para informáticos. Ejercicios resueltos.
Language: spa. Publication details: Madrid, España Pearson Educación 2008Description: x, 390 páginas; fig, tablas; 195x270 mmISBN:- 9788483224540
- 511.3 H821
Contents:
Lógica proposicional.
1. Sintaxis matemática.
2. Formalización. Técnicas de razonamiento.
3. Equivalencia lógica. Leyes booleanas.
4. Cálculo lógico con tableaux.
Lógica de Primer Orden.
5. Sintaxis y semántica.
6. Formalización. Técnicas de razonamiento.
7. Equivalencia lógica. Leyes de los cuantificadores.
8. Cálculo lógico con tableaux.
9. Cálculo lógico con resolución.
10. Ejercicios propuestos.
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Libros | CIBESPAM-MFL | 511.3 / H821 (Browse shelf(Opens below)) | Ej: 1 | Available | 001183 |
Lógica proposicional.
1. Sintaxis matemática.
2. Formalización. Técnicas de razonamiento.
3. Equivalencia lógica. Leyes booleanas.
4. Cálculo lógico con tableaux.
Lógica de Primer Orden.
5. Sintaxis y semántica.
6. Formalización. Técnicas de razonamiento.
7. Equivalencia lógica. Leyes de los cuantificadores.
8. Cálculo lógico con tableaux.
9. Cálculo lógico con resolución.
10. Ejercicios propuestos.
There are no comments on this title.
Log in to your account to post a comment.