Preuves : Logique, Mathématiques et Algorithmes

Cette séance de cours porte sur les concepts de preuve, d'axiome et de théorème, différents types de preuves (directes, contrapositions, contradictions, par cas), des erreurs dans les preuves et des applications pratiques des preuves en informatique. Il explique également la terminologie, les preuves informelles, les lemmas, les corollaires et les conjectures. Diverses techniques de preuve telles que les preuves directes, la preuve par contreposition, la preuve par contradiction, la preuve exhaustive, la preuve par cas et les preuves d'existence sont discutées avec des exemples. La séance de cours porte également sur les preuves d'unicité, les contre-exemples, les preuves d'équivalence et les erreurs dans les preuves.