Browsing by Author "Aichaoui, Daifa"

Now showing 1 - 2 of 2
  • Thumbnail Image
    ItemOpen Access
    CALCULABILITÉ ET FONCTIONS RÉCURSIVES
    (University of M'sila, 2013-06-10) Aichaoui, Daifa; Rapporteur: Mihoubi, DOUADI
    Ce 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.
  • Thumbnail Image
    ItemOpen Access
    CALCULABILITE ET FONCTIONS RECURSTVES
    (University of M'sila, 2013-06-10) Aichaoui, Daifa; Rapporteur: MIHOI]BI, D.
    Ce travail constitue une introduction à la théorie de la calculabilité . Le contenu est composé de quatres chapitres. Le premier <> donne des définitions formelle des fonctions et prédicats primitifs récursifs et on donnons quelque exemples. Le troisième chapitre est un <