алгебра алгоритмів

Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних та наявності тільки одного індексу порядку, доведена зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів.

Sequential consistency algebra algorithms under logical variables and functional variables and there is only one index procedure proved mixing operations algebra sequential algorithms for operations consistent logic.

Наведено результати системного аналізу проблеми побудови алгебри та метатеорії алгебри алгоритмів у сучасній інформатиці з акцентом на конечність розроблення базової алгебри, що має бути відкрита за допомогою аналізу конкретної ситуації навіть за неповної аксіоматики.

There are exposed the results of system analysis of the problem for construction of algebra and metatheory of algorithms algebra in contemporary informatics with accent on necessity of elaboration of basic algebra that to be discovered by the process of concrete situation analysis even provided incomplet axiomatics.

Алгеброю алгоритмів описано модель графічного вікна задання параметрів складених унітермів. Наведено програмну реалізацію моделі.

Algebra algorithms described model graphic window setting parameters compound uniterms. An implementation program model.

The distribution of resources is an important scientific and practical task, as it concerns all areas of human activity, the field of information technologies is no exception. A study was conducted, which showed that today there are many approaches to solving the given problem, each of which is characterized by certain features. Known methods of resource allocation are analyzed, their classification is given and it is shown that they are mainly defined as linear programming problems, resource allocation matrices or are implemented on the basis of empirical knowledge.

The study showed that at the present stage of development of information technology, portable devices account for more than half of all Internet traffic, and its consideration is mandatory in the process of promoting commercial Internet resources. Given that the authors have analyzed the main approaches to promotion in the article and showed that an important aspect of promotion is to support Mobile First technology.