Séance de cours
Induction structurelle
Description
Cette séance de cours introduit le principe de l'induction structurelle, une méthode pour prouver les propriétés des éléments dans des ensembles définis récursivement, étroitement liés à l'induction mathématique. À travers des exemples avec des chaînes et des formules bien formées, l'instructeur illustre comment appliquer l'induction structurelle pour prouver des propriétés sur des structures définies récursivement.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.