ГҚ 2018-2020
2018–2020
- Консервативті кеңейтімдер, саналатын реттелген модельдер және жабу операторлары 2018–2020 Ғылыми жетекші: Байжанов Бектур Сембиұлы
- Ассоциативті емес алгебралардың когомологиялық және құрылымдық мәселелері 2018–2020 Ғылыми жетекші: Жұмаділдаев Асқар Серқұлұлы
- Логикалық бағдарламалау есептеріне және модель теориясының құрылымдық мәселелеріне қолданылуы бар ақырлы аксиоматтандырылатын теориялардың модельдік-теориялық қасиеттері 2018–2020 Ғылыми жетекші: Перетятькин Михаил Георгиевич
