logique symbolique

Désignations

français	logique symbolique (correct,feminine noun,standardized) OBS: logique symbolique : terme normalisé par l'ISO et la CSA.
anglais	symbolic logic (correct,standardized) OBS: symbolic logic; mathematical logic: terms standardized by ISO and CSA. synonyme : mathematical logic (correct,standardized) synonyme : symbolic logics synonyme : mathematical logics
espagnol	lógica simbólica (correct,feminine noun) synonyme : lógica matemática (correct,feminine noun) synonyme : lógica formal (feminine noun)

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: Discipline dans laquelle les raisonnements et les opérations sont représentés à l'aide d'un langage artificiel destiné à éviter les ambiguïtés et l'inadéquation des langages naturels.
anglais: The discipline in which argument and operations are dealt with using an artificial language designated to avoid the ambiguities and logical inadequacies of natural languages.
espagnol: Descripción, mediante un lenguaje cuya concepción suprime las ambigüedades semánticas del lenguaje común, de las formas estructurales de unos argumentos válidos y de unos fundamentos matemáticos.

Classement

Collections

Électronique et informatique informatics

Domaines

Langages de programmation

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-18be475b88fd7d8c/"

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