LOGICA MATEMATICA PARA INFORMATICOS

Título

LOGICA MATEMATICA PARA INFORMATICOS. EJERCICIOS RESUELTOS

Editorial

PRENTICE HALL HISPANOAMERICANA

ISBN
978-84-8322-454-0
Encuadernación
RUSTICA
Páginas
400
Nº de Edición
Año de edición
2008
Valoración media

Precio

33,95 €

  • Disponibilidad inmediata
  • Envío gratuito Para compras superiores a 50 €, sólo para península

Sinopsis

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

Prólogo
Parte I. Lógica proposicional
Capitulo 1. Sintaxis y semántica
Capitulo 2. Formalización. Técnicas de razonamiento
Capitulo 3. Equivalencia lógica. Leyes Booleanas
Capitulo 4. Cálculo lógico con tableaux
Parte II. Lógica de primer orden
Capitulo 5. Sintaxis y semántica
Capitulo 6. Formalización. Técnicas de razonamiento
Capitulo 7. Equivalencia. Leyes de los cuantificadores
Capitulo 8. Cálculo lógico con tableaux
Capitulo 9. Cálculo lógica con resolución
Capitulo 10. Ejercicios propuestos
Bibliografía