Бєляєв В. М. m-звідність з інформаційними обмеженнями

Работа присвячена вивченню нового типу алго-ритмічних звідностей, який виникає через накладання інформаційних обмежень R1, R0 на доступ до оракулу в m-редукціях. Вивчена ґратка L m-звідностей звідностей з інформаційними обмежен-нями. Досліджується структура рекурсивно перераховних ступенів нерозв'язності відносно m-звідностей з інформаційними обмеженнями. Для структури ступенів нерозв'язності отримано критерій бути верхньою напівґраткою. Досліджуються умови існування повних множин. Отримано критерій циліндрів в термінах m-звідностей з інформаційними обмеженнями.