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

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

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.

Розподіл ресурсів – важливе науково-практичне завдання, оскільки стосується усіх галузей життєдіяльності людини, не є винятком сфера інформаційних технологій. Дослідження показало, що сьогодні уже є множина підходів для вирішення поставленого завдання, кожен з яких характеризується певними особливостями. Проаналізовано відомі методи розподілу ресурсів, наведено їх класифікацію та показано, що переважно вони визначаються як задачі лінійного програмування, матриці розподілення ресурсів чи реалізуються на основі емпіричних знань.

Дослідження показало, що на сучасному етапі розвитку інформаційних технологій саме на портативні пристрої припадає більша частина всього інтернет-трафіку, який обов’язково потрібно ураховувати під час популяризації комерційних інтернет-ресурсів. Автори проаналізу- вали основні підходи до популяризації та показали, що важливим аспектом просування є підтримка технології Mobile First. Під час дослідження проаналізовано механізми роботи відомих пошукових систем із акцентом на роботі системи Google, найпоширенішої на теренах України.