Есепті категориялылыққа сәйкес келетін реттелген құрылымдар
МАҚСАТЫ
Жобаның мақсаты
Зерттеу жұмысы әлсіз о-минималды теориялардағы бинарлық және шамамен омега-категориялылық ұғымдарының өзара байланысын зерттеуге, сондай-ақ әлсіз циклдік минималды теориялардағы шамамен бинарлық және есепті категориялылық ұғымдарының өзара байланысын зерделеуге арналған.
ЖОБА ТУРАЛЫ
Өзектілігі
Жоба модельдердің жалпы теориясын дамытады және реттелген алгебраическая жүйелерді (алгебралық жүйелерді) және олардың элементар теорияларын жіктеу мәселесін шешуге бағытталған. Бұл жобаның зерттеу тақырыптары қазіргі уақытта алгебралық жүйелер теориясын дамыту үшін өзекті болып табылады және әлемнің жетекші математикалық орталықтарында қарқынды зерттелуде.
Ғылыми тиімділігі реттелген құрылымдар үшін о-минималдылық нұсқаларын зерттеу саласында жаңа нәтижелер алудан, сондай-ақ олардың туынды объектілерін зерделеуден тұрады. Бұл модельдердің жалпы теориясының одан әрі дамуына ықпал етеді. Әлеуметтік-экономикалық тиімділігі елдің зияткерлік әлеуетін арттырудан, жаңа кадрларды даярлаудан және алынған нәтижелерді реляциялық деректер базасының жалпы теориясы мен бағдарламалық қамтамасыз̆ етуді әзірлеудің формальды әдістері сияқты қолданбалы білім салаларына одан әрі қолдану мүмкіндігінен тұрады.
ЖОСПАРЛАР
Күтілетін нәтижелер
- Негізгі міндеттер келтіріліп, оларды аппроксимациялайтын ақырлы өлшемді теңдеулер құрылады;
- Web of Science деректер базасындағы импакт-фактор бойынша алғашқы үш квартильге кіретін немесе Scopus деректер базасындағы CiteScore бойынша процентилі 50-ден кем емес журналдарда кемінде екі мақала жарияланады.
КОМАНДА
Зерттеу тобының құрамы
Алтаева А.Б., PhD
ХАТУ АҚ, ассистент-профессор
Scopus ID: 57226765602
ORCID: 0000-0001-9238-7131
Кульпешов Б.Ш.
Математика және математикалық модельдеу институты, бас ғылыми қызметкер, ғылыми кеңесші
Scopus ID: 8645904700
ORCID: 0000-0002-4242-0463
Барлық ғылыми жобалар