TY  - BOOK
AU  - Hortalá González,Teresa
AU  - Martí Oliet,Narciso
AU  - Palomino Tarjuelo Miguel
TI  - Lógica matemática para informáticos: : ejercicios resueltos
SN  - 9788483224540
U1  - 511.3 
PY  - 2008///.
CY  - Madrid: 
PB  - Pearson,  
KW  - Lógica matemática
KW  - Matemático
KW  - Lógica
KW  - Cálculo lógico
KW  - Técnicas de razonamiento
N1  - Incluye Bibliografía; Lógica proposicional. — Formalización, técnicas de razonamiento. — Leyes booleanas. — Cálculo lógico con tableux. — Sintaxis y semántica. — Leyes de cuantificadores. — Cálculo lógico con resolución. — Ejercicios propuestos
N2  - 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.
UR  - http://sgi-ab.unae.edu.ec/libros/01-001898.html
ER  -