Amazon cover image
Image from Amazon.com
Image from Google Jackets

Lógica matemática para informáticos. Ejercicios resueltos.

By: Contributor(s): Language: spa. Publication details: Madrid, España Pearson Educación 2008Description: x, 390 páginas; fig, tablas; 195x270 mmISBN:
  • 9788483224540
Subject(s): DDC classification:
  • 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Libros 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.

to post a comment.