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 |
Browsing CIBESPAM-MFL shelves Close shelf browser (Hides shelf browser)
511.3 / ES74 Lógica. | 511.3 / G861 Matemáticas discreta y combinatoria. | 511.3 / H791 Introducción a la teoría de autómatas lenguajes y computación. | 511.3 / H821 Lógica matemática para informáticos. | 511.3 / J71 Matemáticas discretas. | 511.3 / K29 Teoría de autómatas y lenguajes formales. | 511.3 / K29 Teoría de autómatas y lenguajes formales. |
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.