background

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

KREIZENN AR GERIAOUIÑ

Geriadur Klok Klasket a-raok / Previous search ordre
Klasket a-raok / Previous search ordre
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
en  first-order predicate logic, first-order logic