Информатика
1.5.3. Индуктивное определение объектов
Рейтинг: 0
Индуктивное определение объектов
Индуктивные определения обычно используются в математике для точного определения ряда основных понятий. В качестве примера рассмотрим определение понятия натурального числа, предложенное итальянским математиком Дж. Пеано:
- "0" есть натуральное число;
- если п – натуральное число, то следующее непосредственно за ним число n' также будет натуральным числом;
- никаких других натуральных чисел, кроме тех, которые образуются с помощью правил 1 и 2, нет;
- для любых натуральных чисел выполняется условие: если последующие их числа равны, т. е. m'=n', то равны и предыдущие числа, m=n.
- нуль не следует ни за каким натуральным числом.
В этом определении, с одной стороны, перечисляются способы образования натуральных чисел, а с другой – указываются свойства, которыми они обладают. Нередко сюда относят и принцип математической индукции.
В логике индуктивные определения используются для точного описания способов образования ее исходных объектов, например, какие формулы, являются формулами исчисления высказываний или предикатов.
Время на изучение: 10 минут