logique d'abstraction

Désignations

français	logique d'abstraction (correct,feminine noun) CONT: Cette logique d'abstraction se développe dans ce que l'on qualifie de logique formelle, à savoir, un système de logique dans lequel on raisonne sur les structures des arguments avec un système abstrait de déduction (par inférence).
anglais	abstraction logic (correct) CONT: Conceptually abstraction logic is situated between first-order logic and second-order 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.

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-02c86ed15342b9c9/"

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