background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Geriadur Klok Klasket a-raok / Previous search arenn
Klasket a-raok / Previous search arenn
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