Наукова періодика України | Поліграфія і видавнича справа | ||
Овсяк О. В. Несуперечність алгебри секвенційних алгоритмів / О. В. Овсяк, В. К. Овсяк, Ю. В. Петрушка // Поліграфія і видавнича справа. - 2012. - № 4. - С. 60-64. - Режим доступу: http://nbuv.gov.ua/UJRN/Pivs_2012_4_12 Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних і наявності тільки одного індексу порядку, доведено зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів.Несуперечність алгебри секвенційних алгоритмів (АСА), за умов логічних значень змінних і функціональних змінних і наявності тільки одного індексу порядку, доведено зведенням операцій АСА до операцій несуперечної логіки предикатів. Цитованість авторів публікації: Бібліографічний опис для цитування: Овсяк О. В. Несуперечність алгебри секвенційних алгоритмів / О. В. Овсяк, В. К. Овсяк, Ю. В. Петрушка // Поліграфія і видавнича справа. - 2012. - № 4. - С. 60-64. - Режим доступу: http://nbuv.gov.ua/UJRN/Pivs_2012_4_12.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |