Mémoires de Fin d’Etudes
Etablissement
Université de Boumerdès - M’hamed Bougara
Affiliation
Département d’Informatique
Auteur
BADJA, Mounir
Directeur de thèse
MEZGHICHE Mohamed (Professeur)
Filière
Informatique
Diplôme
Magister
Titre
Elimination des coupures et consistance dans les logiques d’ordre supérieur et le systéme E1
Mots clés
cut émination , higher ordes logic, counsistence de calcul E1 calcules
Résumé
La consistance de systéme de logique d’orde supérieur est l’une des propriété principale qu’on s’atache à démonter la démonstratition d’une telle propriéte à toujours poser quelque dificulté , la méthode qui consiste à utiliser l’élimination des couures des régles dinference contitue une approche qui permet de sumenter d’ellimination des coupes dans les systémes d’orde supérieur et les caractériser particulierement dans le E1 calcul
Statut
Vérifié