Please use this identifier to cite or link to this item: http://ena.lp.edu.ua:8080/handle/ntb/24342
Title: Несуперечність алгебри секвенційних алгоритмів
Authors: Овсяк, О.
Овсяк, В.
Петрушка, Ю.
Bibliographic description (Ukraine): Овсяк О. Несуперечність алгебри секвенційних алгоритмів / О. Овсяк. В. Овсяк, Ю. Петрушка // Вісник Національного університету "Львівська політехніка". – 2012. – № 744 : Комп’ютерні науки та інформаційні технології. – С. 128–133. – Бібліографія: 9 назв.
Issue Date: 2012
Publisher: Видавництво Львівської політехніки
Keywords: алгебра алгоритмів
несуперечність
логіка предикатів
операція
предикат
algebra algorithms
consistency
logic predicates
operation predicatе
Abstract: Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних та наявності тільки одного індексу порядку, доведена зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів. 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
Content type: Article
Appears in Collections:Комп'ютерні науки та інформаційні технології. – 2012. – №744

Files in This Item:
File Description SizeFormat 
20-Ovsyak-128-131.pdf174,78 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.