CALCULABILITÉ ET FONCTIONS RÉCURSIVES
Loading...
Date
2013-06-10
Journal Title
Journal ISSN
Volume Title
Publisher
University of M'sila
Abstract
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.
Description
Keywords
CALCUL ABILITÉ , FONCTIONS RÉCURSIVES