Lógica matemática para informáticos : ejercicios resueltos /
Lógica matemática para informáticos : ejercicios resueltos /
Teresa Hortalá González ...[et al.]
- Madrid, España : Pearson Educación, 2008
- x, 390 páginas ; ilustraciones ; 27 cm.
- ( Prentice práctica ) .
Contiene índice.
Incluye bibliografía.
Lógica proposicional - Sintaxis y semántica - 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.
9788483224540
Lógica matemática - Problemas.
Informática.
Sintáxis y semántica.
Leyes Booleanas.
Cálculo lógico.
004.015 1 / T687l
Contiene índice.
Incluye bibliografía.
Lógica proposicional - Sintaxis y semántica - 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.
9788483224540
Lógica matemática - Problemas.
Informática.
Sintáxis y semántica.
Leyes Booleanas.
Cálculo lógico.
004.015 1 / T687l