Тьюрингова вычислимость и определимость
Full Name of the work head: С.А.Бадаев
Исполнители проекта: С.А.Бадаев
: НИИ мех. и мат. при КазНУ
Inventory number: 0208РК01231
Registration number: 0107РК00611
Keywords: Математическая логика, Группы [мат.], Перечислимые множества, Множества [мат.],
Исследованы свойства центра конструктивных групп и семейств вычислимо перечислимых множеств. Область применения: математическая логика, алгебра.