Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Séance de cours
Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
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.