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 Educación, 
KW  - LEMB
KW  - Lógica simbólica y matemática
KW  - Lógica de primer orden
KW  - Cálculo
KW  - Ciencia de la computación
N1  - Incluye bibliografía (páginas: 389-390); Prólogo - Lógica proposicional - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes booleanas - Cálculo lógico con tableaux - Lógica de primer orden - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes de los cuantificadores - Cálculo lógico con tableaux - Cálculo lógico con resolución - Ejercicios propuestos; Sistemas
ER  -