# general courses

*General Courses:*

*General Courses:*

**Programming (Inf.)**

Includes review of basic concepts and methods of procedural and object-oriented programming.

Standard rate: 3rd, 4th semesters, 10 credits.

Lecturer: Associate Professor Vinnyk Vadim Yu.

The purpose: mastering basic knowledge on the basics of programming, basic data structures, computer algorithms, the acquisition of applied skills, procedural and object-oriented programming, mastering several languages.

Prerequisites: basic knowledge of discrete mathematics and algebra.

**Theory of algorithms (Inf.)**

Includes the study of basic concepts of the theory of algorithms, consideration of formal models of algorithms and algorithmically calculated functions for computability, solvability and unsolvability massive problems.

Standard rate: 4-th semester, 5 credits.

Lecturer: Associate Professor Shkilnyak Stepan.

The purpose: learning basic knowledge of the foundations of the theory of algorithms. Theory of algorithms is the theoretical foundation of programming and computer science. Concepts and methods of the theory of algorithms have been successfully used in many sections of science. The apparatus of the theory of algorithms necessary for adequate modeling of subject areas, the creation of modern software and information systems.

Prerequisites: basic knowledge of the required elementary mathematics, discrete mathematics, algebra and mathematical logic. The student should know the basics of set theory, Boolean functions, basis the total algebra, basics of mathematical logic.

**Mathematical Logic (Inf.)**

Includes the study of basic concepts of mathematical logic, consideration of semantic models of logic and formal axiomatic logical systems.

Standard rate: 3rd semester, 5 credits.

Lecturer: Associate Professor Shkilnyak Stepan.

The purpose: learning basic knowledge of the foundations of mathematical logic. In general terms, concepts and methods of mathematical logic is necessary to substantiate the accuracy of various methods of obtaining true knowledge. In the applied aspect, the apparatus of mathematical logic is necessary for adequate modeling of various subject areas, the creation of modern software and information systems.

Prerequisites: basic knowledge of the required elementary discrete mathematics and algebra. The student should know the basics of set theory, Boolean functions, basis the total algebra.

**System Programming (Inf.)**

Includes consideration of theoretical aspects of designing and creating speech processor, the study of the relevant classes of grammars, mastering algorithms and their programming in order to obtain practical skills of language processors.

Standard rate: 5-th and 6th semesters, 7 credits.

Lecturer: Associate Professor Viktor Volokhov.

The purpose: mastering the theory, techniques and gain experience in designing and programming language processors (compilers and interpreters of programming languages).

Prerequisites: student must know the fundamentals of discrete mathematics, theory of programming, knowledge of programming languages Pascal and C, and fundamentals of algebra and mathematical analysis.

**System Programming (SA, AM).**

Includes consideration of theoretical aspects of designing and creating operating systems, language processors, the study of the relevant classes of grammars, mastering algorithms and their programming in order to obtain practical skills of language processors.

Standard rate: 7-th semester, 4 credits.

Lecturer: Associate Professor Viktor Volokhov.

The purpose: mastering the theory, techniques and gain experience in designing and programming of operating systems, language processors (compilers and interpreters of programming languages).

Prerequisites: student must know the fundamentals of discrete mathematics, theory of programming, knowledge of programming languages C and C + + as well as the fundamentals of algebra and mathematical analysis.

**System programming and operating systems (PI).**

Includes review of basic concepts, components of OS resource management operating system, compilers of programming languages, parallel programming and methodology for developing parallel programs.

Standard rate: 5-th and 6th semesters, 8 credits.

Lecturer: Associate Professor Taras V. Panchenko.

The purpose: mastering basic knowledge on the basics of building operating systems, resource management and distribution, construction of compilers and programming languages, foundations of parallel programming, including multiprocessor systems.

Prerequisites: basic knowledge of the necessary programming in C, elementary mathematics, algebra, discrete mathematics, mathematical logic, theory of algorithms.

**Theory of Programming (Inf.)**

Includes the study of fundamental (basic) concepts of the theory of programming, addressing key aspects of the programs (semantics and syntax), their formalization and study.

Standard rate: 5-th semester, 5 credits.

Lecturer: Professor Mykola Nikitchenko.

The purpose: learning basic concepts, principles and concepts of modern, including composition, programming. In general terms, concepts and methods of the theory of programming are needed to justify and formalize how the development of appropriate and effective programs. In the applied aspect, the apparatus of the theory of programming is necessary for adequate modeling languages and programming specifications and use the model to create modern software and information systems quality.

Prerequisites: basic knowledge of the required elementary mathematics, discrete mathematics, algebra, mathematical logic and theory of algorithms. The student should know the basics of set theory, fundamentals of general algebra, theory of algorithms, propositinal logic and logic predicates.

**Theory of algorithms and mathematical logic (CA).**

Includes the study of basic concepts of mathematical logic and theory of algorithms, consideration of semantic models of logic and formal axiomatic logical systems, formal models of algorithms and algorithmically calculated functions.

Standard rate: 6-th semester, 4 credits.

Lecturer: Associate Professor Vinnyk Vadim.

The purpose: learning basic knowledge of the foundations of mathematical logic and theory of algorithms. Concepts and methods of mathematical logic necessary to substantiate the accuracy of certain methods of obtaining true knowledge, theory of algorithms is the theoretical foundation of programming. The apparatus of mathematical logic and theory of algorithms is necessary for adequate modeling of various subject areas, the creation of modern software and information systems.

Prerequisites: basic knowledge of the required elementary discrete mathematics and algebra. The student should know the basics of set theory, Boolean functions, basis the total algebra.

**Theory of algorithms and mathematical logic (PM).**

Includes the study of basic concepts of mathematical logic and theory of algorithms, consideration of semantic models of logic and formal axiomatic logical systems, formal models of algorithms and algorithmically calculated functions.

Standard rate: 6-th semester, 6 credits.

Lecturer: Associate Professor Shkilnyak Stepan.

The purpose: learning basic knowledge of the foundations of mathematical logic and theory of algorithms. Concepts and methods of mathematical logic necessary to substantiate the accuracy of certain methods of obtaining true knowledge, theory of algorithms is the theoretical foundation of programming. The apparatus of mathematical logic and theory of algorithms is necessary for adequate modeling of various subject areas, the creation of modern software and information systems.

Prerequisites: basic knowledge of the required elementary discrete mathematics and algebra. The student should know the basics of set theory, Boolean functions, basis the total algebra.

**Theory of Computing (Inf.)**

Includes review and study the basic set-theoretic structures to their application in the theory of tabular databases.

Standard rate: 7-th semester, 4 credits.

Lecturer: Professor Dmytro Bui.

The purpose: the study is set-theoretic constructions complete the image of, limitations, projection, cofiniteness, compatibility injectiveness and operation of the generalized direct product of the generalized connection and set of functions.

Prerequisites: basic knowledge of the required elementary mathematics, fundamentals of general algebra, theory of algorithms and database theory. The student should be able to carry proof of theoretical statements (theorems), use the results of general algebra, to develop their own database management system.

**Technology programming and software products, methods and tools for computer information technology (PIN).**

Includes the study of basic concepts of discipline, its main provisions concerning informal type of data processing systems or ACS. It allows you to learn to design individual components, select them with ready-made, creating the structure of the future system, test them and check on quality.

Standard rate: 7-th semester, 4 credits.

Lecturer: Professor Katherina M. Lavrischeva.

The purpose: learning from the basics of building large software systems using life cycle processes (rd) from task demands and ending its support. The basic concept underlying technology is simple objects (modules, components, services, etc.). The objects of a complex target program objects. The main problem is to create a target with a simple solution to the problems of adjustment data that does not correspond to the type of formal parameters. General purpose systems enable integration of different components, but their implementation depends on the platform, systems programming from various programming languages (MP) and the environment simple and complex software components. All this creates the need for transformation of irrelevant data types of these objects.

Prerequisites: basic knowledge of programming required, MP modern object-oriented type, conditions relevant environments and knowledge bases testing and tracing of processes rd, and the foundations of software engineering.

**Information Technology (PM).**

Includes review of basic concepts of information technology and methods of their development.

Standard rate: 1-st semester OCD specialist, 3 credits.

Lecturer: Associate Professor Boyko Boris.

The purpose: knowledge of the foundations of information technology applications and skills acquisition of software engineering, in particular, the use of tools (with CASE-tools inclusive) in the development of automated information systems for various purposes.

Prerequisites: basic knowledge of the necessary programming, database and simulation of complex systems.

Information Technology (PM).

Includes review of basic concepts of information technology and methods of their development.

Standard rate: 1st Semester Master of OCD, 3 credits.

Lecturer: Associate Professor Boyko Boris.

The purpose: knowledge of the foundations of information technology applications and skills acquisition of software engineering, in particular, the use of tools (with CASE-tools inclusive) in the development of automated information systems for various purposes.

Prerequisites: basic knowledge of the necessary programming, database and simulation of complex systems.

** **

Information Technology (Inf.)

Includes the study of basic concepts: modeling of software systems (using language UML), Engineering and reengineering of software systems. NET-and Java-technologies, distributed systems technologies (COM-, CORBA-, .NET-Remoting, Java-RMI), the concept of service-oriented architecture, including Web-services technology, Web-frameworks.

Standard rate: 1-st semester OCD specialist, 4 credits.

Lecturer: Associate Professor Vladimir Kuzenko.

The purpose: is to obtain knowledge and skills for information technology development of software systems, including skills in software engineering, application modeling, CASE-technologies, including the development of distributed software systems, Web-systems and systems with service- oriented architecture.

Prerequisites: Student should know: the basic concepts of object-oriented paradigm, the principles of object-oriented design and software engineering, the basic concepts of language UML, the strategy of using UML-diagrams for modeling software systems, the basic architectural structures, foundations .NET- and Java-technologies, the concept of service-oriented architecture, declarative programming paradigm and its application in technology .NET and Java, the concept of service-oriented architecture framework concepts. The student should be able to: use object-oriented programming style in the design of software systems, use simulation software systems based on UML-diagrams to develop distributed systems using various technologies (COM-, CORBA-, .NET-Remoting, Java-RMI), apply the service-oriented architecture, design and development of Web-systems using modern frameworks.

** **

Information Technology (Inf.)

Includes the study of basic concepts: modeling of software systems (using language UML), Engineering and reengineering of software systems,. NET-and Java-technologies, distributed systems technologies (COM-, CORBA-, .NET-Remoting, Java-RMI), the concept of service-oriented architecture, including Web-services technology, Web-frameworks.

Standard rate: 1st Semester Master of OCD, 4 credits

Lecturer: Associate Professor Vladimir Kuzenko.

The purpose: is to obtain knowledge and skills for information technology development of software systems, including skills in software engineering, application modeling, CASE-technologies, including the development of distributed software systems, Web-systems and systems with service- oriented architecture.

Prerequisites: Student should know: the basic concepts of object-oriented paradigm, the principles of object-oriented design and software engineering, the basic concepts of language UML, the strategy of using UML-diagrams for modeling software systems, the basic architectural structures, foundations .NET- and Java-technologies, the concept of service-oriented architecture, declarative programming paradigm and its application in technology .NET and Java, the concept of service-oriented architecture framework concepts. The student should be able to: use object-oriented programming style in the design of software systems, use simulation software systems based on UML-diagrams to develop distributed systems using various technologies (COM-, CORBA-, .NET-Remoting, Java-RMI), apply the service-oriented architecture, design and development of Web-systems using modern frameworks.

**Information Technology (SI).**

Includes the study of basic concepts: modeling of software systems (using language UML), Engineering and reengineering of software systems,. NET-and Java-technologies, distributed systems technologies (COM-, CORBA-, .NET-Remoting, Java-RMI), the concept of service-oriented architecture, including Web-services technology, Web-frameworks.

Standard rate: 1st semester OCD specialist, 3 credits.

Lecturer: Associate Professor Vladimir Kuzenko.

The purpose: is to obtain knowledge and skills for information technology development of software systems, including skills in software engineering, application modeling, CASE-technologies, including the development of distributed software systems, Web-systems and systems with service- oriented architecture.

Prerequisites: Student should know: the basic concepts of object-oriented paradigm, the principles of object-oriented design and software engineering, the basic concepts of language UML, the strategy of using UML-diagrams for modeling software systems, the basic architectural structures, foundations .NET- and Java-technologies, the concept of service-oriented architecture, declarative programming paradigm and its application in technology .NET and Java, the concept of service-oriented architecture framework concepts. The student should be able to: use object-oriented programming style in the design of software systems, use simulation software systems based on UML-diagrams to develop distributed systems using various technologies (COM-, CORBA-, .NET-Remoting, Java-RMI) , apply the service-oriented architecture, design and development of Web-systems using modern frameworks.

**Information Technology (SI).**

Includes the study of basic concepts: modeling of software systems (using language UML), Engineering and reengineering of software systems,. NET-and Java-technologies, distributed systems technologies (COM-, CORBA-, .NET-Remoting, Java-RMI), the concept of service-oriented architecture, including Web-services technology, Web-frameworks.

Standard rate: 1st Semester Master of OCD, 3 credits.

Lecturer: Associate Professor Vladimir Kuzenko.

The purpose: is to obtain knowledge and skills for information technology development of software systems, including skills in software engineering, application modeling, CASE-technologies, including the development of distributed software systems, Web-systems and systems with service- oriented architecture.

Prerequisites: Student should know: the basic concepts of object-oriented paradigm, the principles of object-oriented design and software engineering, the basic concepts of language UML, the strategy of using UML-diagrams for modeling software systems, the basic architectural structures, foundations. NET- and Java-technologies, the concept of service-oriented architecture, declarative programming paradigm and its application in technology. NET and Java, the concept of service-oriented architecture framework concepts. The student should be able to: use object-oriented programming style in the design of software systems, use simulation software systems based on UML-diagrams to develop distributed systems using various technologies (COM-, CORBA-, .NET-Remoting, Java-RMI), apply the service-oriented architecture, design and development of Web-systems using modern frameworks.

**Formal methods of software systems (Inf.)**

Includes the study of basic concepts of the theory of programming, addressing key aspects of the programs (semantics, computability, genesis, pragmatics) and the study of formal methods for building applications.

Standard rate: 2nd Semester Master of OCD, 3 credits.

Lecturer: Professor Mykola Nikitchenko.

The purpose: learning basic concepts, principles and concepts of modern methods of software systems. In general and ideological aspects, such concepts and methods are necessary to justify and formalize ways to develop correct and efficient programs. In the applied aspect, such an apparatus is necessary for adequate modeling languages and programming specifications and use the model to create modern software and information systems quality.

Prerequisites: the required basic knowledge of discrete mathematics, algebra and mathematical logic. The student should know the basics of set theory, Boolean functions, basis the total algebra, basics of mathematical logic, theory of programming.

**Applied Logic (Inf.)**

Includes consideration of tabular algebras, based on Kodd algebras, and consideration of semantic structures widespread language SQL.

Standard rate: 3rd semester master OCD, 2 credits.

Lecturer: Professor Dmytro Bui.

The purpose: is the systematic study and clarify the basic semantic structures, relational approach to database management system.

Prerequisites: basic knowledge of the required elementary mathematics foundations of the theory of computing and database theory. The student should be able to carry proof of theoretical statements, the results from the theory of computation, use the concepts of database theory and design their own database management system.

**UNIX-like operating systems (Inf.)**

Includes the study of basic principles of structure and use of Unix operating systems class on the example of Linux.

Standard rate: 1st semester OCD specialist, 3 credits.

Lecturer: Associate Professor Taras V. Panchenko.

The purpose: mastering basic knowledge of the foundations of buildings clone operating systems Unix (preferably – Linux), characteristics of management resources and their distribution as well as the specific application, use and administration.

Prerequisites: basic knowledge of the necessary operating systems, programming in C, elementary mathematics, discrete mathematics, mathematical logic and theory of algorithms. Knowledge of Microsoft Windows operating system or another OS.

**UNIX-like operating systems (Inf.)**

Includes the study of basic principles of structure and use of Unix operating systems class on the example of Linux.

Standard rate: 1st Semester Master of OCD, 3 credits.

Lecturer: Associate Professor Taras V. Panchenko.

The purpose: mastering basic knowledge of the foundations of buildings clone operating systems Unix (preferably – Linux), characteristics of management resources and their distribution as well as the specific application, use and administration.

Prerequisites: basic knowledge of the necessary operating systems, programming in C, elementary mathematics, discrete mathematics, mathematical logic and theory of algorithms. Knowledge of Microsoft Windows operating system or another OS.

**Verification and validation of software systems (Inf.)**

Includes the study of methods of validation and testing programs, methods of proof of correctness of programs. This is done by building models of programs with further proof of the properties of the model, describing it correctly. The device verification and validation program is used to prove the correctness of algorithms applied in various domains.

Standard rate: 3rd semester master OCD, 3 credits.

Lecturer: Professor Anatoliy Doroshenko.

The purpose: mastering technology validation programs by building models of programs with further proof of the properties of the model, describing it correctly. Definitions Verification and validation of software systems by using a mathematical logic and theory of algorithms provides the necessary knowledge to justify the correctness of algorithms and is an integral part of science programming. The device verification and validation of software systems can be a practical tool for bringing the correct application of algorithms in various subject areas, the creation of modern software and information systems.

Prerequisites: course for learning basic subjects is: mathematical analysis, programming, theory of algorithms and mathematical logic.

**Operating System (SA).**

Includes consideration of theoretical aspects of designing and creating operating systems, the study component of operating systems, mastering algorithms and programming to further the design and programming of operating systems.

Standard rate: 7-th semester, 3 credits.

Lecturer: Associate Professor Viktor Volokhov.

The purpose: mastering the theory, techniques and gain experience in designing and programming of operating systems.

Prerequisites: student must know to study the course “Operating Systems” fundamentals of the theory of discrete mathematics, theory of programming, knowledge of programming languages Pascal and C as well as the foundations of mathematical analysis. The student should be able to carry proof of theoretical statements (theorems), the results from the theory of discrete mathematics, programming of algorithms.

**Operating System (PM).**

Includes consideration of theoretical aspects of designing and creating operating systems, the study component of operating systems, mastering algorithms and programming to further the design and programming of operating systems.

Standard rate: 2nd Semester Master of OCD, 2 credits.

Lecturer: Associate Professor Viktor Volokhov.

The purpose: mastering the theory, techniques and gain experience in designing and programming of operating systems.

Prerequisites: student must know to study the course “Operating Systems” fundamentals of the theory of discrete mathematics, theory of programming, knowledge of programming languages Pascal and C as well as head of mathematical analysis. The student should be able to carry proof of theoretical statements (theorems), the results from the theory of discrete mathematics, programming of algorithms.

**Programming (Inf., correspondence.).**

Includes review of basic concepts and methods of procedural programming.

Standard rate: 1st and 2nd semesters, 9 credits.

Lecturer: Associate Professor Vitaliy V. Zubenko.

The purpose: mastering basic knowledge on the basics of programming, procedural programming skills and mastering the programming language C.

Prerequisites: basic knowledge of the required elementary discrete mathematics and algebra.

**System Programming (Inf., correspondence.).**

Includes consideration of theoretical aspects of designing and creating operating systems, language processors, the study of the relevant classes of grammars, mastering algorithms and their programming in order to obtain practical skills of language processors.

Standard rate: 7-th and 8-th semester, 7 credits.

Lecturer: Associate Professor Viktor Volokhov.

The purpose: mastering the theory, techniques and gain experience in designing and programming of operating systems, language processors (compilers and interpreters of programming languages).

Prerequisites: Student should know basic theory of discrete mathematics, theory of programming, knowledge of programming languages C and C + + as well as head of mathematical analysis. The student should be able to carry proof of theoretical statements (theorems), the results from the theory of discrete mathematics, to use integrated development environment software program of algorithms.

**Theory of algorithms (Inf., correspondence.).**

Includes the study of basic concepts of the theory of algorithms, consideration of formal models of algorithms and algorithmically calculated functions for computability, solvability and unsolvability massive problems.

Standard rate: 7-th semester, 3 credits.

Lecturer: Professor Mykola Nikitchenko.

The purpose: learning basic knowledge of the foundations of the theory of algorithms. Theory of algorithms is the theoretical foundation of programming and computer science. Concepts and methods of the theory of algorithms have been successfully used in many sections of science. The apparatus of the theory of algorithms is necessary for adequate modeling of subject areas, the creation of modern software and information systems.

Prerequisites: basic knowledge of the required elementary mathematics, discrete mathematics, algebra and mathematical logic. The student should know the basics of set theory, Boolean functions, basis the total algebra, basics of mathematical logic.

**Theory of Programming (Inf., correspondence.).**

Includes the study of fundamental (basic) concepts of the theory of programming, addressing key aspects of the programs (semantics and syntax), their formalization and study.

Standard rate: 8-th and 9-th semesters, 3 credits.

Lecturer: Professor Mykola Nikitchenko.

The purpose: learning basic concepts, principles and concepts of modern, including composition, programming. In general terms, concepts and methods of the theory of programming needed to justify and formalize how the development of appropriate and effective programs. In the applied aspect, the apparatus of the theory of programming is necessary for adequate modeling languages and programming specifications and use the model to create modern software and information systems quality.

Prerequisites: basic knowledge of the required elementary mathematics, discrete mathematics, algebra, mathematical logic and theory of algorithms. The student should know the basics of set theory, fundamentals of general algebra, theory of algorithms, propositional logic and logic of predicates.

**Information Technologies (Inf., correspondence.).**

Includes the study of basic concepts: modeling of software systems (using language UML), Engineering and reengineering of software systems, NET-and Java-technologies, distributed systems technologies (. NET-Remoting, Java-RMI), the concept service-oriented architecture, including Web-services technology, Web-frameworks.

Standard rate: 1st semester OCD specialist, 3 credits.

Lecturer: Associate Professor Vladimir Kuzenko.

The purpose: is to obtain knowledge and skills for information technology development of software systems, including skills in software engineering, application modeling, CASE-technologies, including the development of distributed software systems, Web-systems and systems with service- oriented architecture.

Prerequisites: Student should know: the basic concepts of object-oriented paradigm, the principles of object-oriented design and software engineering, the basic concepts of language UML, the strategy of using UML-diagrams for modeling software systems, the basic architectural structures, foundations. NET- and Java-technologies, the concept of service-oriented architecture, declarative programming paradigm and its application in technology. NET and Java, the concept of service-oriented architecture framework concepts. The student should be able to: use object-oriented programming style in the design of software systems, use simulation software systems based on UML-diagrams to develop distributed systems using various technologies (. NET-Remoting, Java-RMI).

**Information Technologies (Inf., correspondence.).
**Includes the study of basic concepts: modeling of software systems (using language UML), Engineering and reengineering of software systems, NET-and Java-technologies, distributed systems technologies (.NET-Remoting, Java-RMI), the concept service-oriented architecture, including Web-services technology, Web-frameworks.

Standard rate: 1st Semester Master of OCD, 3 credits.

Lecturer: Associate Professor Vladimir Kuzenko.

The purpose: is to obtain knowledge and skills for information technology development of software systems, including skills in software engineering, application modeling, CASE-technologies, including the development of distributed software systems, Web-systems and systems with service- oriented architecture.

Prerequisites: Student should know: the basic concepts of object-oriented paradigm, the principles of object-oriented design and software engineering, the basic concepts of language UML, the strategy of using UML-diagrams for modeling software systems, the basic architectural structures, foundations. NET- and Java-technologies, the concept of service-oriented architecture, declarative programming paradigm and its application in technology. NET and Java, the concept of service-oriented architecture framework concepts. The student should be able to: use object-oriented programming style in the design of software systems, use simulation software systems based on UML-diagrams to develop distributed systems using various technologies (.NET-Remoting, Java-RMI).

**Applicative systems (Inf., correspondence.).**

Includes the study of applicative systems (lambda-calculus, calculus-delta) and combinatorial algebra and application techniques applicative systems in application programming.

Standard rate: 3rd semester Master OCD, 2 credits.

Lecturer: Professor Anatoliy Doroshenko.

The purpose: the formation of ideas about applicative system (lambda-many, delta-calculus and other) and combinatorial algebra and application techniques in application programming. Adopting concepts of applicative systems using mathematical logic and foundations of the theory of algorithms provides the necessary knowledge to justify the correctness of the applied algorithms and is the theoretical foundation of programming. Apparatus applicative systems can be useful for adequate modeling of various subject areas, the creation of modern software and information systems.

Prerequisites: you need to know information on mathematical analysis and algebra. Basic subjects are: mathematical analysis, programming, theory of algorithms and mathematical logic.

**Operating Systems (Inf., correspondence.).**

Includes consideration of theoretical aspects of designing and creating operating systems, the study component of operating systems, mastering algorithms and programming to further the design and programming of operating systems.

Standard rate: 3rd semester Master OCD, 1 credit.

Lecturer: Associate Professor Viktor Volokhov.

The purpose: mastering the theory, techniques and gain experience in designing and programming of operating systems.

Prerequisites: student must know to study the course “Operating Systems” fundamentals of the theory of discrete mathematics, theory of programming, knowledge of programming languages C and C + + as well as head of the discipline “System Programming”. The student should be able to carry proof of theoretical statements (theorems), the results from the theory of discrete mathematics, programming of algorithms.

**Applied Logic (Inf., correspondence.).**

Includes consideration of the neoclassical, intuitionistic and modal logics, the study of basic concepts and methods of theorem proving method (resolutions sequential calculus).

Standard rate: 4-semester Master of OCD, 2 credits.

Lecturer: Associate Professor Shkilnyak Stepan.

The purpose: an in-depth study of mathematical logic. In the applied aspect, the apparatus of mathematical logic is necessary for adequate modeling of various subject areas, the creation of modern software and information systems.

Prerequisites: requires knowledge of discrete mathematics, algebra, mathematical logic, theory of algorithms, theory of programming. The student should know the basics of set theory, Boolean functions, basis the total algebra, mathematical logic and foundations of the theory of algorithms.

**Theoretical foundations of programming (Inf., correspondence.).**

Includes the study of basic concepts of the theory of programming, addressing key aspects of the programs (semantics, computability, genesis, pragmatics) and their formalization and study.

Standard rate: 3rd semester Master OCD, 3 credits.

Lecturer: Professor Mykola Nikitchenko.

The purpose: learning basic concepts, principles and concepts of modern programming. In general terms, concepts and methods of the theory of programming needed to justify and formalize how the development of appropriate and effective programs. In the applied aspect, such an apparatus is necessary for adequate modeling languages and programming specifications and use the model to create modern software and information systems quality.

Prerequisites: basic knowledge required of discrete mathematics, algebra and mathematical logic. The student should know the basics of set theory, Boolean functions, basis the total algebra, basics of mathematical logic.

**Constructive nonstandard analysis (Inf., correspondence.).**

Includes the study of techniques of mathematical analysis by a combination of custom and constructive approaches to the concepts of functions and operations of mathematical analysis. The device is non-standard structural analysis used for modeling domains, a modern software and information systems.

Standard rate: 4-semester Master of OCD, 2 credits.

Lecturer: Professor Anatoliy Doroshenko.

The purpose: mastering techniques of mathematical analysis by a combination of custom and constructive approaches to the concepts of functions and operations of mathematical analysis. Mastering the concepts of non-standard structural analysis using a mathematical logic and theory of algorithms provides the necessary knowledge to justify the correctness of the applied algorithms and a theoretical basis for programming. The device is non-standard structural analysis may be useful for adequate modeling of various subject areas, the creation of modern software and information systems.

Prerequisites: you need to know information on mathematical analysis and algebra. Basic subjects are: mathematical analysis, programming, theory of algorithms and mathematical logic.

**Theory of Computing (Inf., correspondence.).**

Includes review and study the basic set-theoretic structures to their application in the theory of tabular databases.

Standard rate: 2nd semester OCD specialist, 4 credits.

Lecturer: Professor Dmytro Bui.

The purpose: the study is set-theoretic constructions complete the image of, limitations, projection, cofiniteness, compatibility injectiveness and operation of the generalized direct product of the generalized connection and set of functions.

Prerequisites: basic knowledge of the necessary basic mathematics, basic theory algebra, theory of algorithms and database theory. The student should be able to carry proof of theoretical statements (theorems), the results from the theory of algebra, build their own database management system.

Programming 1K. | Assoc. Zubenko VV |

Programming 2K. | Assoc. Boyko BI |

Theory of Algorithms 2K. | Assoc. Shkilnyak SS |

Math. Logic 2K. | Assoc. Shkilnyak SS |

System Programming 3k. | Assoc. Volkhov VM |

System Programming 4K. | Assoc. Volkhov VM |

System programming and operating systems 3k. | Assoc. Panchenko TV |

Pogramming theory 3K. | prof. Nikitchenko MS |

Theory of Algorithms and Math. Logic 3k. | Assoc. Shkilnyak SS |

Theory of Complexity 4K. | prof. DB Bui |

IT 5K. | Assoc. BI Boyko, Assoc. Kuzenko VF |

Formal methods for software systems 1m. | prof. Nikitchenko MS |

Custom constructive analysis 5K. | prof. Doroshenko A. |

Applied Logic 6m. | prof. DB Bui |

Technology of programming and software products creation, methods and tools for computer information technology 4K. | prof. Lavrischeva KM |