Електронний каталог науково-технічної бібліотеки ІФНТУНГ

510.5
Б44          Бєляєв, В. М.
    m-звідність з інформаційними обмеженнями [Текст] : автореф. дис. на здобуття наук. ступеня канд. фіз.-мат. наук : спец. 01.01.08 "Математична логіка, теорія алгоритмів і дискретна математика" / Бєляєв Володимир Миколайович ; Київ. нац. ун-т ім. Тараса Шевченка. – К., 2006. – 20 с. – 17-18.

   Беляев В. М. m-звіднірть з інформаційними обмеженнями. - Рукопис. Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.01.08 - математична логіка, теорія алгоритмів і дискретна математика. - Київський національний університет імені Тараса Шевченка, м. Київ, 2005. Работа присвячена вивченню нового типу алгоритмічних звідностей, який виникає через накладання інформаційних обмежень на доступ до оракулу в m-редукціях. Вивчаються такі пари #', класів неспадних тотальних одномісних арифметичних функцій, що визначають рефлексивні и транзитивні бінарні відношення {(А,В)?A,B N&( з.p.фh)( f1 }. Встановлені критерії рефлексивності і транзитивності таких відношень. Вивчені ґрати m-звідностей з інформаційними обмеженнями. Досліджується структура рекурсивно перераховних ступенів нерозв'язності відносно m-звідностей з інформаційними обмеженнями. Для структури ступенів нерозв'язності отримано критерій бути верхніми напів-ґратами. Досліджуються умови існування повних множин. Отримано критерій циліндрів в термінах m-звідностей з інформаційними обмеженнями. Ключові слова: рекурсивна функція, обмежені звідності, ступені нерозв'язності, мажоранта, класи інформаційних обмежень


УДК 510.5(043)

            



Примірники
Місце збереження Кількість В наявностi
ЧЗНП - Зал. наук. та період. вид 1 1


Теми документа


Статистика використання: Видач: 0 Завантажень: 0





Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'