Elementos de Matem ´ atica Discreta para Computac ¸˜ ao Anamaria Gomide ∧ Jorge Stolﬁ Vers˜ ao Preliminar de 25 de agosto de 2011 c  2011