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

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

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

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

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

Browse

Search Results

Now showing 1 - 1 of 1
  • 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.