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. \
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.