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é
Tags & Categories
département
etablissement
université
affiliation
auteur
informatique
supérieur
boumerdes
hamed
bougara
universitÉ
Établissement
memoires
univérsité
boumerdes
établissement
établissement
departement
établissement
universite
affiliation
boumerdès
d’informatique
département
directeur
etablissement
mémoires
université