Разработка проблем распознавания и управления в сложных робототехнических системах
Руководитель проекта: А.Т. Нуртазин
Исполнители проекта: Ю.М. Дракунов
Организация: НИИ механики и математики при КазНУ им. аль-Фараби
Инвентарный номер: 0211РК01140
Регистрационный номер: 0109РК00792
Ключевые слова: Распознавание образцов,
Найдены необходимые и достаточные условия модельной полноты произвольной теории. Доказано, что полная элементарная теория индуктивна, если любая выполнимая формула содержит некоторую выполнимую экзистенциальную формулу.