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 | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
![]() |
Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | SDO002431 | ||
![]() |
Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | SDO002432 | ||
![]() |
Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.3 | Disponible | SDO002433 | ||
![]() |
Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.4 | Disponible | SDO002434 | ||
![]() |
Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.5 | Disponible | SDO002435 | ||
![]() |
Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.6 | Disponible | SDO008812 | ||
![]() |
Sede Santo Domingo Sala general | Col General | 511 F24 2012 (Navegar estantería(Abre debajo)) | Ej.7 | Disponible | SDO008813 |
Total de reservas: 0
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.