Please use this identifier to cite or link to this item: http://dspace.onu.edu.ua:8080/handle/123456789/1877
Title: Частичная табличная сводимость
Authors: Антоненко, А. С.
Citation: Вісник Одеського національного університету = Odesa National University Herald
Issue Date: 2003
Publisher: Одеський національний університет імені І. І. Мечникова
Keywords: сводимость
рекурсия
Series/Report no.: Фіз.-мат. науки;Т. 8, вип. 2, С. 91 - 99
Abstract: У статті розглянутий новий вид алгоритмічного зведення - часткове табличне зведення, деякі його підзведення і критерії повноти цих зведень. Доведено еквівалентність часткового табличного зведення і слабкого табличного зведення. Також розглянуте граничне табличне зведення.
В статье рассмотрен новый вид алгоритмической сводимости - частичная табличная сводимость, некоторые ее подсводимости и критерии полноты этих сводимостей. Доказана эквивалентность частичной табличной сводимости. Также рассмотрена предельная табличная сводимость.
A new type of algorithmic reducibility - partial truth table reducibility, some its subreducibilities and the completeness criteria of these reducibility 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.
URI: http://dspace.onu.edu.ua:8080/handle/123456789/1877
Appears in Collections:Дослiдження в математицi i механiцi

Files in This Item:
File Description SizeFormat 
91-99 +.pdf298.1 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.