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: TextLanguage: Spanish Publisher: Madrid: Pearson, 2008Edition: 1a ediciónDescription: 400 páginas: Gráficos 27 cmContent type: texto Media type: no mediado Carrier type: volumenISBN: 9788483224540Subject(s): Lógica matemática | Matemático | Lógica | Cálculo lógico | Técnicas de razonamientoDDC classification: 511.3 Online resources: Click here to access onlineItem type | Current location | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Libros | Campus Central Estantería | Campus Central Estantería | Colección de divulgación general | 511.3 H788 (Browse shelf) | Available | 01-001898 | ||
Libros | 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.