Lógica Matemática para informáticos : ejercicios resueltos - Hortalá González, Teresa; Martí Oliet, Narciso; Palomino Tarjuelo, Miguel; Rodríguez Artalejo, Mario; Vado Vírseda, Rafael de (Madrid : Pearson Prentice Hall, 2008)
Lógica proposicional -- Sintaxis y semántica -- Formalización, técnicas de razonamiento -- Equivalencia lógica, leyes booleanas -- Cálculo lógico con tableux -- Lógica de primer orden -- Sintaxis y semántica -- Formalización, Tecnicas de razonamiento -- Equivalencia lógica, Leyes de los cuantificadores -- Cálculo lógico con tableux -- Cálculo lógico con resolución -- Ejercicios propuestos.
Bibliografía: páginas [389]-390
General
Keywords: Lógica matemática -- Problemas, Ejercicios, etc; Informática