« Hiérarchie analytique » : différence entre les versions
Contenu supprimé Contenu ajouté
[bot] Mise à jour du modèle {Une pomme est un fruit} (v2.8.1) |
mep |
||
| Ligne 3 : | Ligne 3 : | ||
{{ébauche|mathématiques}} |
{{ébauche|mathématiques}} |
||
En [[logique mathématique]] et en [[Théorie de la complexité (informatique théorique)|théorie de la complexité]], la '''hiérarchie analytique''' est une extension de la [[hiérarchie arithmétique]] définie à partir de formules de la [[Logique d'ordre supérieur|logique du second ordre]] sur les [[Entier naturel|entiers naturels]]. |
En [[logique mathématique]] et en [[Théorie de la complexité (informatique théorique)|théorie de la complexité]], la '''hiérarchie analytique''' est une extension de la [[hiérarchie arithmétique]] définie à partir de formules de la [[Logique d'ordre supérieur|logique du second ordre]] sur les [[Entier naturel|entiers naturels]]. |
||
== Bibliographie == |
|||
== Notes et références == |
|||
{{Références}} |
|||
{{...}} |
|||
== Liens externes == |
|||
{{Liens}} |
|||
{{portail|mathématiques}} |
{{portail|mathématiques}} |
||
Dernière version du 19 août 2024 à 08:18
Cette page est une très courte ébauche oubliée.
À l'instar du célèbre « Une pomme est un fruit » qui a marqué l'histoire de Wikipédia, n'hésitez pas à la développer (comment ?)
Vous pouvez également enrichir les pages proposées dans la rubrique « Pommes à croquer » du bistro du jour.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En logique mathématique et en théorie de la complexité, la hiérarchie analytique est une extension de la hiérarchie arithmétique définie à partir de formules de la logique du second ordre sur les entiers naturels.
Bibliographie
[modifier | modifier le code]Notes et références
[modifier | modifier le code]
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Liens externes
[modifier | modifier le code]
