Modelos Formais em Ciência Política