Ê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.
Logique proposée : Équivalence et formes normales
Cette séance de cours couvre la logique de proposition, y compris l'équivalence logique, la tautologie, la contradiction et la contingence. Il explique comment déterminer les valeurs de vérité des énoncés, effectuer des preuves d'équivalence et dériver la forme normale conjuguée (FCN) et la forme normale disjonctive (FDN) à l'aide de tableaux de vérité.
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