background

Dictionnaire breton 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
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 états
anglais : binary 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 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 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 : ternary logic / three-valued 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