Imagen de cubierta local
Imagen de Amazon.com
Imagen de OpenLibrary
Lógica Matemática para Informáticos Ejercicios Resueltos Hortalá González, Teresa; Martí Oliet, Narciso; Palomino Tarjuelo, Miguel; Rodríguez Artalejo, Mario y Vírseda, Rafael del Vado
Tipo de material:
TextoDetalles de publicación: Madrid Pearson 2008Descripción: 390 P. graf. 27 cmISBN: - 978-84-8322-454-0
- 511.3 L832
Contenidos:
Sintaxis y Semántica - Formaliación. Técnicas de Razonamiento - Equivalencia Lógica. Leyes Booleanas - Cálculo Lógico con Tableaux - Lógica de Primer Orden - Cálculo Lógico con Resolución - Ejercicios Propuestos
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Copia número | Estado | Código de barras | |
|---|---|---|---|---|---|---|
Libros
|
Biblioteca Universidad Regional Amazónica Ikiam | 511.3 L832 (Navegar estantería(Abre debajo)) | Ej.1/1 | Disponible | 000071 |
Sintaxis y Semántica - Formaliación. Técnicas de Razonamiento - Equivalencia Lógica. Leyes Booleanas - Cálculo Lógico con Tableaux - Lógica de Primer Orden - Cálculo Lógico con Resolución - Ejercicios Propuestos
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.
Haga clic en una imagen para verla en el visor de imágenes