TY  - MANSCPT
AU  - Hortalá González, Teresa
AU  - Martí Oliet, Narciso
AU  - Palomino Tarjuelo, Miguel
AU  - Rodríguez Artalejo, Mario
AU  - Del Vado Vírseda, Rafael
TI  - Lógica matemática para informáticos: Ejercicios resueltos
SN  - 9788483224540
U1  - 511.3 
PY  - 2008///
CY  - Madrid, España
PB  - Pearson Educación
KW  - Lógica Matemática
KW  - Matemáticas
KW  - Formalización
KW  - Equivalencia Lógica
N1  - Lógica proposicional.
1. Sintaxis matemática.
2. Formalización. Técnicas de razonamiento.
3. Equivalencia lógica. Leyes booleanas.
4. Cálculo lógico con tableaux.
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 con tableaux.
9. Cálculo lógico con resolución.
10. Ejercicios propuestos
ER  -