TY  - BOOK
AU  - Hortalá González,Teresa
AU  - Hortalá González,Teresa
TI  - Lógica matemática para informaticos:  Ejercicios resueltos
SN  - 9788483224540
U1  - 164/Ho789l/2.4.001(a) 
PY  - 2008///
CY  - España
KW  - LOGICA MATEMATICA
N1  - Lógica proposicional. Sintaxis matemática. 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  -