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

Home Shared Space

Topic outline

General
- Annonces Forum

S3 - Définitions récursives et induction structurelle (4h - 6h)
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
- Apprendre
- CS - Définitions récursives et induction structurelle [rr3] URL
- S'exercer
- TD - Exercices [rr3] - énoncés URL
- TD - Exercices [rr3] - avec solutions URL
- S'évaluer