Мақсатқа негізделген төменнен жоғары шығару

Нысан ID

goaldrivenbottomupderivation

Нысан түрі

Method

Ағылшын белгісі

Goal Driven Bottom Up Derivation

Орыс белгісі

Вывод с низу вверх, ориентированный на цель

Қазақ белгісі

Мақсатқа негізделген төменнен жоғары шығару

Жиілік

1

Ағылшын сипаттамасы

A derivation method that starts from goals and works backward to find proofs, using a bottom-up approach.

Орыс сипаттамасы

-

Қазақ сипаттамасы

-