Комп'ютерні науки та інформаційні технології. – 2012. – №744

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/19179

Вісник Національного університету "Львівська політехніка"

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

Вісник Національного університету «Львівська політехніка» : [збірник наукових праць] / Міністерство освіти і науки України, Національний університет «Львівська політехніка» – Львів : Видавництво Львівської політехніки, 2012 . – № 744: Комп’ютерні науки та інформаційні технології / відповідальний редактор Ю. М. Рашкевич. – 323 с. : іл.

Browse

Search Results

Now showing 1 - 3 of 3
  • Thumbnail Image
    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.
  • Thumbnail Image
    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..
  • Thumbnail Image
    Item
    Модель конвертації абстрактних унітермів до типових графічних унітермів автоматів
    (Видавництво Львівської політехніки, 2012) Овсяк, В.; Козелко, М.
    Засобами алгебри алгоритмів описано модель побудови системи типових графіxних унітермів, призначених для конвертації абстрактного унітерма. Means algebra of algorithms described created a model of the system default image unitermiv designed to convert abstract uniterm.