Passer au contenu principal

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Équivalences logiques : Partie 1

À propos
Confidentialité
Mentions légales

Copyright © 2026 EPFL, tous droits réservés

Graph Chatbot

Description

Cette séance de cours couvre les équivalences logiques dans la logique propositionnelle, y compris les lois de De Morgan, les équivalences avec les connexions de base, les équivalences avec les implications et les déclarations contrapositives, converses et inverses.

Enseignant

Co-Founder of LinkAlong Sarl, 2017.Vice-president EPFL for Information Systems, 2012 –2016.Director of the Swiss National Centre for Mobile Information and Communication Systems NCCR MICS (mics.ch), 2005 -2012.Member of the Swiss Research and Technology Council SWTR, consulting the Swiss Federal government, 2004 - 2011.

Source officielle

https://mediaspace.epfl.ch/media/0_rih06qxl

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Dans cours

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

Séances de cours associées (29)

Logique proposée: Traductions et équivalences

Couvre la traduction du langage naturel en logique de proposition et la démonstration de tautologies.

Logique propositionnelle : bases et équivalences

Couvre les bases de la logique propositionnelle et explore les équivalences logiques et les techniques de preuve.

Équivalences logiques : les lois de De Morgan et leurs implications

Couvre les équivalences logiques dans la logique propositionnelle, y compris les lois et les équivalences de De Morgan avec les connexions de base.

Mathématiques discrètes: Logique & Structures

Couvre la logique de proposition, les tables de vérité et les stratégies de résolution de problèmes en mathématiques discrètes.

Introduction & Logique de proposition

Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.

Proximité ontologique

Logique classique: Calcul des prédicats