Hortalá González, Teresa
Lógica matemática para informáticos: ejercicios resueltos Por Teresa Hortalá González [y otros dos] - 1a edición - 400 páginas: Gráficos 27 cm.
Incluye Bibliografía
Lógica proposicional. — Formalización, técnicas de razonamiento. — Leyes booleanas. — Cálculo lógico con tableux. — Sintaxis y semántica. — Leyes de cuantificadores. — Cálculo lógico con resolución. — Ejercicios propuestos
El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática.
9788483224540
Lógica matemática
Matemático
Lógica
Cálculo lógico Técnicas de razonamiento
511.3 / H788
Lógica matemática para informáticos: ejercicios resueltos Por Teresa Hortalá González [y otros dos] - 1a edición - 400 páginas: Gráficos 27 cm.
Incluye Bibliografía
Lógica proposicional. — Formalización, técnicas de razonamiento. — Leyes booleanas. — Cálculo lógico con tableux. — Sintaxis y semántica. — Leyes de cuantificadores. — Cálculo lógico con resolución. — Ejercicios propuestos
El objetivo de este libro es dar apoyo a la docencia de elementos básicos de la lógica matemática que normalmente se incluyen en los planes de estudio típicos de titulaciones en informática.
9788483224540
Lógica matemática
Matemático
Lógica
Cálculo lógico Técnicas de razonamiento
511.3 / H788