- lojik ar predikadoù g. logique des prédicats
-
mathématiques, logique, informatique ◊ 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 individusen predicate logic, quantification theory
- lojik ar predikadoù g. logique prédicative
-
mathématiques, logique, informatique ◊ 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 individusen predicate logic, quantification theory
- lojik ar predikadoù kentañ urzh g. logique des prédicats du premier ordre
-
mathématiques, logique, informatique ◊ 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 connaissanceen first-order predicate logic, first-order logic