background

Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Geriadur Klok
Geriadur Klok
logique   lojikel ag.
logique ◊ relatif à la science de la logique ; conforme au bon sens, cohérent, rationnel
en  logical
  • opérateur logique
    oberataer lojikel
  • raisonnement logique
    rezonerezh lojikel
  • porte logique
    dor lojikel
  • proposition logique
    propozadenn lojikel
logique   lojik g. -où
logique ◊ science du raisonnement en lui-même, abstraction faite de la matière à laquelle il s'applique et de tout processus psychologique
en  logic
logique   dafar kompodiñ g.
informatique ◊ ensemble des circuits logiques d'un matériel
en  logic circuits
logique   dafar lojikel g.
informatique ◊ ensemble des circuits logiques d'un matériel
en  logic circuits
logique binaire   lojik binarel g.
mathématiques, informatique, logique ◊ logique à deux valeurs de vérité
en  binary logic, two-valued logic
logique binaire   lojik daou-dalvoudet g.
mathématiques, informatique, logique ◊ logique à deux valeurs de vérité
en  binary logic, two-valued logic
logique câblée   lojik orjalet g.
mathématiques, informatique, logique ◊ ensemble d'opérations logiques réalisées de façon matérielle à l'aide de portes logiques, et non de façon logicielle
en  hard-wired logic
logique combinatoire   lojik kombinadurel g.
mathématiques, informatique, logique ◊ organisation logique dans laquelle l'état des sorties est déterminé par un ensemble de facteurs reliés portant sur les entrées
en  combinatory logic
logique d'ordre supérieur   lojik urzh uhel g.
mathématiques, informatique, logique ◊ logique dans laquelle les prédicats eux-mêmes sont des variables
en  high-order logic
logique des prédicats   lojik ar predikadoù g.
mathématiques, informatique, logique ◊ ou logique prédicative - logique fondée sur la logique des propositions à laquelle sont ajoutés des ensembles de variables d'individus et de prédicats portant sur les individus
en  predicate logic, quantification theory
logique des prédicats du premier ordre   lojik ar predikadoù kentañ urzh g.
mathématiques, informatique, logique ◊ ou logique du premier ordre - logique classique basée sur le calcul des attributs et le calcul propositionnel, et qui utilise le raisonnement déductif pour la représentation de la connaissance
en  first-order predicate logic, first-order logic
logique du premier ordre   lojik kentañ urzh g.
mathématiques, informatique, logique ◊ logique classique basée sur le calcul des attributs et le calcul propositionnel, et qui utilise le raisonnement déductif pour la représentation de la connaissance
en  first-order logic, first-order predicate logic
logique du second ordre   lojik eil urzh g.
mathématiques, informatique, logique ◊ logique qui étend celle du premier ordre par l'ajout de variables relationnelles, qui peuvent donc être quantifiées
en  second-order logic
logique épistémique   lojik epistemek g.
mathématiques, informatique, logique ◊ cadre logique traitant de la connaissance et des croyances
en  epistemic logic
logique floue   lojik dispis g.
mathématiques, informatique, logique ◊ raisonnement dans lequel le degré d'appartenance d'un élément à un ensemble s'exprime par tout nombre réel situé entre zéro et un inclusivement
en  fuzzy logic
logique formelle   lojik furmel g.
mathématiques, informatique, logique ◊ logique selon laquelle seules la structure et la forme des raisonnements comptent, indépendamment du sens qui peut leur être attribué
en  formal logic
logique mathématique   lojik matematikel g.
mathématiques, informatique, logique ◊ étude du raisonnement utilisant un langage artificiel pour exprimer des propositions et des relations, et non sur des langages naturels, dont on évite ainsi les inadéquations et les ambiguïtés
en  mathematical logic, symbolic logic
logique métamathématique   lojik metamatematikel g.
mathématiques ◊ discipline dont l'objet est l'étude des mathématiques en tant que langage
en  metamathematical logic
logique modale   lojik model g.
mathématiques, informatique, logique ◊ logique dont les propositions sont précédées d'opérateurs de modalité qui en modifient l'interprétation
en  modal logic
logique multivalente   lojik liestalvoud g.
mathématiques, informatique, logique ◊ ou logique multivaluée - logique ayant n valeurs de vérité distinctes, n étant supérieur à 2
en  multivalued logic, multiple-valued logic, many-valued logic
logique multivaluée   lojik liestalvoudet g.
mathématiques, informatique, logique ◊ ou logique multivalente - logique ayant n valeurs de vérité distinctes, n étant supérieur à 2
en  multivalued logic, multiple-valued logic, many-valued logic
  • les logiques multivaluées, basées sur la présence de valeurs de vérité allant de trois à un nombre infini, sont principalement utilisées pour traiter des informations incertaines, imprécises ou nuancées
    implijet e vez al lojikoù liestalvoudet, anezhe diazezet war un niver a dalvoudoù gwirionez eus talek 3 betek infinit, da gentañ holl evit tretiñ an titouroù diserten, amresis pe arlivet
  • comme exemples de logiques multivaluées, on peut mentionner la logique floue, la logique probabiliste, la logique ternaire de Lukasiewicz et la logique quaternaire de Rescher
    evit reiñ skouerioù lojikoù liestalvoudet e c’heller menegiñ al lojik dispis, al lojik probabilistel, lojik tri-dalvoudet Lukasiewicz ha lojik pevar-dalvoudet Rescher
logique prédicative   lojik ar predikadoù g.
mathématiques, informatique, logique ◊ ou logique des prédicats - logique fondée sur la logique des propositions à laquelle sont ajoutés des ensembles de variables d'individus et de prédicats portant sur les individus
en  predicate logic, quantification theory
logique prédictive   lojik diouganañ g.
mathématiques, informatique, logique ◊ ou analyse prédictive - ensemble de techniques issues des statistiques, d'extraction de connaissances à partir de données et de la théorie des jeux
en  predictive logic, predictive analysis
logique probabiliste   lojik probabilistel g.
mathématiques, informatique, logique ◊ système formel qui permet de faire du raisonnement déductif avec des probabilités
en  probabilistic logic
logique propositionnelle   lojik propozadennel g.
mathématiques, informatique, logique ◊ logique dont les objets sont des énoncés construits par composition à partir d'énoncés de base, qui sont susceptibles d'être soit vrais, soit faux
en  propositional logic, sentential logic, statement logic
logique quaternaire   lojik pevarel g.
mathématiques, informatique, logique ◊ branche du calcul des propositions à quatre valeurs de vérité
en  four-valued logic, quaternary logic
logique quaternaire   lojik pevar-dalvoudet g.
mathématiques, informatique, logique ◊ branche du calcul des propositions à quatre valeurs de vérité
en  four-valued logic, quaternary logic
logique séquentielle   lojik sekañsial g.
mathématiques, informatique, logique ◊ organisation logique dans laquelle l'état des sorties est déterminé par la séquence des entrées, c'est-à-dire l'ordre dans lequel elles s'effectuent
en  sequential logic
logique symbolique   lojik simbolek g.
mathématiques, informatique, logique ◊ étude du raisonnement utilisant un langage artificiel pour exprimer des propositions et des relations, et non sur des langages naturels, dont on évite ainsi les inadéquations et les ambiguïtés
en  symbolic logic, mathematical logic
logique ternaire   lojik tri-dalvoudet g.
mathématiques, informatique, logique ◊ branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI et FAUX, l'état INCONNU
en  three-valued logic, ternary logic
logique ternaire   lojik ternarel g.
mathématiques, informatique, logique ◊ branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI et FAUX, l'état INCONNU
en  three-valued logic, ternary logic