Логика высшего порядка
method
ID: higherorderlogic
Детали сущности
Основная информация
ID сущности
higherorderlogic
Тип сущности
Method
Английская метка
Higher Order Logic
Русская метка
Логика высшего порядка
Казахская метка
Жоғары ретті логика
Частота
2
Описание
Английское описание
A type of logic that extends first-order logic to include quantification over predicates and functions.
Русское описание
-
Казахское описание
-