Наука Казахстана
Документация
Анонсы
Мировая наука
Издания НЦГНТЭ
Международные гранты
Инфографика
Публикации в СМИ
Наука Казахстана
Документация
Анонсы
Мировая наука
Издания НЦГНТЭ
Международные гранты
Инфографика
Публикации в СМИ
Вход
Регистрация
FAQ
Контакты
RU
KZ
Национальные ресурсы НТИ
«Государственные услуги, оказываемые АО «НЦГНТЭ»:
практические рекомендации для научного сообщества»
подробнее
Касым-Жомарт Токаев:
«Казахстан постепенно превращается
в региональный академический и научно-исследовательский хаб»
подробнее
Национальные ресурсы
/
Отчеты о НИР
Тьюрингова вычислимость и определимость
Руководитель проекта: С.А.Бадаев
Исполнители проекта: С.А.Бадаев
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0208РК01231
Регистрационный номер: 0107РК00611
Ключевые слова: Математическая логика, Группы [мат.], Перечислимые множества, Множества [мат.],
Ссылка
Исследованы свойства центра конструктивных групп и семейств вычислимо перечислимых множеств. Область применения: математическая логика, алгебра.
Баннеры