background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Geriadur Klok Klasket a-raok / Previous search c'hentañ
Klasket a-raok / Previous search c'hentañ
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