Browsing by Author "Rapporteur: Mihoubi, DOUADI"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Open Access CALCULABILITÉ ET FONCTIONS RÉCURSIVES(University of M'sila, 2013-06-10) Aichaoui, Daifa; Rapporteur: Mihoubi, DOUADICe 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.