Разработка проблем распознавания и управления в сложных робототехнических системах
Full Name of the work head: А.Т. Нуртазин
Исполнители проекта: Ю.М. Дракунов
: НИИ механики и математики при КазНУ им. аль-Фараби
Inventory number: 0211РК01140
Registration number: 0109РК00792
Keywords: Распознавание образцов,
Найдены необходимые и достаточные условия модельной полноты произвольной теории. Доказано, что полная элементарная теория индуктивна, если любая выполнимая формула содержит некоторую выполнимую экзистенциальную формулу.
