Describir: Lógica y algoritmos; con aplicaciones a las ciencias de la computación e información