Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González - 1 - 433 páginas ; 24 cm. - Prentice práctica. .

Bibliografía: p. [389]-390

1. Sintaxis y semaántica.-- 2. Formalización tecnicas de razonamiento.-- 3. Equivalencia lógica. Leyes booleadas.-- 4. Cálculo lógico con tableux.-- 5. Sintaxis y semantica.-- 6. Formalización. Tecnicas de razonamiento.-- 7. Equivalencia lógica.-- 8. Cálculo lógico con tableux.-- 9. Cálculo lógico con resolución.-- 10. Ejercicios propuestos.

ISBN: 9788483224540

Subjects--Topical Terms:
LÓGICA MATEMÁTICA. INFORMÁTICA. EJERCICIOS.

Dewey Class. No.: 511.3 / GH821l