Несуперечність алгебри секвенційних алгоритмів

Loading...
Thumbnail Image

Date

2012

Journal Title

Journal ISSN

Volume Title

Publisher

Видавництво Львівської політехніки

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.

Description

Keywords

алгебра алгоритмів, несуперечність, логіка предикатів, операція, предикат, algebra algorithms, consistency, logic predicates, operation predicatе

Citation

Овсяк О. Несуперечність алгебри секвенційних алгоритмів / О. Овсяк. В. Овсяк, Ю. Петрушка // Вісник Національного університету "Львівська політехніка". – 2012. – № 744 : Комп’ютерні науки та інформаційні технології. – С. 128–133. – Бібліографія: 9 назв.

Endorsement

Review

Supplemented By

Referenced By