Título :	Lógica matemática para informáticos : ejercicios resueltos
Tipo de documento:	texto impreso
Autores:	Teresa Hortalá González ; Narciso Martí Oliet, Autor ; Miguel Palomino Tarjuelo, Autor ; Mario Rodríguez Artalejo, Autor ; Del Vado Virseda, Rafael, Autor
Editorial:	Madrid : Pearson Educación
Fecha de publicación:	2008
Número de páginas:	390 p
Il.:	il.
Dimensiones:	Rústica
ISBN/ISSN/DL:	978-84-8322-454-0
Nota general:	Incluye Bibliografía e Índice
Idioma :	Español (spa)
Palabras clave:	CÁLCULO  INFORMATICA  LOGICA MATEMATICA  LOGICA PROGRAMADA  LOGICA PROPORCIONAL  LOGICA-PROBLEMAS, EJERCICIOS ETC.  RAZONAMIENTO
Clasificación:	511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica)
Resumen:	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.
Nota de contenido:	Parte I. Lógica proposicional. // Capítulo 1. Sintaxis semántica. // Capítulo 2. Formalización. Técnica de razonamiento. // Capítulo 3. Equivalencia lógica. Leyes Booleanas. // Capítulo 4. Cálculo lógico con trableaux. // Parte II. Lógica de primer orden. // Capítulo 5. Sintaxis semántica. // Capítulo 6. Formalización. Técnicas de razonamiento. // Capítulo 7. Equivalencia lógica. Leyes de los cuantificadores. // Capítulo 8. Cálculo lógico con tableaux. // Capítulo 9. Cálculo lógico con resoluciones. // Capítulo 10. Ejercicios propuestos.

Lógica matemática para informáticos : ejercicios resueltos [texto impreso] / Teresa Hortalá González ; Narciso Martí Oliet, Autor ; Miguel Palomino Tarjuelo, Autor ; Mario Rodríguez Artalejo, Autor ; Del Vado Virseda, Rafael, Autor . - Madrid : Pearson Educación, 2008 . - 390 p : il. ; Rústica.
ISBN : 978-84-8322-454-0
Incluye Bibliografía e Índice
Idioma : Español (spa)

Palabras clave:	CÁLCULO  INFORMATICA  LOGICA MATEMATICA  LOGICA PROGRAMADA  LOGICA PROPORCIONAL  LOGICA-PROBLEMAS, EJERCICIOS ETC.  RAZONAMIENTO
Clasificación:	511.3 - Ciencias naturales y matemáticas - Principios generales - Lógica matemática (Lógica simbólica)
Resumen:	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.
Nota de contenido:	Parte I. Lógica proposicional. // Capítulo 1. Sintaxis semántica. // Capítulo 2. Formalización. Técnica de razonamiento. // Capítulo 3. Equivalencia lógica. Leyes Booleanas. // Capítulo 4. Cálculo lógico con trableaux. // Parte II. Lógica de primer orden. // Capítulo 5. Sintaxis semántica. // Capítulo 6. Formalización. Técnicas de razonamiento. // Capítulo 7. Equivalencia lógica. Leyes de los cuantificadores. // Capítulo 8. Cálculo lógico con tableaux. // Capítulo 9. Cálculo lógico con resoluciones. // Capítulo 10. Ejercicios propuestos.