Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- ...{{s|XIX|e}} et au début du {{s|XX|e}} et devint une notion centrale de la calculabilité avec l'apparition de la [[théorie des automates]] au milieu du {{s|XX|e}}. ...ans le vocable de Kant) accroissent la connaissance, dans le vocable de la calculabilité ils génèrent de l'information. Ils sont pourtant a priori, c’est-à-dire ant ...19 kio (2 977 mots) - 18 avril 2024 à 22:49
- La '''théorie de la calculabilité''' (appelée aussi parfois '''théorie de la récursion''') est un domaine de La calculabilité ne se préoccupe pas de l'efficacité des algorithmes, qui est l'objet de la ...20 kio (3 101 mots) - 4 février 2025 à 12:13
Correspondances dans le texte des pages
- En théorie de la [[calculabilité]], le '''théorème de Post''', du nom d'[[Emil Post]], fait le lien entre [[ [[Catégorie:Calculabilité]] ...953 octet (147 mots) - 16 septembre 2016 à 16:54
- En [[mathématiques]], en particulier en [[Théorie de la calculabilité|calculabilité]] et en [[théorie des ensembles]], un [[Nombre ordinal|ordinal]] <math>\alp * [[Hartley Rogers Jr.]] ''La théorie des fonctions récursives et la calculabilité effective'', 1967. Réimprimé en 1987, MIT Press,{{ISBN|0-262-68052-1}} (liv ...2 kio (310 mots) - 8 juin 2023 à 20:54
- * [[Calculabilité]] [[Catégorie:Calculabilité]] ...2 kio (280 mots) - 27 décembre 2018 à 15:41
- ...ennent dans deux domaines de la logique : la [[Calculabilité|théorie de la calculabilité]] et la [[Théorie de la complexité (informatique théorique)|théorie de la c == Dans le contexte de la calculabilité == ...5 kio (792 mots) - 2 juin 2024 à 12:44
- En [[informatique]], et en particulier en [[théorie de la calculabilité]], un '''système de programmation''' est une [[numérotation de Gödel]] de l [[Catégorie:Calculabilité]] ...2 kio (335 mots) - 31 août 2022 à 15:39
- Cette notion apparaît en particulier en théorie de la [[calculabilité]], qui s'intéresse aux [[fonction partielle récursive|fonctions partielles [[Catégorie:Calculabilité]] ...2 kio (390 mots) - 28 octobre 2024 à 23:42
- [[Catégorie:Calculabilité]] ...1 kio (145 mots) - 23 juin 2024 à 18:22
- * [[Déterminisme (calculabilité)]] * [[Calculabilité]] ...3 kio (488 mots) - 20 janvier 2021 à 01:04
- ...tale. La fonction est dite [[fonction récursive|récursive]] car elle est [[calculabilité|calculable]] par un algorithme, c'est-à-dire qu'un ensemble fini d'instruct [[Catégorie:Calculabilité]] ...3 kio (424 mots) - 3 septembre 2022 à 10:35
- * {{Langages formels, calculabilité et complexité}}<!--pour appeler cet ouvrage par un harv on peut faire par e [[Catégorie:Calculabilité]] ...3 kio (523 mots) - 23 février 2025 à 19:09
- ...b-Smale''' (ou '''machine BSS''' ou '''{{Langue|en|real RAM}}''') est un [[calculabilité|modèle de calcul]] utilisé en [[informatique théorique]], en particulier en [[Catégorie:Calculabilité]] ...3 kio (469 mots) - 21 septembre 2024 à 13:11
- ...tence d’une telle machine pour démontrer des propriétés en [[théorie de la calculabilité]]<ref name=":0">{{Ouvrage|langue=français|prénom1=Akim|nom1=Demaille|prénom [[Catégorie:Calculabilité]] ...3 kio (524 mots) - 17 novembre 2021 à 01:36
- En [[théorie de la calculabilité]], un '''ensemble récursif''' ou '''ensemble décidable''' est un [[ensemble [[Catégorie:Calculabilité]] ...4 kio (572 mots) - 28 octobre 2024 à 16:59
- En [[Calculabilité|théorie de la calculabilité]], plusieurs théorèmes dus à [[Stephen Cole Kleene|Kleene]] sont appelés '' [[Catégorie:Calculabilité|Theoreme de recursion de Kleene]] ...6 kio (936 mots) - 27 février 2024 à 11:29
- En [[théorie de la calculabilité]], deux [[ensembles disjoints]] d'entiers naturels sont appelés '''récursiv [[Catégorie:Calculabilité]] ...4 kio (564 mots) - 27 février 2025 à 15:49
- En [[calculabilité]], la '''fonction de Sudan''' est un exemple de [[fonction récursive]] mais [[Catégorie:Calculabilité]] ...4 kio (244 mots) - 23 mai 2019 à 09:19
- ...est une hiérarchie de fonctions utilisée en [[Calculabilité|théorie de la calculabilité]]. Toutes les [[Fonction (mathématiques)|fonctions]] de la hiérarchie de Gr [[Catégorie:Calculabilité]] ...7 kio (1 079 mots) - 19 septembre 2022 à 09:14
- == Dans la théorie de la calculabilité == Dans le langage de la [[théorie de la calculabilité]], le principe de Markov est l'expression formelle de l'idée que s'il est i ...8 kio (1 284 mots) - 30 août 2024 à 13:32
- ...otamment en [[théorie des automates]], et en [[calculabilité|théorie de la calculabilité]], une '''machine de Moore''' ou '''automate de Moore''' (proposée par [[E [[Catégorie:Calculabilité]] ...6 kio (1 062 mots) - 9 novembre 2019 à 21:50
- En [[calculabilité]] et en [[théorie de la complexité (informatique théorique)|théorie de la c Dans le domaine de la calculabilité, on peut par exemple prouver le [[théorème de Rice]] par réduction du [[pro ...6 kio (1 034 mots) - 19 décembre 2024 à 18:16