Conceptos elementales de lógica informática / Nelson Becerra Correa.
Material type:![Article](/opac-tmpl/lib/famfamfam/AR.png)
- texto
- sin medio
- volumen
- 9789588782157
- 21 004.0151 B389 2012
Item type | Current library | Collection | Call number | Materials specified | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) | Reserva | 004.0151 B389 2012 (Browse shelf(Opens below)) | Ej. 1 | Available | Colección 1, Isla 1, Lado A, Módulo 2 | 100002910 | |||
![]() |
Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) | General | 004.0151 B389 2012 (Browse shelf(Opens below)) | Ej. 2 | Available | Colección 1, Isla 1, Lado A, Módulo 2 | 100002911 | |||
![]() |
Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) | General | 004.0151 B389 2012 (Browse shelf(Opens below)) | Ej. 3 | Available | Colección 1, Isla 1, Lado A, Módulo 2 | 100002912 |
Browsing Biblioteca William Corredor Gómez. Sede Cosmos (Barranquilla) shelves, Collection: General Close shelf browser (Hides shelf browser)
Incluye índice de figuras en la página 11
Incluye índice de cuadros en la página 13
Incluye índice alfabético en la página 191
Incluye referencias bibliográficas en la página 193
1. Conceptos generales de la lógica -- 2. Lógica proposicional -- 3. Lógica predicados -- 4. Procedimiento de prueba de lógica predicados -- 5. Deducción natural -- 6. Técnicas resolución SAT
There are no comments on this title.