Mexico México
Catálogo Editorial

Lógica matemática para informáticos

Ejercicios resueltos

Autor(es): Teresa Hortalá González,Narciso Martí Oliet,Miguel Palomino Tarjuelo,Mario Rodríguez Artalejo,Rafael del Vado Vírseda
ISBN13: 9788483224540 Edición: 1~
ISBN: 9788483224540 Idioma: Español
Páginas: 400 Dimensiones: 19.5X27
Serie: Editorial: Prentice Hall
Copyright: 2008
Enlaces:
El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática.

El libro incluye una colección de más de 300 enunciados de preguntas tipo test y ejercicios resueltos (capítulos del 1 al 9) y sin resolver (capítulos 10 y 11). Para una mayor profundidad teórica de los temas, incluye bibliografía.
Prólogo

Parte I. Lógica proposicional.

1. Sintaxis y semántica.
2. Formalización. Técnicas de razonamiento.
3. Equivalencia lógica. Leyes Booleanas.
4. Cálculo lógico con tableaux.

Parte II. Lógica de primer orden.

5. Sintaxis y semántica.
6. Formalización. Técnicas de razonamiento.
7. Equivalencia. Leyes de los cuantificadores.
8. Cálculo lógico con tableaux.
9. Cálculo lógica con resolución.
10. Ejercicios propuestos.

Bibliografía.