Séance de cours
Introduction aux preuves
Description
Cette séance de cours présente des preuves informelles couramment utilisées en mathématiques, en informatique et dans d'autres disciplines, mettant en évidence leurs applications pratiques dans la vérification des programmes informatiques, la sécurité du système et l'intelligence artificielle. Il couvre la terminologie, les formes et la formulation des théorèmes, soulignant limportance de prouver les théorèmes par des méthodes directes et indirectes comme la preuve par opposition et contradiction.
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.