Browsing by Author "Маркушевський, Т."
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item Модель підсистеми виявлення шляхів доступу до унітермів(Видавництво Львівської політехніки, 2010) Овсяк, В. К.; Маркушевський, Т.; Петрушка, Ю. В.Описано виконану декомпозицію підсистеми пошуку стежок доступу до унітермів формул алгоритмів, які подано спеціалізованим xml-подібним форматом. Підсистему утворено змінними і функційними унітермами. Побудовано засобами алгебри алгоритмів математичну модель підсистеми. We describe the decomposition done search engine, access to trails uniterms formulas algorithms that describe the special xml-similar format. Subsystem formed variables and featured uniterms. Algebra constructed by means ofmathematical algorithms model subsystem.Item Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів(Видавництво Львівської політехніки, 2011) Овсяк, В.; Маркушевський, Т.; Петрушка, Ю.Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів. Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms.