Passer au contenu principal

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Équivalences logiques : construire et prouver des équivalences

À propos
Confidentialité
Mentions légales

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

Graph Chatbot

Description

Cette séance de cours couvre le processus de construction et de preuve d'équivalences logiques en développant une série d'énoncés équivalents, y compris des exemples tels que les lois de De Morgan et les preuves de tautologie, conduisant à l'introduction de formes normales.

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_9rc0ib7r

À 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 (30)

Logique proposée: Traductions et équivalences

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

Logique propositionnelle : résumé de la semaine 1

Présente la logique propositionnelle, les connexions logiques, les implications et les équivalences, avec des exemples et des faits sur la tautologie et la contradiction.

Preuves : Équivalence logique et règles d'inférence

Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.

Logique propositionnelle : bases et équivalences

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

Logique propositionnelle : Implication et propositions composées

Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.

Proximité ontologique

Logique classique: Calcul des prédicats