Екінші тәртіп логикасы
method
ID: secondorderlogic
Нысан мәліметтері
Негізгі ақпарат
Нысан ID
secondorderlogic
Нысан түрі
Method
Ағылшын белгісі
Second Order Logic
Орыс белгісі
Логика второго порядка
Қазақ белгісі
Екінші тәртіп логикасы
Жиілік
1
Сипаттама
Ағылшын сипаттамасы
A type of logic that allows quantification over predicates.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-