қолданылатын қатынастар түрі типы шектеулер түрі білімдер құрамы формализация қадамы кеңістіктерді іздеу құрылымы мәселенің негізінде жатқан