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

• - Теория принятия решений (TPR 734)
• - Интеллектуальные обучающие системы
• - Интеллектуальные поисковые системы

• - Исследования и анализ алгоритмов (IAA 7201)
• - Структурированные языковые корпусы (SYaK 7302)
• - Курс зарубежного консультанта: Компьютерная обработка естественного языка
• - Курс зарубежного консультанта: Разработка систем на основе нечеткой логики

• - Классические экспертные системы (CES 7301)
• - Нечеткие экспертные системы (NES 7302)
• - Модели организации и управления и данными и их приложения (MOUDIP 7202)

• - Темпоральная логика (TL 7308)
• - Динамическая логика (DL 7309)
• - Компьютерная семиотика (KS 7304)
• - Экстремальные методы (EM 7204)
• - Логические методы (LM 7205)
• - Курс зарубежного консультанта: Разработка и анализ алгоритмов (KZK 7310)

• - Нечеткие экспертные системы (NES 7302)
• - Темпоральная логика (TL 7304)
• - Динамическая логика (DL 7305)
• - Анализ и оценка рисков в управлении информационной безопасности (AORU 7306)

• - Курс зарубежного консультанта (Методы поиска информации) (MPI 7302)
• - Нейронные вычисления и их приложения (NVP 7308)

• - Нечеткие множества и их приложения (NMP 7304)
• - Нейронные сети (NS 7205)
• - Курс зарубежного консультанта (Вопросы распознавания слитной речи) (KSK 7305.)

• - Спец курс научного руководителя (SKNR 7301)
• - Языки представления знаний (YaPS 7302)

• - Формализация семантики продукционных языков программирования (FSPPdYaP 7203)
• - Формальная верификация программ на процедурных и продукционных языках (FVPPPdYa 7304)
• - Формальная верификация программ на функциональных и логических языках (FVPFLYa 7304)

• - Методы научных исследований (MNI 7202,,,)

• - Формализация семантики процедурных и продукционных языков программирования (FSPYaP 7204)

• - Формализация семантики функциональных и логических языков программирования (FSFLYaP 7204)
• - Формальная верификация программ на процедурных и продукционных языках (FVPPPdYa 7302)
• - Формальная верификация программ на функциональных и логических языках (FVPFLYa 7303)

• - Искусственный интеллект и алгоритмические стратегии на фондовом рынке
• - Адаптивные методы глубокого обучения для обнаружения и классификации объектов

• - Модели организации и управлениия данными

• - Нейронные вычисления и их приложения (NVP 7303)
• - Формальная верификация программ
• - Формализация семантики языков программирования
• - Применение методов и алгоритмов искусственного интеллекта для анализа и прогнозирования поведения фондового рынка
• - Модели, методы и инструментальные средства для разработки систем искусственного интеллекта
• - Приложения компьютерной лингвистики и практические методы обработки текстов

• - Базы знаний интеллектуальных систем
• - Продвинутые нейронные сети и их приложения

Магистратура (научно-педагогическое направление):

• - Математика для компьютерных наук (MKN 5306)
• - Интеллектуальные системы (IS 5307)

• - Математика для компьютерных наук* (MKN 5202)
• - Математические основы компьютерной лингвистики (MOKL 5206)

• - Интеллектуальные платформы информационной безопасности (IPIB 6305)
• - Проектирование кибербезопасности баз данных (PKBD 6307)

• - Бортовые системы МКА (BSMKA 5302)

• - Искусственный интеллект в управлении проектами
• - Проектирование и создание систем искусственного интеллекта

• - Методология научных исследований и R&D
• - Управление рисками и инцидентами информационной безопасности
• - Интеллектуальные информационные системы и технологии их разработки

• - Управление информационной безопасностью
• - Вычислительные модели
• - Методы нечеткого моделирования
• - Системы поддержки принятия решений
• - Искусственный интеллект в квантовой криптографии

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

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

• - Стандарты информационной безопасности (SIB 4310)
• - Теория языков и автоматов

• - Стандарты программного обеспечения и системной инженерии

• - Нейронные сети