Жобаның түрі: ҚР Білім және ғылым министрлігі Ғылым комитетінің гранттық қаржыландыру
Жобаның шифры: АР055135285 (01.01.2018 – 31.12.2020)
Атауы: Индуктивті, экзистенциалды тұйық және форсинг-компаньондар мен позитивті экзистенциалды тұйық моделдер теориясы.
Зерттеу, әзірлеу немесе жобалау объектісі: Компаньонлар, компаньон– теориялар, экзистенциал тұйық құрылымдар.
Жұмыс мақсаты: Экзистенциалды тұйық теориясын әрі қарай дамыту және форсинг- әдіс және индуктивті компаньон сияқты маңызды байланысты тұжырымдамаларды зерттеу. Жаңа бағыттар мен мәселелерді қалыптастыру. Төменгі сандық күрделіліктің формулалары мен теорияларын зерттеу.
Зерттеу әдістері: Қойылған мақсатқа жету және зерттеу міндеттерін шешу үшін жаңа тәсілдер – сәйкес модельдің ақырлы модельдері класын зерттеу арқылы модель теориясының классикалық мәселелерін зерттеу. Жаңа тұжырымдамалар мен өзіндік дәлелдеу әдістері мен әдістері енгізілді – модельдің компаньоны, теорияның компаньоны және оларды зерттеудің мәжбүрлеу әдісі. Роланд Фрейздің әдісітері баға жетпес рөл атқарды. Тәжірибе көрсеткендей, А.Нуртазин енгізген «максималды экзистенциалдық тип» ұғымы экзистенциалды тұйықталған теориясында негізгі рөл атқарады. Сонымен қатар, көптеген сұрақтарды абел топтары мен коммутатив сақиналардың дамуы жалпы жағдайда шешуді айтарлықтай жеңілдетеді.
Қолдану облысы: Модельдер теория, алгебар.
Ғылыми жетекші: Нуртазин А.Т. (ҚР БҒМ ҒК АЕТИ)
Ұйымдастырушы – орындаушы: ҚР БҒМ ҒК АЕТИ