background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search produit logique

1
2
3

logique lojikel ag.

logique ◊ relatif à la science de la logique , conforme au bon sens, cohérent, rationnel

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

anglais : logic

logique dafar kompodiñ g.: informatique ◊ ensemble des circuits logiques d'un matériel

anglais : logic circuits

logique dafar lojikel g.: informatique ◊ ensemble des circuits logiques d'un matériel

anglais : logic circuits

logique binaire lojik binarel g.: mathématiques , informatique , logique ◊ logique à deux états

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

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

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

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

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

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

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

anglais : second-order logic

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

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

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

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

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

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

anglais : modal logic

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

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

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

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

anglais : propositional logic / sentential logic / statement 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

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

anglais : symbolic logic / mathematical 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

anglais : ternary logic / three-valued logic

1
2
3