Construção de imagens sísmicas em verdadeira amplitude por dados de reflexão : formulação matemática e construção de algoritmos