Algorithmes récursifs : Induction et tri

Cette séance de cours couvre les concepts d'induction et de récursion, en se concentrant sur l'induction structurelle pour prouver les propriétés des ensembles récursivement définis. Il s'inscrit également dans la définition récursive des chaînes, la complexité temporelle des algorithmes récursifs, et l'algorithme de tri de fusion pour le tri. L'instructeur explique le processus de prouver que les algorithmes récursifs sont corrects et démontre l'application de stratégies de division et de conquête dans le tri des algorithmes comme le tri de fusion.