Динамикалық логика
method
ID: dynamiclogic
Нысан мәліметтері
Негізгі ақпарат
Нысан ID
dynamiclogic
Нысан түрі
Method
Ағылшын белгісі
Dynamic Logic
Орыс белгісі
Динамическая логика
Қазақ белгісі
Динамикалық логика
Жиілік
1
Сипаттама
Ағылшын сипаттамасы
A formal system that uses quantification to express dynamic properties and transitions.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-