Vista normal Vista MARC Vista ISBD

Hortalá González, Teresa

Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González, Narciso Martí Oliet, Miguel Palomino Tarjuelo [y otros dos] - x, 390 páginas : ilustraciones, tablas ; 27 cm

Incluye bibliografía (páginas: 389-390)

Prólogo - 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



ISBN: 9788483224540

Subjects--Topical Terms:
Lógica simbólica y matemática
Lógica de primer orden
Cálculo
Ciencia de la computación

Dewey Class. No.: 511.3 / H821l 2008