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 |
Navegando Biblioteca Universidad Regional Amazónica Ikiam estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| 511 T866g Introduction to Graph Theory | 511 T866g Introduction to Graph Theory | 511 T866g Introduction to Graph Theory | 511.3 L832 Lógica Matemática para Informáticos | 511.3 S478a A Bridge to Advanced Mathematics | 511.3 S478a A Bridge to Advanced Mathematics | 511.3 S478a A Bridge to Advanced Mathematics |
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