Lógica para informáticos / Rafael Farré Cirera; Robert Nieuwenhuis; Pilar Nivela [et alt.]
Editor: México : Alfaomega , 2012Edición: 1ª EdDescripción: 206 páginas ; 23 cmTipo de contenido:- texto
- no mediado
- volumen
- 9786077071655
- 511 F24 2012
Contenidos:
1.-Preliminares 2.-Definicion de la logica proposicional 3.-Deduccion en la logica proposicional 4.-Definicion de la logica de primer orden 5.-Deduccion de la logica de primer orden 6.-Fundamentos de la programacion logica
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|---|
Libro | Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | SDO002431 | |||
Libro | Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | SDO002432 | |||
Libro | Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.3 | Disponible | SDO002433 | |||
Libro | Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.4 | Disponible | SDO002434 | |||
Libro | Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.5 | Disponible | SDO002435 | |||
Libro | Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.6 | Disponible | SDO008812 | |||
Libro | Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.7 | Disponible | SDO008813 |
Total de reservas: 0
Navegando Sede Santo Domingo estanterías, Ubicación en estantería: Sala general, Colección: Col General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
511 F24 2012 Lógica para informáticos / | 511 F24 2012 Lógica para informáticos / | 511 F24 2012 Lógica para informáticos / | 511 F24 2012 Lógica para informáticos / | 511 F24 2012 Lógica para informáticos / | 511 G5899 2012 Elementos de cálculo numérico / | 511 G5899 2012 Elementos de cálculo numérico / |
1.-Preliminares 2.-Definicion de la logica proposicional 3.-Deduccion en la logica proposicional 4.-Definicion de la logica de primer orden 5.-Deduccion de la logica de primer orden 6.-Fundamentos de la programacion logica
Sistemas de la Información
MM
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.