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

Simple item page
dc.contributor.authorОвсяк, О.
dc.contributor.authorОвсяк, В.
dc.contributor.authorПетрушка, Ю.
dc.date.accessioned2014-05-05T14:08:50Z
dc.date.available2014-05-05T14:08:50Z
dc.date.issued2012
dc.description.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.uk_UA
dc.identifier.citationОвсяк О. Несуперечність алгебри секвенційних алгоритмів / О. Овсяк. В. Овсяк, Ю. Петрушка // Вісник Національного університету "Львівська політехніка". – 2012. – № 744 : Комп’ютерні науки та інформаційні технології. – С. 128–133. – Бібліографія: 9 назв.uk_UA
dc.identifier.urihttps://ena.lpnu.ua/handle/ntb/24342
dc.language.isouauk_UA
dc.publisherВидавництво Львівської політехнікиuk_UA
dc.subjectалгебра алгоритмівuk_UA
dc.subjectнесуперечністьuk_UA
dc.subjectлогіка предикатівuk_UA
dc.subjectопераціяuk_UA
dc.subjectпредикатuk_UA
dc.subjectalgebra algorithmsuk_UA
dc.subjectconsistencyuk_UA
dc.subjectlogic predicatesuk_UA
dc.subjectoperation predicatеuk_UA
dc.titleНесуперечність алгебри секвенційних алгоритмівuk_UA
dc.typeArticleuk_UA

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
20-Ovsyak-128-131.pdf
Size:
174.78 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
2.06 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

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