Aichaoui, DaifaRapporteur: Mihoubi, DOUADI2023-05-032023-05-032013-06-10http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/36610Ce travail constitue une introduction à la théorie de la calculabilité . Le contenu est composé de quatres chapitres. Le premier «Notions sur la calculabilité» présente les notions généreaux de la calculabilité. Le deuxième «Fonctions et prédicats prim- itifs récursifs» donne des dé nitions formelle des fonctions et prédicats primitifs récursifs et on donnons quelque exemples. Le troisième chapitre est un «Étude d une fonction non primitive récursive» on partic- ulions la fonction d Ackremann. Le dernier chapitre «Fonctions récursives et machines de Turing» on utilisons un autre modèle du calcul pour étudier les fonctions primitives récursives.frCALCUL ABILITÉ , FONCTIONS RÉCURSIVESThesis