Частичная табличная сводимость

Скорочена інформація про документ
dc.contributor.authorАнтоненко, Александр Сергеевич
dc.contributor.authorAntonenko, Oleksandr S.
dc.contributor.authorАнтоненко, Олександр Сергійович
dc.date.accessioned2018-02-27T21:20:24Z
dc.date.available2018-02-27T21:20:24Z
dc.date.issued2003
dc.description.abstractУ статті розглянутий новий вид алгоритмічного зведення - часткове табличне зведення, деякі його підзведення і критерії повноти цих зведень. Доведено еквівалентність часткового табличного зведення і слабкого табличного зведення. Також розглянуте граничне табличне зведення.uk
dc.description.abstractВ статье рассмотрен новый вид алгоритмической сводимости - частичная табличная сводимость, некоторые ее подсводимости и критерии полноты этих сводимостей. Доказана эквивалентность частичной табличной сводимости и слабой табличной сводимости. Также рассмотрена предельная табличная сводимость.uk
dc.description.abstractA 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.uk
dc.identifier.citationВісник Одеського національного університету = Odesa National University Heralduk
dc.identifier.urihttps://dspace.onu.edu.ua/handle/123456789/12940
dc.language.isoruuk
dc.publisherОдеський національний університет імені І. І. Мечниковаuk
dc.relation.ispartofseriesФіз.-мат. науки;Т. 8, вип. 2.
dc.subjectчасткове табличне зведенняuk
dc.subjectчастичная табличная сводимостьuk
dc.subjectpartial truth table reducibilityuk
dc.titleЧастичная табличная сводимостьuk
dc.typeArticleuk
Файли
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Дослiдження в математицi i механiцi