Lógica para informáticos / Rafael Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós y otros.
Colaborador(es): Oliveras Llunell, Albert [coautor]
| Rodríguez Carbonell, Enric [coautor] | Sierra Santibáñez, Josefina [coautor].
Tipo de material: 
LibroEditor: México : Alfaomega, 2012Edición: 1a ed.Descripción: xii, 206 p. : il. ; 23 cm.ISBN: 978-607-707-165-5.Tema(s): Lógica simbólica | Lógico matemática | Informática-EnseñanzaClasificación CDD: 005.131/
Contenidos:
CONTENIDO: Preliminares - Definición de la lógica proposicional - Deducción en la lógica proposicional - Definición de la lógica de primer orden - Deducción en la lógica de primer orden - Fundamentos de la programación lógica - Ejercicios resueltos.
| Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central | 005.131/ L (Navegar estantería) | ej.1 | Disponible | 192345 | 010207000490 | |
|
Libros
|
Biblioteca Central | 005.131/ L (Navegar estantería) | ej.2 | Disponible | 192346 | 010207000491 | |
|
Libros
|
Biblioteca Central | 005.131/ L (Navegar estantería) | ej.3 | Disponible | 192347 | 010207000492 | |
|
Libros
|
Biblioteca Central | 005.131/ L (Navegar estantería) | ej.4 | Disponible | 192348 | 010207000493 |
Navegando Biblioteca Central Estantes Cerrar el navegador de estanterías
| 005.131/ D35 Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / | 005.131/ L Lógica para informáticos / | 005.131/ L Lógica para informáticos / | 005.131/ L Lógica para informáticos / | 005.131/ L Lógica para informáticos / | 005.369/ O28E Excel Contable / | 005.43/ C76 Manual imprescindible de Mac OS X Lion / |
Incluye índice.
CONTENIDO: Preliminares - Definición de la lógica proposicional - Deducción en la lógica proposicional - Definición de la lógica de primer orden - Deducción en la lógica de primer orden - Fundamentos de la programación lógica - Ejercicios resueltos.
No hay comentarios para este ejemplar.