Ê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 le concept d'ensembles partiellement ordonnés, d'éléments maximaux, de limites supérieures et de lemme de Zorn en analyse fonctionnelle. Il examine également le principe du tiers exclu et fournit des exemples de preuves constructives et non constructives.
Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.
Regarder sur Mediaspace