Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
6 results
Search Results
Item Моделі схем реляційних баз даних, поданих модифікованою алгеброю алгоритмів(Видавництво Львівської політехніки, 2013) Драґан, Я.; Кулик, С.; Овсяк, В.; Овсяк, О.Обґрунтовано використання модифікованої алгебри алгоритмів для побудови математичних моделей схем реляційних баз даних. Побудовані математичні моделі схем абстрактних баз даних з одним і багатьма відношеннями та абстрактної схеми сховища даних. There гіштп of the modified algorithms algebra for constructing mathematical models of patterns of relational databases is grounded. Mathematical models of abstract database schemes with one or many relations and abstract schema data warehouse are constructed.Item Методологія синтезу моделей алгоритмічної складової автоматів(Видавництво Львівської політехніки, 2012) Драган, Я.; Овсяк, В.; Овсяк, О.Описано етапи синтезу, оптимізації і дослідження математичних моделей алгоритмічної складової автоматів методом алгебри алгоритмів, декомпозиції і математичної індукції. There is describe by the stages of synthesis, optimization and study mathematical models machine algorithmic component by the methods of algorithm algebra, decomposition and mathematical induction..Item Порівняння алгебричних методів подань алгоритмів(Видавництво Львівської політехніки, 2013) Драґан, Я.; Овсяк, В.; Овсяк, О.Порівняннями за системами операцій та їхніми властивостями та побудованими моделями абстрактної комп’ютерної системи дано оцінку таких відомих алгебричних методів опису алгоритмів, якими є модифікована система алгоритмічних алгебр, модифікована алгебра алгоритмів та алгебра алгоритмів. Bi comparison under the systems operations and their properties and constructed abstract models of computer systems estimations of such well-known algebraic methods for describing algorithms, which are modified systems of algorithmic algebras, modified algebra algorithms and algebra algorithms are given.Item Граматика мови опису завдань на генерування баз даних(Видавництво Львівської політехніки, 2012) Овсяк, В.; Кулик, С.Засобами алгебри секвенційних алгоритмів описано розроблені синтаксис і семантику мови опису завдань на створення бази даних. By means of sequential algebra algorithms described are designed syntax and semantice describing tasks on a database.Item Модель графічного інтерфейсу задання параметрів складеного унітерму(Видавництво Львівської політехніки, 2011) Овсяк, В.; Нізьолек, М.; Петрушка, Ю.Алгеброю алгоритмів описано модель графічного вікна задання параметрів складених унітермів. Наведено програмну реалізацію моделі. Algebra algorithms described model graphic window setting parameters compound uniterms. An implementation program model.Item Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів(Видавництво Львівської політехніки, 2011) Овсяк, В.; Маркушевський, Т.; Петрушка, Ю.Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів. Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms.