Browsing by Author "Петрушка, Ю."

Now showing 1 - 3 of 3

Модель графічного інтерфейсу задання параметрів складеного унітерму
(Видавництво Львівської політехніки, 2011) Овсяк, В.; Нізьолек, М.; Петрушка, Ю.
Алгеброю алгоритмів описано модель графічного вікна задання параметрів складених унітермів. Наведено програмну реалізацію моделі. Algebra algorithms described model graphic window setting parameters compound uniterms. An implementation program model.
Несуперечність алгебри секвенційних алгоритмів
(Видавництво Львівської політехніки, 2012) Овсяк, О.; Овсяк, В.; Петрушка, Ю.
Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних та наявності тільки одного індексу порядку, доведена зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів. 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.
Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів
(Видавництво Львівської політехніки, 2011) Овсяк, В.; Маркушевський, Т.; Петрушка, Ю.
Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів. Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms.