Final Regular de Logica para ciencias de la Computacion