Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ena.lp.edu.ua:8080/handle/ntb/24342
Назва: Несуперечність алгебри секвенційних алгоритмів
Автори: Овсяк, О.
Овсяк, В.
Петрушка, Ю.
Бібліографічний опис: Овсяк О. Несуперечність алгебри секвенційних алгоритмів / О. Овсяк. В. Овсяк, Ю. Петрушка // Вісник Національного університету "Львівська політехніка". – 2012. – № 744 : Комп’ютерні науки та інформаційні технології. – С. 128–133. – Бібліографія: 9 назв.
Дата публікації: 2012
Видавництво: Видавництво Львівської політехніки
Теми: алгебра алгоритмів
несуперечність
логіка предикатів
операція
предикат
algebra algorithms
consistency
logic predicates
operation predicatе
Короткий огляд (реферат): Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних та наявності тільки одного індексу порядку, доведена зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів. 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.
URI (Уніфікований ідентифікатор ресурсу): http://ena.lp.edu.ua:8080/handle/ntb/24342
Тип вмісту : Article
Розташовується у зібраннях:Комп'ютерні науки та інформаційні технології. – 2012. – №744

Файли цього матеріалу:
Файл Опис РозмірФормат 
20-Ovsyak-128-131.pdf174,78 kBAdobe PDFПереглянути/відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.