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 |
Navegando Miguel de Cervantes estanterías, Ubicación en estantería: Sala general Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| 511.1 E775m 2010 Matemáticas discretas / | 511.1 E775m 2010 Matemáticas discretas / | 511.1 L767m 1991 Matemáticas finitas / | 511.3 H821l 2008 Lógica matemática para informáticos : | 511.42 A447m 2008 Métodos Numéricos / | 511.42 A447m 2008 Métodos Numéricos / | 511.42 A744m 2009 Métodos numéricos para el modelado unidimensional del proceso de renovación de la carga / |
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.