Section: S3 - Définitions récursives et induction structurelle (4h - 6h) | [HILISIT] MathPInfo - Récurrence et Induction

Section outline

Objectifs : Appliquer une définition récursive, Donner une définition récursive d'une fonction, Donner une définition inductive d'un ensemble, Effectuer une preuve par induction structurelle
- Select activity Apprendre
  
  Apprendre
- Select activity CS - Définitions récursives et induction structurelle [rr3]
  
  CS - Définitions récursives et induction structurelle [rr3] URL
  
  Students must
  
  Mark as done
- Select activity S'exercer (copie)
  
  S'exercer
- Select activity TD - Exercices [rr3] - énoncés
  
  TD - Exercices [rr3] - énoncés URL
  
  Students must
  
  Mark as done
- Select activity TD - Exercices [rr3] - avec solutions
  
  TD - Exercices [rr3] - avec solutions URL
  
  Students must
  
  Mark as done
- Select activity S'évaluer (copie)
  
  S'évaluer