logique computationnelle

Désignations

français	logique computationnelle (correct,feminine noun) CONT: La logique computationnelle est une branche qui se trouve au croisement de la logique mathématique et de l'informatique [...]
anglais	computational logic (correct) CONT: Computational logic is the use of computers to establish facts in a logical formalism. ... Formal verification requires the support of specialized computer software. Computational logic is concerned with formal logic as implemented on computers, where it is frequently applied to solve problems related to computation.

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.

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

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