Вид документа : Однотомное издание Шифр издания : 510/Ф 88 Автор(ы) : Фридман А. А. Заглавие : Степени неразрешимости проблемы тождества для конечно-определенных групп : монография Выходные данные : М.: Наука, 1967 Колич.характеристики :190 с. ; 19 см Коллективы : Центр. экономико-мат. ин-т (Москва), Акад. наук СССР Примечания : Библиогр.: с. 188 Цена : 0.53 р. ГРНТИ : 27.47 УДК : 510.5 Предметные рубрики: Математика-- Теория алгоритмов Ключевые слова (''Своб.индексиров.''): алгоритмические преобразования--алгоритмическая неразрешимость--сводимость предикатов--проблемы тождества--конечно-определенные группы Аннотация: Монография посвящена сравнению алгоритмических проблем в смысле сводимости, степеней неразрешимости важнейших алгоритмических проблем. Излагается решение проблемы А. И. Мальцева о степенях неразрешимости "проблем тождества слов" в конечно-определенных группах. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Адян, С. И. |