Частичная табличная сводимость
Вантажиться...
Дата
2003
Науковий керівник
Укладач
Редактор
Назва журналу
ISSN
E-ISSN
Назва тому
Видавець
Одеський національний університет імені І. І. Мечникова
Анотація
У статті розглянутий новий вид алгоритмічного зведення - часткове табличне зведення, деякі його підзведення і критерії повноти цих зведень. Доведено еквівалентність часткового табличного зведення і слабкого табличного зведення. Також розглянуте граничне табличне зведення.
В статье рассмотрен новый вид алгоритмической сводимости - частичная табличная сводимость, некоторые ее подсводимости и критерии полноты этих сводимостей. Доказана эквивалентность частичной табличной сводимости и слабой табличной сводимости. Также рассмотрена предельная табличная сводимость.
A new type of algorithmic reducibility - partial truth table reducibility, some its subreducibilities and the completeness criteria of these reducibilities is viewed in the article. The equivalence of partial truth table reducibility and weak truth table reducibility is proved. Limitary truth table reducibility is also reviewed.
В статье рассмотрен новый вид алгоритмической сводимости - частичная табличная сводимость, некоторые ее подсводимости и критерии полноты этих сводимостей. Доказана эквивалентность частичной табличной сводимости и слабой табличной сводимости. Также рассмотрена предельная табличная сводимость.
A new type of algorithmic reducibility - partial truth table reducibility, some its subreducibilities and the completeness criteria of these reducibilities is viewed in the article. The equivalence of partial truth table reducibility and weak truth table reducibility is proved. Limitary truth table reducibility is also reviewed.
Опис
Ключові слова
часткове табличне зведення, частичная табличная сводимость, partial truth table reducibility
Бібліографічний опис
Вісник Одеського національного університету = Odesa National University Herald