Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
13 results
Search Results
Item Алгоритми у САПР, зв’язок між математичним забезпеченням і алгоритмами та дослідження математичного й алгоритмічного забезпечення САПР(Видавництво Національного університету «Львівська політехніка», 2004) Безрук, В.; Драган, Я.; Овсяк, В.; Сікора, Л.; Сопронюк, Ф.На прикладі алгоритму Евкліда описаний метод подання і дослідження математичного й алгоритмічного забезпечення САПР. The method of formulating and investigation of mathematic and algorithmic CAD maintenance is described upon sample of Euclid argorithm.Item Теорія секвенційних алгоритмів як засіб побудови математичного, лінгвістичного, алгоритмічного та інформаційного забезпечення САПР(Видавництво Національного університету "Львівська політехніка", 2001) Овсяк, В.; Овсяк, Ю.Описано теорію секвенційних алгоритмів і подано посилання на літературні джерела, в яких наведено її використання для побудови математичного, лінгвістичного, алгоритмічного та інформаційного забезпечень систем автомати¬зації проектувальних робіт (САПР).Item Дослідження математичних моделей систем автоматизації проектувальних робіт(Видавництво Національного університету "Львівська політехніка", 2001) Драґан, Я.; Овсяк, В.; Сіроджа, І.Розглянуто проблему дослідження вірогідності математичних моделей лінгвістичного, інформаційного і алгоритмічного забезпечення систем автоматизації проектувальних робіт.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) Овсяк, О.; Овсяк, В.; Петрушка, Ю.Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних та наявності тільки одного індексу порядку, доведена зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів. 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.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) Овсяк, В.; Козелко, М.Засобами алгебри алгоритмів описано модель побудови системи типових графіxних унітермів, призначених для конвертації абстрактного унітерма. Means algebra of algorithms described created a model of the system default image unitermiv designed to convert abstract uniterm.Item Граматика мови опису завдань на генерування баз даних(Видавництво Львівської політехніки, 2012) Овсяк, В.; Кулик, С.Засобами алгебри секвенційних алгоритмів описано розроблені синтаксис і семантику мови опису завдань на створення бази даних. By means of sequential algebra algorithms described are designed syntax and semantice describing tasks on a database.Item Системний аналіз і методологія алгебри алгоритмів(Видавництво Львівської політехніки, 2012) Драґан, Я.; Овсяк, В.Наведено результати системного аналізу проблеми побудови алгебри та метатеорії алгебри алгоритмів у сучасній інформатиці з акцентом на конечність розроблення базової алгебри, що має бути відкрита за допомогою аналізу конкретної ситуації навіть за неповної аксіоматики. 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.