Location | Call number | Copy | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Biblioteca Central | 004. 015 1 / B 389 (Browse shelf) | 1 | Available | 04151 |
004 / L 665Introducción a la computación y a la programación estructurada | 004 / M 387Introducción a la informática : | 004 / P 7151Introducción a la informática : | 004. 015 1 / B 389Conceptos elementales de lógica informática / | 004. 015 1 / J 617Matemáticas para la computación / | 004. 0151 / K 815Estructuras de Matemáticas Discretas para la Computación |
Incluye bibliografía, índice e índice alfabético.
1. Conceptos generales de 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.
Grammata textos Compras 08 de julio de 2016 Ingeniería informática 43000 1 Books Calle 49 B # 75-33, Medellin
Click on an image to view it in the image viewer
BIBLIOTECA
2015-2019
There are no comments for this item.