Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Klasket a-raok / Previous search kentañ

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