Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González ...[et al.]
Language: Spanish Series: ( Prentice práctica )Publication details: Madrid, España : Pearson Educación, 2008Description: x, 390 páginas ; ilustraciones ; 27 cmContent type:- texto
- sin mediación
- volumen
- 9788483224540
- 004.015 1 T687l
| Item type | Current library | Call number | Copy number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|
Libros
|
MATRIZ | 004.015 1 L687l (Browse shelf(Opens below)) | Ej.1 | Available | NO DISPONIBLE | 18763 |
Browsing MATRIZ shelves Close shelf browser (Hides shelf browser)
| 004 T2559t Tecnologías de la información / | 004 V145e El Proceso Digital de la Imagen con Photoshop CS2 / | 004.015 1 L4736l Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG / | 004.015 1 L687l Lógica matemática para informáticos : ejercicios resueltos / | 004.0151 G569a Administración avanzada de sistemas informáticos / | 004.028 8 C415e El libro del portátil / | 004.068 H558a Administración de la función informática : Ricardo Hernández Jiménez |
Contiene índice.
Incluye bibliografía.
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.
There are no comments on this title.