Séance de cours
Introduction aux preuves
Description
Cette séance de cours présente les preuves informelles utilisées en mathématiques et en informatique, explore les applications pratiques des preuves dans divers domaines tels que la vérification des programmes informatiques et la sécurité du système, discute de différentes formes et formulations de théorèmes et explique comment prouver des théorèmes en utilisant des méthodes directes et indirectes.
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.