Lógica matemática para informáticos : Ejercicios resueltos / Teresa Hortala Gonzalez
Tipo de material: TextoEditor: España : PearsonPrentice-Hall Descripción: 390 pISBN: 9788483224540Tema(s): Lógica matemática; Logica programada; Cálculo (Electrónica)Clasificación LoC:510 H821l
Contenidos:
Lógica proposicional -- Formalización. Técnicas de razonamiento -- Equivalencia lógica. Leyes booleanas -- Cálculo lógico con tableaux -- Sintaxis y semántica -- Equivalencia lógica. Leyes de los cuantificadores -- Cálculo lógico con resolución. \
Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro - Material General | Biblioteca Central Ciencias Básicas | Matemáticas | 510 H821l (Navegar estantería) | Ej. 1 | Disponible | 7535 | |
Libro - Material General | Biblioteca Central Ciencias Básicas | Matemáticas | 510 H821l (Navegar estantería) | Ej. 2 | Disponible | 9035 |
Compra realizada en Diciembre de 2012 Libreria Plaza y Janes 56.773 \ Libro inventariado en Junio de 2014.
Lógica proposicional -- Formalización. Técnicas de razonamiento -- Equivalencia lógica. Leyes booleanas -- Cálculo lógico con tableaux -- Sintaxis y semántica -- Equivalencia lógica. Leyes de los cuantificadores -- Cálculo lógico con resolución. \
No hay comentarios en este titulo.