Несуперечність алгебри секвенційних алгоритмів
Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Несуперечність алгебри секвенційних алгоритмів
|
|
| Creator |
Овсяк, О.
Овсяк, В. Петрушка, Ю. |
|
| Subject |
алгебра алгоритмів
несуперечність логіка предикатів операція предикат algebra algorithms consistency logic predicates operation predicatе |
|
| Description |
Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних та наявності тільки одного індексу порядку, доведена зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів. 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. |
|
| Date |
2014-05-05T14:08:50Z
2014-05-05T14:08:50Z 2012 |
|
| Type |
Article
|
|
| Identifier |
Овсяк О. Несуперечність алгебри секвенційних алгоритмів / О. Овсяк. В. Овсяк, Ю. Петрушка // Вісник Національного університету "Львівська політехніка". – 2012. – № 744 : Комп’ютерні науки та інформаційні технології. – С. 128–133. – Бібліографія: 9 назв.
http://ena.lp.edu.ua:8080/handle/ntb/24342 |
|
| Language |
ua
|
|
| Format |
application/pdf
|
|
| Publisher |
Видавництво Львівської політехніки
|
|