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

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

anglais : logic

lojik ar predikadoù g. logique des prédicats: 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

anglais : predicate logic / quantification theory

lojik ar predikadoù g. logique prédicative: 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

anglais : predicate logic / quantification theory

lojik ar predikadoù kentañ urzh g. logique des prédicats du premier ordre: 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

anglais : first-order predicate logic / first-order logic

lojik binarel g. logique binaire: mathématiques , informatique , logique ◊ logique à deux valeurs de vérité

anglais : binary logic / two-valued logic

lojik daou-dalvoudet g. logique binaire: mathématiques , informatique , logique ◊ logique à deux valeurs de vérité

anglais : binary logic / two-valued logic

lojik diouganañ g. logique prédictive: 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

anglais : predictive logic / predictive analysis

lojik dispis g. logique floue: 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

anglais : fuzzy logic

lojik eil urzh g. logique du second ordre: mathématiques , informatique , logique ◊ logique qui étend celle du premier ordre par l'ajout de variables relationnelles, qui peuvent donc être quantifiées

anglais : second-order logic

lojik epistemek g. logique épistémique: mathématiques , informatique , logique ◊ cadre logique traitant de la connaissance et des croyances

anglais : epistemic logic

lojik furmel g. logique formelle: 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é

anglais : formal logic

lojik kentañ urzh g. logique du premier ordre: 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

anglais : first-order logic / first-order predicate logic

lojik kombinadurel g. logique combinatoire: 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

anglais : combinatory logic

lojik liestalvoud g. logique multivalente: mathématiques , informatique , logique ◊ ou logique multivaluée - logique ayant n valeurs de vérité distinctes, n étant supérieur à 2

anglais : multivalued logic / multiple-valued logic / many-valued logic

lojik liestalvoudet g. logique multivaluée

mathématiques , informatique , logique ◊ ou logique multivalente - logique ayant n valeurs de vérité distinctes, n étant supérieur à 2

anglais : 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 , 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

anglais : 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

anglais : metamathematical logic

lojik model g. logique modale: mathématiques , informatique , logique ◊ logique dont les propositions sont précédées d'opérateurs de modalité qui en modifient l'interprétation

anglais : modal logic

lojik orjalet g. logique câblée: 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

anglais : hard-wired logic

lojik pevar-dalvoudet g. logique quaternaire: mathématiques , informatique , logique ◊ branche du calcul des propositions à quatre valeurs de vérité

anglais : four-valued logic / quaternary logic

lojik pevarel g. logique quaternaire: mathématiques , informatique , logique ◊ branche du calcul des propositions à quatre valeurs de vérité

anglais : four-valued logic / quaternary logic

lojik probabilistel g. logique probabiliste: mathématiques , informatique , logique ◊ système formel qui permet de faire du raisonnement déductif avec des probabilités

anglais : probabilistic logic

lojik propozadennel g. logique propositionnelle: 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

anglais : propositional logic / sentential logic / statement logic

lojik sekañsial g. logique séquentielle: 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

anglais : sequential logic

lojik simbolek g. logique symbolique: 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

anglais : symbolic logic / mathematical logic

lojik ternarel g. logique ternaire: 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

anglais : three-valued logic / ternary logic

lojik tri-dalvoudet g. logique ternaire: 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

anglais : three-valued logic / ternary logic

lojik urzh uhel g. logique d'ordre supérieur: mathématiques , informatique , logique ◊ logique dans laquelle les prédicats eux-mêmes sont des variables

anglais : high-order logic