TY  - BOOK
AU  - 
TI  - Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González
SN  - 9788483224540
U1  - 511.3 
PY  - 2008///
CY  - España, Madrid: 
PB  - Prentice Hall / Pearson / Alhambra, 
KW  - LÓGICA MATEMÁTICA. INFORMÁTICA. EJERCICIOS
N1  - Bibliografía: p. [389]-390; 1. Sintaxis y semaántica.-- 2. Formalización tecnicas de razonamiento.-- 3. Equivalencia lógica. Leyes  booleadas.-- 4. Cálculo lógico con tableux.-- 5. Sintaxis y semantica.-- 6. Formalización. Tecnicas de razonamiento.-- 7. Equivalencia lógica.-- 8. Cálculo lógico con tableux.-- 9. Cálculo lógico con resolución.-- 10. Ejercicios propuestos
ER  -