semi-décidabilité

Désignations

français	semi-décidabilité (correct,feminine noun) OBS: On dit que le calcul des propositions est décidable et que celui des prédicats est soit indécidable soit semi-décidable.
anglais	semidecidability (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: Propriété de la logique des prédicats du premier ordre de proposer des algorithmes généraux pour décider de la validité de certaines familles de formules correctes. Toutefois, ces algorithmes peuvent ne jamais s'arrêter (nombre infini d'opérations) lorsqu'ils sont appliqués à des formules incorrectes. Ils ne peuvent pas prouver que ces classes de formules sont invalides et sont donc partiellement décidables.

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-11e5ce7cc4fc382e/"

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