TY - BOOK AU - Becerra Correa,Nelson TI - Conceptos elementales de lógica informática T2 - Libro universitario SN - 9789588782157 U1 - 511 PY - 2012/// CY - Colombia PB - Ecoe KW - PROCESAMIENTOS DE DATOS CIENCIAS DE LA COMPUTADORAS N1 - 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 ER -