Hortalá González, Teresa
Lógica matemática para informáticos. Ejercicios resueltos.
- Madrid, España Pearson Educación 2008
- x, 390 páginas; fig, tablas; 195x270 mm
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.
9788483224540
Lógica Matemática
Matemáticas
Formalización
Equivalencia Lógica
511.3 / H821