CALCULABILITE ET FONCTIONS RECURSTVES
| dc.contributor.author | Aichaoui, Daifa | |
| dc.contributor.author | Rapporteur: MIHOI]BI, D. | |
| dc.date.accessioned | 2023-05-04T08:13:54Z | |
| dc.date.available | 2023-05-04T08:13:54Z | |
| 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 primitifs récursifs>> donne des définitions formelle des fonctions et prédicats primitifs récursifs et on donnons quelque exemples. Le troisième chapitre est un <<Etude d'une fonction non primitive récursive» on particulions 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/36724 | |
| dc.language.iso | fr | en_US |
| dc.publisher | University of M'sila | en_US |
| dc.subject | CALCULABILITE : FONCTIONS : RECURSTVES | en_US |
| dc.title | CALCULABILITE ET FONCTIONS RECURSTVES | en_US |
| dc.type | Thesis | en_US |