PhD докторантура:

• - Шешім қабылдау теориясы (ShKT 734)
• - Интеллектуалды оқыту жүйелері (IOS)
• - Интелектуалды іздеу жүйесі (IPS)

• - Алгоритмдерді зерттеу және талдау (IAA 7201)
• - Құрылымданған тілдік корпустар (SYaK 7302)
• - Шетелдік кеңесшінің курсы:Табиғи тілдерді компьютерлік өңдеу (KSK 8206)
• - Шетелдік кеңесшінің курсы: Бұлдыр логика негізінде жүйелерді құру (KSK8206)

• - Классикалық эксперттік жүйелер (CES 7301)
• - Бұлдыр эксперттік жүйелер (BEZh 7302)
• - Деректерді басқару және ұйымдастырудың моделдері және олардың қосымшалары (DUBMOK 7202)

• - Темпоралді логика (TL 7308)
• - Динамикалық логика (DL 7309)
• - Компьютерлік семиотика (KS 7304)
• - Экстремал әдістер (EA 7204)
• - Логикалық әдістер (LA 7205)
• - Шетел кеңесшісінің курсы: Алгоритмдерді құру және талдау (ShKK 7310)

• - Бұлдыр сараптамалық жүйелер (BSZh 7302)
• - Темпоралді логика (TL 7304)
• - Динамикалық логика (DL 7305)
• - Ақпараттық қауіпсіздікті басқару тәуекелін талдау және бағалау (AKBT 7306)

• - Шетелдік кеңесшінің курсы (Ақпаратты іздеу әдістері) (AIA 7302)
• - Нейрондық есептеулердің қолданылуы және олардың қосымшалары (NEKO 7308)

• - Бұлдыр жиындар және олардың қосымшалары, (BGOK 7304)
• - Нейрондық торлар (NT 7205)
• - Шетелдік кеңесшінің курсы (Біріккен сөздерді тану мәселелері) (ShKk 7305.)

• - Ғылыми жетекшінің арнайы курсы (GZhAK 7301)
• - Білімді бейнелеу тілдері (BBT 7302)

• - Өнімділік программалау тілдерінің семантикасын формалдау (OPTSF 7203)
• - Процедуралық және өнімділік тілдердегі программаларды формалдық верификациялау (POTPFV 7304)
• - Функционалдық және логикалық тілдердегі программаларды формалдық верификациялау (FLTPFV 7304)

• - Ғылыми зертеу әдістері (GZA7202)

• - Процедуралық және өнімділік программалау тілдерінің семантикасын формалдау (PPTSF 7204)

• - Функционалдық және логикалық программалау тілдерінің семантикасын формалдау (FLPTSF 7204)
• - Процедуралық және өнімділік тілдердегі программаларды формалдық верификациялау (POTPFV 7302)
• - Функционалдық және логикалық тілдердегі программаларды формалдық верификациялау (FLTPFV 7303)

• - Қор нарығындағы жасанды интеллект және алгоритмдік стратегиялар
• - Объектілерді анықтау және классификациялау үшін бейімделген терең оқыту әдістері

• - Деректерді ұйымдастыру және басқарудың моделдері

• - Нейрондық есептеулер және олардың қосымшалары (NEK 7303)
• - Программаларды формалдық верификациялау
• - Программалау тілдерінің семантикасын формалдау
• - Қор нарығының беталысын талдау және болжау үшін жасанды интеллект әдістері мен алгоритмдерін қолдану
• - Жасанды интеллект жүйелерін әзірлеудің моделдері, әдістері және құралдары
• - Компьютерлік лингвистика қосымшалары және мәтінді өңдеудің практикалық әдістері

• - Интеллектуалды жүйелердің білімдер базасы
• - Жетілдірілген нейрондық желілер және олардың қосымшалары

Магистратура (ғылыми-педагогикалық бағыт):

• - Компьютерлік ғылымдарға арналған математика (KGAM 5306)
• - Интеллектуал жүйелер (IZh 5307)

• - Компьютерлік ғылымдарға арналған математика* (KGAM 5202)
• - Компьютерлік лингвистиканың математикалық негіздері (KLMN 5206)

• - Ақпараттық қауіпсіздіктің интеллектуалдық платформасы (AKIP 6305)
• - Деректер базасының киберқауіпсіздігін жобалау (DBKZh 6307)

• - ШҒА борттық жүйелері (SHABG 5302)

• - Жобаларды басқарудағы жасанды интеллект
• - Жасанды интеллект жүйелерін жобалау және құру

• - Ғылыми зерттеу әдістемесі және R&D
• - Ақпараттық қауіпсіздік қаупі мен оқиғаларын басқару
• - Интеллектуалдық ақпараттық жүйелер және оларды әзірлеу технологиялары

• - Ақпараттық қауіпсіздікті басқару
• - Есептеу моделдері
• - Бұлдыр модельдеу әдістері
• - Шешімдерді қолдау жүйелері
• - Кванттық криптографиядағы жасанды интеллект

Бакалавриат:

• - Аутентификация, сертификация және PKI (ASPKI 4306)

• - Ақпараттық қауіпсіздіктің стандарттары (AKS 4310)
• - Тілдер мен автоматтар теориясы

• - Программалық қамтама және жүйелік инженерия стандарттары

• - Нейрондық желілер