démonstration automatique de théorèmes

Désignations

français	démonstration automatique de théorèmes (correct,feminine noun) CONT: PROLOG et la logique formelle, (...) Il s'agit d'une méthode de démonstration automatique de théorèmes, bâtie autour d'une seule règle d'inférence, ce qui va permettre d'automatiser les mécanismes de raisonnement. synonyme : preuve automatique de théorèmes (correct,feminine noun) synonyme : démonstration automatisée de théorèmes (correct,feminine noun)
anglais	automatic theorem proving (correct) synonyme : automated theorem proving (correct)

français

démonstration automatique de théorèmes (correct,feminine noun)
CONT: PROLOG et la logique formelle, (...) Il s'agit d'une méthode de démonstration automatique de théorèmes, bâtie autour d'une seule règle d'inférence, ce qui va permettre d'automatiser les mécanismes de raisonnement.
synonyme : preuve automatique de théorèmes (correct,feminine noun)
synonyme : démonstration automatisée de théorèmes (correct,feminine noun)

anglais

automatic theorem proving (correct)
synonyme : automated theorem proving (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

anglais: A general automatic method for determining if a hypothesized - conclusion (theorem) follows from a given set of premises (axioms).

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-073a4e2c40fb414f/"

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