Describir: Conceptos elementales de lógica informática /