Normal view MARC view ISBD view

Becerra Correa, Nelson.

Conceptos elementales de lógica informática / Nelson Becerra Correa. - Bogotá : Ecoe Ediciones : Universidad Distrital Francisco José de Caldas, 2012. - 198 p. ; fig., 23 cm.

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.

ISBN: 9789588782157

Nat. Bib. No.: ck-2012-xxxx

Subjects--Topical Terms:
INFORMÁTICA-- MATEMÁTICAS.
LÓGICA SIMBÓLICA MATEMÁTICA
LÓGICA (INFORMÁTICA)
CÁLCULO PROPOSICIONAL.

Dewey Class. No.: 004. 015 1 / / B 389