MATF57-T01-INTRODUÇÃO AO RACIOCÍNIO COMPUTACIONAL ...