procédure British Museum

Désignations

français	procédure British Museum (correct,feminine noun) CONT: Une telle procédure consisterait [...] à faire la liste de toutes les démonstrations possibles écrites dans le langage formel, c'est-à-dire dans le système d'axiomes choisi, par ordre de tailles et par ordre alphabétique des symboles employés. C'est ce qu'on peut appeler de manière imagée l'«algorithme du British Museum», pour faire allusion au gigantisme de l'«inventaire» à effectuer. Autrement dit, on énumère toutes les démonstrations possibles, et on vérifie si elles découlent bien des règles formelles du système axiomatique. synonyme : algorithme de recherche British Museum (correct,masculine noun) synonyme : algorithme du British Museum (correct,masculine noun)
anglais	British Museum procedure (correct) OBS: Compare to branch-and-bond search synonyme : British Museum search algorithm (correct) synonyme : British Museum algorithm (correct)

français

procédure British Museum (correct,feminine noun)
CONT: Une telle procédure consisterait [...] à faire la liste de toutes les démonstrations possibles écrites dans le langage formel, c'est-à-dire dans le système d'axiomes choisi, par ordre de tailles et par ordre alphabétique des symboles employés. C'est ce qu'on peut appeler de manière imagée l'«algorithme du British Museum», pour faire allusion au gigantisme de l'«inventaire» à effectuer. Autrement dit, on énumère toutes les démonstrations possibles, et on vérifie si elles découlent bien des règles formelles du système axiomatique.
synonyme : algorithme de recherche British Museum (correct,masculine noun)
synonyme : algorithme du British Museum (correct,masculine noun)

anglais

British Museum procedure (correct)
OBS: Compare to branch-and-bond search
synonyme : British Museum search algorithm (correct)
synonyme : British Museum algorithm (correct)

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

français: Procédure de résolution dénuée d'intelligence, qui explore systématiquement tous les états obtenus, leur applique tous les opérateurs, etc. jusqu'à l'apparition de la solution. Le nom provient de l'analogie avec l'efficacité d'une méthode qui consisterait à attendre que des singes pressant au hasard les touches d'une machine à écrire, reproduisent les titres des livres dans la bibliothèque du British Museum.
anglais: A plodding procedure for finding the shortest path through a net by finding all possible paths and selecting the best ones.

Classement

Collections

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-25c8ef27e9466add/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.