démonstration de théorèmes

Désignations

français	démonstration de théorèmes (correct,feminine noun) CONT: L'algorithme d'unification développé par Robinson a eu un important impact sur la recherche concernant les preuves de théorèmes. synonyme : preuve de théorèmes (correct,feminine noun)
anglais	theorem proving (correct) DEF: a task of artificial intelligence. DEF: A problem-solving approach in which a hypothesized conclusion (theorem) is validated using deductive logic.

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

anglais: The formal method of providing a proof in symbolic logic. Each step in the proof will (a) introduce a premise or axiom; (b) provide a statement that is a natural consequence of previously established results using only legitimate rules of inference.

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-0ab4186fd4a6f5ba/"

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