Doctor PhD:

• - Decision theory (DT 734)
• - Intellectual training systems
• - Intellectual search engines

• - Research and Analysis of Algorithms (IAA 7201)
• - Structured language corps (SYaK 7302)
• - Course of foreign consultants: Computer processing of natural language
• - Course of foreign consultants: Development of fuzzy logic based systems

• - Classic expert systems (CES 7301)
• - Fuzzy expert systems (FES 7302)
• - Models of organization and management of data and applications (MOMDA 7202)

• - Temporal logic (TL 7308)
• - Dynamic logic (DL 7309)
• - Computer semiotics (KS 7304)
• - Extreme methods (EM 7204)
• - Logical methods (LM 7205)
• - Course of Foreign Consultant: Design and Analysis of Algorithms (CFC 7310)

• - Fuzzy expert systems (FES 7302)
• - Temporal logic (TL 7304)
• - Dynamic logic (DL 7305)
• - Analysis and risk assessment in the management of information security (ARAM 7306)

• - Course of Foseign Consultant (Methods of information retrieval) (MIR 7302)
• - Neurocomputing and Its Applications (NIA 7308)

• - Fuzzy Sets and Its Applications (FSIA 7304)
• - Neuro net (NN 7205)
• - Course of Foreign Consultant (Questions of the conjoint speech recognition) (CFC 7305.)

• - Special course of the scientific supervisor (SCSR 7301)
• - Knowledge representation languages (KRL 7302)

• - Formalization of semantics of production programming languages (FSPdPL 7203)
• - Formal verification of programs in procedural and production languages (FVPPPdL 7304)
• - Formal verification of programs in functional and logical languages (FVPFLL 7304)

• - Science research methods (SRM 7202)

• - Formalization of the semantics of procedural and production programming languages (FSPPL 7204)

• - Formalization of semantics of functional and logical programming languages (FSFLPL 7204)
• - Formal verification of programs in procedural and production language (FVPPPdL 7302)
• - Formal verification of programs in functional and logical languages (FVPFLL 7303)

• - Artificial intelligence and algorithmic strategies in the stock market
• - Adaptive Deep Learning Methods for Object Detection and Classification

• - Models of organization and management of data

• - Neurocomputing and their applications (NCA 7303)
• - Formal verification of programs
• - Formalization of the semantics of programming languages
• - Applying methods and algorithms of artificial intelligence to analyze and forecast the behavior of the stock market
• - Models, methods and tools for developing artificial intelligence systems
• - Applications of Computational Linguistics and practical methods of text processing

• - Knowledge Base Intelligent Systems
• - Advanced neural networks and their applications

Master (scientific-pedagogical):

• - Mathematics for сomputer science (MCS 5306)
• - Intelligent Systems (IS 5307)

• - Mathematics for computer science* (MCS 5202)
• - Mathematical Foundations of Computational Linguistics (MFCL 5206)

• - Intelligent information security platform (IISP 6305)
• - Designing database cyber security (DDCS 6307)

• - On-board systems of small spacecraft (BSOS 5302)

• - Artificial intelligence in project management
• - Design and creation of artificial intelligence systems

• - Research methodology and R&D
• - Information security risk management and incident management
• - Intelligent information systems and technologies for their development

• - Information Security Management
• - Computational models
• - Fuzzy modeling techniques
• - Decision support systems
• - Artificial Intelligence in Quantum Cryptography

Bachelor:

• - Authentication, certification and PKI (ASPKI 4306)

• - Standards of information security (SIS 4310)
• - The Theory of Automata and language

• - Software and Systems Engineering Standards

• - Neural network