Imagen de Amazon.com
Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González, Narciso Martí Oliet, Miguel Palomino Tarjuelo [y otros dos]
Tipo de material:
TextoLenguaje original: Español Editor: Madrid : Pearson Educación, copyright 2008Descripción: x, 390 páginas : ilustraciones, tablas ; 27 cmTipo de contenido: - texto
- no mediado
- volumen
- 9788483224540
- 511.3 H821l 2008
Contenidos:
Prólogo - Lógica proposicional - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes booleanas - Cálculo lógico con tableaux - Lógica de primer orden - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes de los cuantificadores - Cálculo lógico con tableaux - Cálculo lógico con resolución - Ejercicios propuestos
| Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|
Libro
|
Miguel de Cervantes Sala general | 511.3 H821l 2008 (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | 00004985 |
Incluye bibliografía (páginas: 389-390)
Prólogo - Lógica proposicional - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes booleanas - Cálculo lógico con tableaux - Lógica de primer orden - Sintaxis y semántica - Formalización. Técnicas de razonamiento - Equivalencia lógica. Leyes de los cuantificadores - Cálculo lógico con tableaux - Cálculo lógico con resolución - Ejercicios propuestos
Sistemas
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.