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 |
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.