background

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

KREIZENN AR GERIAOUIÑ

Geriadur Klok
Geriadur Klok
lojik g. -où   logique
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
lojik ar predikadoù g.   logique prédicative
mathématiques, logique, informatique ◊ 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
lojik ar predikadoù g.   logique des prédicats
mathématiques, logique, informatique ◊ 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
lojik ar predikadoù kentañ urzh g.   logique des prédicats du premier ordre
mathématiques, logique, informatique ◊ 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
lojik binarel g.   logique binaire
mathématiques, logique, informatique ◊ logique à deux valeurs de vérité
en  binary logic, two-valued logic
lojik daou-dalvoudet g.   logique binaire
mathématiques, logique, informatique ◊ logique à deux valeurs de vérité
en  binary logic, two-valued logic
lojik diouganañ g.   logique prédictive
mathématiques, logique, informatique ◊ 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
lojik dispis g.   logique floue
mathématiques, logique, informatique ◊ 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
lojik eil urzh g.   logique du second ordre
mathématiques, logique, informatique ◊ logique qui étend celle du premier ordre par l'ajout de variables relationnelles, qui peuvent donc être quantifiées
en  second-order logic
lojik epistemek g.   logique épistémique
mathématiques, logique, informatique ◊ cadre logique traitant de la connaissance et des croyances
en  epistemic logic
lojik furmel g.   logique formelle
mathématiques, logique, informatique ◊ logique selon laquelle seules la structure et la forme des raisonnements comptent, indépendamment du sens qui peut leur être attribué
en  formal logic
lojik kentañ urzh g.   logique du premier ordre
mathématiques, logique, informatique ◊ 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
lojik kombinadurel g.   logique combinatoire
mathématiques, logique, informatique ◊ 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
lojik liestalvoud g.   logique multivalente
mathématiques, logique, informatique ◊ 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
lojik liestalvoudet g.   logique multivaluée
mathématiques, logique, informatique ◊ 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
  • 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
    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
  • evit reiñ skouerioù lojikoù liestalvoudet e c’heller menegiñ al lojik dispis, al lojik probabilistel, lojik tri-dalvoudet Lukasiewicz ha lojik pevar-dalvoudet Rescher
    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
lojik matematikel g.   logique mathématique
mathématiques, logique, informatique ◊ é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
lojik metamatematikel g.   logique métamathématique
mathématiques ◊ discipline dont l'objet est l'étude des mathématiques en tant que langage
en  metamathematical logic
lojik model g.   logique modale
mathématiques, logique, informatique ◊ logique dont les propositions sont précédées d'opérateurs de modalité qui en modifient l'interprétation
en  modal logic
lojik orjalet g.   logique câblée
mathématiques, logique, informatique ◊ 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
lojik pevar-dalvoudet g.   logique quaternaire
mathématiques, logique, informatique ◊ branche du calcul des propositions à quatre valeurs de vérité
en  four-valued logic, quaternary logic
lojik pevarel g.   logique quaternaire
mathématiques, logique, informatique ◊ branche du calcul des propositions à quatre valeurs de vérité
en  four-valued logic, quaternary logic
lojik probabilistel g.   logique probabiliste
mathématiques, logique, informatique ◊ système formel qui permet de faire du raisonnement déductif avec des probabilités
en  probabilistic logic
lojik propozadennel g.   logique propositionnelle
mathématiques, logique, informatique ◊ 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
lojik sekañsial g.   logique séquentielle
mathématiques, logique, informatique ◊ 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
lojik simbolek g.   logique symbolique
mathématiques, logique, informatique ◊ é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
lojik ternarel g.   logique ternaire
mathématiques, logique, informatique ◊ 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
lojik tri-dalvoudet g.   logique ternaire
mathématiques, logique, informatique ◊ 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
lojik urzh uhel g.   logique d'ordre supérieur
mathématiques, logique, informatique ◊ logique dans laquelle les prédicats eux-mêmes sont des variables
en  high-order logic