Automatiser les preuves logiques de premier ordre en utilisant la résolution

Séances de cours associées (28)

Page 3 sur 3

Couvre les réponses aux questions de quiz sur la logique des prédicats.

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 les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

Introduit la logique de prédicat et explique comment déterminer les valeurs de vérité à l'aide de quantificateurs.

Explore les équivalences logiques, les quantificateurs et les lois de De Morgan dans la logique des prédicats.

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

Couvre les équivalences logiques, les quantificateurs et les lois de De Morgan dans la logique des prédicats.

Couvre l'arithmétique de Presbourg, l'élimination des quantificateurs et la transformation des formules en forme normale disjonctive.