Ê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 explore le concept de preuve en mathématiques, en mettant l'accent sur l'importance de la preuve et du raisonnement logique. L'instructeur discute de la notion de vérité dans les propositions mathématiques et introduit des symboles pour représenter les implications logiques. Diverses méthodes de preuve, y compris les méthodes directes et opposées, sont expliquées à travers des exemples et des théorèmes. La séance de cours met l'accent sur la signification du raisonnement rigoureux et de la déduction logique en théorie mathématique, illustrant le processus avec des théorèmes et des règles logiques. La présentation progresse chronologiquement à travers les diapositives, en commençant par les concepts de base et en approfondissant progressivement les implications et les preuves logiques plus complexes.