Logique propositionnelle : Formes normales

À propos
Confidentialité
Mentions légales

Graph Chatbot

Dans cours

DEMO: dolor incididunt

Irure culpa magna amet adipisicing aliqua incididunt. Esse magna exercitation consectetur ad. Irure exercitation nostrud esse excepteur reprehenderit.

Description

Cette séance de cours couvre la forme normale disjonctive (DNF) et la forme normale conjonctive (CNF) en logique propositionnelle, expliquant comment les construire à partir de propositions composées et de leur complexité par rapport à la proposition originale.

Enseignant

consequat elit

Do quis nulla excepteur qui Lorem aliquip do dolore consectetur consequat id sunt. Adipisicing et veniam sint aliqua non eiusmod anim amet occaecat cupidatat proident. Aute ad adipisicing labore aliqua pariatur dolore aliquip occaecat elit qui do ea. Id excepteur cupidatat magna labore tempor commodo cupidatat reprehenderit. Deserunt ullamco fugiat velit id officia. Sint duis ex eu commodo consectetur nulla velit.

Source officielle

Proximité ontologique

Logique

Logique classique: Calcul des prédicats

Séances de cours associées (29)

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

À 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

DEMO: dolor incididunt

Irure culpa magna amet adipisicing aliqua incididunt. Esse magna exercitation consectetur ad. Irure exercitation nostrud esse excepteur reprehenderit.

Enseignant

consequat elit

Proximité ontologique

Logique

Logique classique: Calcul des prédicats

Séances de cours associées (29)

Afficher plus

Logique propositionnelle : Formes normales

Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, en montrant comment les construire et en discutant de leur complexité.

Logique proposée: Traductions et équivalences

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

Logique propositionnelle : Formes et applications normales

Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, leurs applications et leur complexité, avec des exemples pratiques.

Logique propositionnelle : bases et applications

Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

Logique propositionnelle : connexions logiques de base

Couvre les propositions, les connecteurs logiques, les tables de vérité et le langage logique propositionnel.