higher-order logic الإنجليزية (Q633178)
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics الإنجليزية
اللغة | التسمية | الوصف | أسماء أخرى |
---|---|---|---|
العربية | لم تُضف التسمية |
لا يوجد وصف |
|
الإنجليزية | higher-order logic |
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics |
|
بيانات
Wikidata item الإنجليزية
Freebase ID الإنجليزية
subclass of الإنجليزية
Microsoft Academic ID الإنجليزية
وصلات الموقع
Marefa(٠ : لا وصلات)
ويكيبيديا(٤ وصلات)
- dewiki Logik höherer Stufe
- enwiki Higher-order logic
- eswiki Lógica de orden superior
- frwiki Logique d'ordre supérieur