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