Doctor PhD:

• -

• - Systems of using knowledge (SK 7205)
• - Modeling systems of artificial intelligence (SMII 7321)
• - Structured language corps (SYaK 7302)

• - Data mining (DM 7308)
• - The application of computational linguistics (KLK 7303)

• - Knowledge representation languages (KRL 7301)
• - Information retrieval systems (IRS 7304)

• - 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)

• - Integrating Computer Vision and Deep Learning for Analysis and Interaction with the Environment

• - Knowledge Base Intelligent Systems
• - Models and methods of deep learning in computer vision

• - Neurocomputing and their applications (NCA 7303)
• - Formalization of the semantics of programming languages
• - Models, methods and tools for developing artificial intelligence systems
• - Advanced neural networks and their applications
• - Applications of Computational Linguistics and practical methods of text processing
• - Models and methods for speech recognition and synthesis

Master (scientific-pedagogical):

• - Automata theory

• - Text analyzer (TA 6308)
• - Ontological modeling (OM 6209)
• - Semantic analysis and search (SAS 6210)
• - Intellectual systems (IS 5208)
• - Modeling morphological ans syntactic rules (MMSP 5304)

• - Semantic processing of texts (SPT 6305)
• - Natural language processing (NLP 5302)

• - Semantic analysis of texts (SAT 5310)
• - Methods of synthesis of responses (MSR 6305)
• - Methods of analysis of question (MAQ 6306)
• - Direct translation methods (DTM 6307)
• - Structural analysis of social networks (SASN 5305)

• - Formalization of morphological rules (FMR 5308)
• - Syntactic translation methods (STM 6308)

• - Computational complexity* (CC 5206)
• - Formalization of syntactic rules (FSR 5309)
• - Computational models* (CM 5205)
• - Statistical methods in Natural Language Processing (SM NLP 5205)
• - Syntax analysis of texts (SAT 5304)

• - Translation Methods (TM 6308)
• - Structural analysis of social networks (SASN 5308)

• - Malware analysis (NA 5307)
• - Computational models and complexity (CMC 5301)

• - Speech Processing
• - Formal Grammars

• - Analysis and processing of large amounts of information
• - Fundamentals of business intelligence

• - Fundamentals of business intelligence

• - Machine learning algorithms for data processing
• - Research methodology and R&D
• - Artificial intelligence in project management
• - Computational models
• - Intelligent information systems and technologies for their development
• - Natural language processing software development methods
• - Decision support systems
• - Machine learning and application
• - Methods of processing text corpora
• - Programming languages for data analysis and processing
• - Methodology of scientific research
• - Ontologies, Semantic Technologies

Bachelor:

• - Languages and technologies of programming (YaTP 1207)
• - Logic programming (LP 3218)
• - Logical programming

• - Java programming
• - Semantic networks

• - Functional programming (FP 4222)

• - Algorithmic languages ​​and programming (ALP 1203)
• - Object-oriented programming (OOP 1207)

• - Programming in Language C++* (PLC 1206)
• - Information Security Management (ISM 4327)
• - Software for information protection (SIP 3217)

• - Formal languages and automata theory (TYaA 2212)
• - Web design (WD 4309)
• - Expert Systems (ES 3220)
• - Instrumental means of design of anthologies* (IMDA 1202)
• - System monitoring information security (SMIS 4325)
• - Functional programming (PP 3217)

• - Programming in Android (PA 3212)

• - Design of remote databases (DRD 4222)
• - Fundamentals of Information Security (FIS 2210)
• - Object-oriented programming in Java (OOPJ 2212)
• - Computer Interaction with a person (CIP 3301)
• - Safety of operating systems (SOpS 2305)
• - Object-oriented programming on Java* (OOPJava)
• - Programming in language C++ (PLC 1210.)

• - Programming in low-level language (PLLL 1210)
• - Database Security (DS 3221)
• - Programming in the Assembler language (PAL 3212)
• - The Theory of Automata and language (TAL 2204.)
• - Algorithmization and programming languages (APL 2211)
• - Three-dimensional graphics (TDG 4312)
• - Development of secure software (DSS 3222)
• - Theoretical Foundations of Artificial Intelligence (TFAI 3218)

• - Operating systems (OS 3216)
• - Discrete Structures (DK 2211)
• - Algorithms Theory (AT 3301.)
• - Statistical data processing in software packages
• - The basics of cryptanalysis (CF 4305)
• - Templates designing on Java (TDJ 3215)
• - Data mining (DM 4310)
• - Two-dimensional graphics (TDG 4311)
• - Data Mining (DM 4307)
• - Authentication, certification and PKI (ASPKI 4306)
• - Programming in Python (SAI 3216)

• - Digital electronics (DE 2213)
• - Discrete mathematics
• - Functional and logic programming for AI
• - Artificial intelligence (AI 4217)
• - Discrete Structures (DS 2210)
• - Discrete mathematics (DM 2210)

• - Programming in language C++
• - Introduction to Natural Language Processing
• - Data processing
• - Virtualization technologies (VT 3216)
• - Databases Theory (DBT_ 3307)
• - Artificial Intelligence for Information Security
• - Cybersecurity Foundations
• - Artificial intelligence

• - Programming in language C++ (PLS 1210)
• - Algorithms and data structures* (ADS 1203)
• - Algorithms and structures of data (ASD 2214)
• - Introduction to Information Security Management (IISM 4217)
• - Architecture and organization of computer systems
• - Blockchain technologies
• - Information and Coding Theory
• - Machine-oriented programming
• - Algorithms and Data Structures
• - The Theory of Automata and language
• - Software Reliability (SR 4310)
• - Organizational and legal methods of information protection
• - Machine learning
• - Programming in SQL
• - Logic programming for AI
• - Functional programming for AI
• - Network Security (NS 3313)
• - Software Reliability
• - Information security of document management systems

• - Probability theory and mathematical statistics
• - Operating System Security (OSS 3308)
• - Database Security
• - Design and development of intelligent systems
• - Game theory
• - Artificial intelligence
• - Operations research
• - Cyberphysical systems and technologies
• - Programming in language C++
• - Programming in Python
• - Programming in R
• - Object-oriented programming on Java
• - Knowledge representation models and languages
• - Distributed computing (DC 4218)
• - Analytics powered by the Hadoop ecosystem
• - Data mining
• - Information retrieval systems
• - Network technology basics
• - Database theory and data administration
• - Hardware-software means of information security
• - Web Technology Security
• - AI Workshop
• - Development of secure software (DSS 4217)
• - Knowledge Engineering and Knowledge Base Design
• - Cybersecurity basics
• - Decision theory
• - Machine translation
• - Project management
• - Network technology security
• - Fundamentals of Scientific Research
• - Artificial intelligence
• - Databases and SQL queries
• - Building Quantum-Secured Networks
• - Models for analyzing the quality of next-generation networks
• - Quantum computing
• - Data Analytics in R
• - IT project management
• - Web programming

• - Discrete mathematics