Conceptos elementales de lógica informática / Nelson Becerra Correa
Series Libro universitarioEditor: Colombia : Ecoe , 2012Edición: 1° EdDescripción: 198 páginas ; 23 cmTipo de contenido:- texto
- no mediado
- volumen
- 9789588782157
- 511 B3869 2012
Contenidos:
1.-Conceptos general de logica 2.-Logica proposicional 3.-Logica predicados 4.-Procedimiento de prueba de logica predicados 5.-Deduccion natural 6.-Tecnicas resolucion SAT
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 B3869 2012 (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | SDO008649 | |||
Libro | Sede Santo Domingo Sala general | Col General | 511 B3869 2012 (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | SDO008650 |
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)
510 W3881 1997 Matemáticas para administración y economía / | 510 W3881 1997 Matemáticas para administración y economía / | 511 B3869 2012 Conceptos elementales de lógica informática / | 511 B3869 2012 Conceptos elementales de lógica informática / | 511 B635 2012 Lógica y matemáticas discretas en la informática. El estilo calculatorio / | 511 B635 2012 Lógica y matemáticas discretas en la informática. El estilo calculatorio / | 511 B635 2012 Lógica y matemáticas discretas en la informática. El estilo calculatorio / |
Factura Educativa
1.-Conceptos general de logica 2.-Logica proposicional 3.-Logica predicados 4.-Procedimiento de prueba de logica predicados 5.-Deduccion natural 6.-Tecnicas resolucion SAT
Sistemas de la Información
MM
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.