TY  - BOOK
AU  - Hortalá González, Teresa 
AU  - Martí Oliet, Narciso
AU  - Palomino Tarjuelo, Miguel 
AU  - Rodríguez Artalejo, Mario 
AU  - Del Vado Víserda, Rafael 
TI  - Lógica matemática para informáticos ejercicios resueltos / 
SN  - 9788483224540
U1  - 511.3 21
PY  - 2007///
CY  - Madrid : 
PB  - Pearson. Prentice Hall, 
KW  - Aritmética computacional
KW  - Teoría de los números
KW  - Funciones de conjuntos
KW  - Teoría combinatoria de los conjuntos
KW  - Matemáticas para ingenieros
KW  - Análisis numérico
KW  - Matemáticas
KW  - Procesamiento de datos
KW  - Informática
N1  - Incluye prólogo en la página ix; Incluye referencia bibliográficas en la página 389; Parte I. Lógica proposicional: 1. Sintaxis y semántica -- 2. Formalización. Técnicas de razonamiento -- 3. Equivalencia lógica. Leyes Booleanas -- 4. Cálculo Lógico con Tableaux -- Parte II. Lógica de primer orden: 5. Sintaxis y semántica -- 6. Formalización técnicas de razonamiento -- 7. Equivalencia lógica. Leyes de los cuantificadores -- 8. Cálculo lógico Tableaux -- 9. Cálculo lógico con resolución -- 10. Ejercicios propuestos.
ER  -