CALCULABILITÉ ET FONCTIONS RÉCURSIVES
| dc.contributor.author | Aichaoui, Daifa | |
| dc.contributor.author | Rapporteur: Mihoubi, DOUADI | |
| dc.date.accessioned | 2023-05-03T17:14:09Z | |
| dc.date.available | 2023-05-03T17:14:09Z | |
| dc.date.issued | 2013-06-10 | |
| dc.description.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. | en_US |
| dc.identifier.uri | http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/36610 | |
| dc.language.iso | fr | en_US |
| dc.publisher | University of M'sila | en_US |
| dc.subject | CALCUL ABILITÉ , FONCTIONS RÉCURSIVES | en_US |
| dc.title | CALCULABILITÉ ET FONCTIONS RÉCURSIVES | en_US |
| dc.type | Thesis | en_US |