Lógica matemática para informáticos : Ejercicios resueltos / Teresa Hortala Gonzalez
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
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 | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|
![]() |
Biblioteca Central Ciencias Básicas | 510 H821l (Navegar estantería) | Ej. 1 | Disponible | 7535 | |
![]() |
Biblioteca Central Ciencias Básicas | 510 H821l (Navegar estantería) | Ej. 2 | Disponible | 9035 |
Navegando Biblioteca Central Estantes, Ubicación: Ciencias Básicas Cerrar el navegador de estanterías
510 A643f Fundamentos de matemáticas básicas / | 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 / |
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.