Knowledge and understanding:

- the ability to develop and analyze mathematical models, to justify methods and approaches to solving theoretical and applied problems in computer science;

- the ability to make logical conclusions, to use formal languages and models of algorithmic computing, to design, develop and analyze algorithms with the evaluation of their efficiency and complexity, to determine the solvability and unsolvability of algorithmic problems;

- the ability to apply theoretical and practical fundamentals of modelling methods and techniques for analyzing characteristics and behaviour of complex objects and systems; to conduct computing experiments and analyze their results;

- the ability to develop multilevel computing models including databases, knowledge bases, data storages and distributed processing of big data;

- the ability to perform intellectual data analysis, operational processing of data and visualizing its results in the process of solving applied problems.

Application of knowledge and understanding:

- effectively use modern mathematical apparatus in professional activities to solve theoretical and applied problems in the process of analysis, synthesis and design of information systems in industries;

- use formal models of algorithms and computable functions, determine the solvability, partial solvability and unsolvability of algorithmic problems; design, develop and analyze algorithms, evaluate their efficiency and complexity;

- design and develop software using different programming paradigms such as generalized, object-oriented, functional, and logical ones with corresponding models, methods and computing algorithms, data structures and control mechanisms;

- implement computing on the basis of cloud services and technology, parallel and distributed computing.

Forming judgments:

- formulate, analyze and solve problems related to computer science in the process of modeling and software development.