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 |
Navegando Biblioteca Central Estantes, Ubicación: Ciencias Básicas, Código de colección: Matemáticas Cerrar el navegador de estanterías
510 B968l Lógica y argumentación : | 510 G17m1 Manual de fórmulas matemáticas, física y química / | 510 H821l Lógica matemática para informáticos : | 510 H821l Lógica matemática para informáticos : | 510 K16m Matematicas avanzadas para estudiantes de ingeniería / | 510 M516m Matemáticas operativas / | 510 O586m Matemáticas avanzadas para Ingeniería / |
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.