Антоненко, Александр СергеевичAntonenko, Oleksandr S.Антоненко, Олександр Сергійович2018-02-272018-02-272003Вісник Одеського національного університету = Odesa National University Heraldhttps://dspace.onu.edu.ua/handle/123456789/12940У статті розглянутий новий вид алгоритмічного зведення - часткове табличне зведення, деякі його підзведення і критерії повноти цих зведень. Доведено еквівалентність часткового табличного зведення і слабкого табличного зведення. Також розглянуте граничне табличне зведення.В статье рассмотрен новый вид алгоритмической сводимости - частичная табличная сводимость, некоторые ее подсводимости и критерии полноты этих сводимостей. Доказана эквивалентность частичной табличной сводимости и слабой табличной сводимости. Также рассмотрена предельная табличная сводимость.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.ruчасткове табличне зведеннячастичная табличная сводимостьpartial truth table reducibilityArticle