Logique de prédicat: Résumé de la semaine 2

Séances de cours associées (28)

Page 2 sur 3

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

Couvre l'interprétation de la logique de proposition et des règles d'inférence pour l'implication, la conjonction et la double négation.

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

Explore la distribution des quantificateurs, des équivalences logiques et des négations dans la logique des prédicats.

Couvre les bases de la logique des prédicats, y compris les quantificateurs et les énoncés.

Couvre la syntaxe logique de premier ordre, la sémantique, la skolémisation, la résolution et les transformations de formes normales.

Couvre l'optimisation des fonctions logiques en utilisant des diagrammes de Karnaugh et en traitant des fonctions définies incomplètes.

Couvre les bases et les applications de la logique des prédicats, y compris les quantificateurs, les prédicats et les fonctions propositionnelles.

Couvre les propriétés et les théorèmes de l'algèbre booléenne dans les systèmes logiques.