TY - BOOK AU - Barboza Gutiérrez, Fidel TI - Lógica y matemáticas : para ciencias de la computación SN - 9789588957869 U1 - 004.015.1 B239L CY - Colombia KW - MATEMÁTICA PARA COMPUTACIÓN KW - TEORÍAS DE CONJUNTOS KW - OPERACIONES ENTRE CONJUNTOS KW - ALGEBRA DE NÚMEROS REALES KW - ÁLGEBRA DE CONJUNTOS KW - RELACIONES Y FUNCIONES KW - BASES DE DATOS KW - ÁRBOLES KW - CARDINALIDAD KW - CÁLCULO DE PROPOSICIONES KW - INFERENCIA LÓGICA KW - CÁLCULO DE PREDICADOS KW - ÁLGEBRA DE BOOLE KW - FUNCIONES BOOLEANAS KW - ALGORITMOS KW - FUNCIONES ER -