[HILISIT] MathPInfo - Récurrence et Induction
Topic outline
-
General
-
Objectifs : Comprendre une définition d'un ensemble décrit par des règles d'inférence, Utiliser des règles d'inférence pour construire un arbre de dérivation ou une preuve directe d'appartenance à un ensemble, Comprendre un argument de preuve par induction sur une définition par règle d'inférence