Veuillez utiliser cette adresse pour citer ce document :
http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/19435Affichage complet
| Élément Dublin Core | Valeur | Langue |
|---|---|---|
| dc.contributor.author | Boussada, Hafid | - |
| dc.contributor.author | Hadiouche, Slimane | - |
| dc.date.accessioned | 2026-02-04T14:18:41Z | - |
| dc.date.available | 2026-02-04T14:18:41Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.uri | http://dspace.univ-bouira.dz:8080/jspui/handle/123456789/19435 | - |
| dc.description.abstract | On s’intéresse dans ce mémoire à l’étude de la théorie de la décidabilité et à la classification des problèmes de décision en fonction de la complexité algorithmique. Des classes de problèmes P, NP, NP-complet, etc. sont dégagées. La démarche consiste à partir de la notion théorique de la machine de Turing pour définir d’une manière rigoureuse la notion de décidabilité et les différentes classes de complexité et souligner le lien entre elles | en_US |
| dc.language.iso | fr | en_US |
| dc.publisher | AKLI MOHAND OULHADJ UNIVERSITY - BOUIRA | en_US |
| dc.subject | problème de décision ; machine de Turing algorithme ; complexité | en_US |
| dc.title | Étude sur la théorie de la décidabilité et complexité algorithmique | en_US |
| dc.type | Thesis | en_US |
| Collection(s) : | Mémoires Master | |
Fichier(s) constituant ce document :
| Fichier | Description | Taille | Format | |
|---|---|---|---|---|
| Boussada Hafid.pdf | 930,55 kB | Unknown | Voir/Ouvrir |
Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.