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 / 
T2  - ( Prentice práctica ) 
SN  - 9788483224540
U1  - 004.015 1  
PY  - 2008///
CY  - Madrid, España : 
PB  - Pearson Educación
KW  - Lógica matemática - Problemas
KW  - Informática
KW  - Sintáxis y semántica
KW  - Leyes Booleanas
KW  - Cálculo lógico
N1  - Contiene índice.; Incluye bibliografía.;  	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.
ER  -