ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ- определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории. И.о. находят широкое применение в математике, логике и других науках. Примером может быть И.о. натуральных чисел. Исходным объектом здесь будет число 0, исходной операцией - "следующее за п", т. е. операция, обеспечивающая переход от числа п к п + 1. Она обозначается "'" ("n'" - "следующее за n"). И.о. состоит из ряда пунктов: 1) 0 является натуральным числом; 2) если п - натуральное число, то п' -натуральное число; 3) никаких натуральных чисел, кроме тех, которые получаются согласно применению пунктов (1) и (2), нет. Связанные с «ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ» определения |
Все права на материалы сайта принадлежат их законным владельцам. Копирование части информации с сайта разрешено только с согласия администрации. Предложения и пожелания Вы можете отправить на странице "Обратная связь".