Ê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
Récursivité mathématique : Induction et récursivité
Description
Cette séance de cours couvre le principe de l'induction mathématique, où une proposition est prouvée vraie pour tous les entiers positifs en montrant l'étape de base et l'étape inductive. Des exemples sont fournis pour illustrer le concept, ainsi que la validité de linduction mathématique basée sur la propriété bien ordonnée des entiers positifs.
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.
Proximité ontologique
Séances de cours associées (32)
Complexité et induction: Algorithmes et preuves
Explore la complexité du pire cas, l'induction mathématique, et des algorithmes comme la recherche binaire et le tri d'insertion.
Complexité et induction: Algorithmes et preuves
Couvre la complexité, les algorithmes et les preuves du pire cas, y compris l'induction mathématique et la récursion.
Produit cartésien et induction
Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.
Algèbre élémentaire: ensembles numériques
Explore les concepts d'algèbre élémentaire liés aux ensembles numériques et aux nombres premiers, y compris la factorisation et les propriétés uniques.
Preuves : Logique, Mathématiques et Algorithmes
Explore les concepts, les techniques et les applications de la preuve dans la logique, les mathématiques et les algorithmes.