Étudier l’évolution de suites discrètes et maîtriser les outils logiques et les méthodes de preuve pour démontrer rigoureusement.