Synonymes de fonction calculable
- nom
Publicité
★ Synonymes
Fonction dont la valeur peut être déterminée par un algorithme
- fonction effective
- fonction algorithmique
- fonction décidablepour les ensembles, mais parfois étendu
Fonction définissable par une machine de Turing
- fonction turing-calculable
- fonction turing-décidablepour les fonctions partielles
- fonction semi-décidablepour les fonctions partielles
Fonction représentable dans un système formel (arithmétique)
- fonction récursive primitivecas particulier
- fonction μ-récursiveou fonction récursive générale
- fonction définissable
Fonction approchable ou simulable par un procédé fini
- fonction computablevariante anglicisée
- fonction mécanisable
- fonction calculatoire
≡ Synonymes
Tous les sens
- fonction générale récursive
- fonction μ-récursive totale
- Fonction pouvant être calculer en utilisant un nombre fini d'opérations à l'aide d'un algorithme.
- fonction récursive totale
↔ Contraires
Tous les sens
- fonction indécidable
- fonction non calculable