Lógica matemática para informáticos: ejercicios resueltos Por Teresa Hortalá González [y otros dos]
By: Hortalá González, Teresa [Autor(a)]
Contributor(s): Martí Oliet, Narciso [Autor(a)] | Palomino Tarjuelo Miguel [Autor(a)]
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Campus Central Estantería | Campus Central Estantería | Colección de divulgación general | 511.3 H788 (Browse shelf) | Available | 01-001898 | ||
![]() |
Estantería | Campus Central Estantería | Colección de divulgación general | 511.3 H788 (Browse shelf) | Available | 01-001897 |
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.
There are no comments on this title.