ordre

Désignations

français	ordre (correct) OBS: Les théories du premier ordre sont de loin les plus nombreuses parce qu'exprimées dans un langage formalisant la plupart des énoncés mathématiques. PHR: logique d'ordre zéro, logique du deuxième ordre
anglais	order (correct)
espagnol	orden (correct,masculine noun) CONT: ¿De qué hablamos cuando hablamos de lógica proposicional? A veces entendida como ""lógica de orden cero"", es un sistema formal cuyos elementos más simples representan proposiciones, y que posee operadores lógicos que se aplica sobre proposiciones para formar otras de mayor complejidad.

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: Degré de complexité d'une formalisation logique selon qu'elle accepte ou non les variables de prédicat.

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-2f6ba3985f45844b/"

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