Ê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 des exemples de preuves directes et indirectes, y compris les théorèmes sur les entiers pairs et impairs, la somme des nombres rationnels et la preuve par contreposition. Il explore également la preuve par la contradiction et les cas, avec des exemples illustrant ces méthodes.