TY  - GEN
AU  - Becerra Correa,Nelson
TI  - Conceptos elementales de lógica informática
SN  - 9789588782157
U1  - 004.0151 21
PY  - 2012///
CY  - Bogotá
PB  - Ecoe ediciones, Universidad Distrital Francisco José de Caldas
KW  - LEMB
KW  - Informática - matemáticas
KW  - Lógica simbólica y matemática
KW  - Lógica (informática)
KW  - Cálculo proposicional
N1  - 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
ER  -