Будьте внимательны! Проект находится в тестовой эксплуатации!
Играй - Развивайся - Поступай в ТПУ
Информатика

1.5.3. Индуктивное определение объектов

Рейтинг: 0

Индуктивное определение объектов

Индуктивные определения обычно используются в математике для точного определения ряда основных понятий. В качестве примера рассмотрим определение понятия натурального числа, предложенное итальянским математиком Дж. Пеано:

  1. "0" есть натуральное число;
  2. если п – натуральное число, то следующее непосредственно за ним число n' также будет натуральным числом;
  3. никаких других натуральных чисел, кроме тех, которые образуются с помощью правил 1 и 2, нет;
  4. для любых натуральных чисел выполняется условие: если последующие их числа равны, т. е. m'=n', то равны и предыдущие числа, m=n. 
  5.  нуль не следует ни за каким натуральным числом.

В этом определении, с одной стороны, перечисляются способы образования натуральных чисел, а с другой – указываются свойства, которыми они обладают. Нередко сюда относят и принцип математической индукции.

В логике индуктивные определения используются для точного описания способов образования ее исходных объектов, например, какие формулы, являются формулами исчисления высказываний или предикатов.

Время на изучение: 10 минут

Другие материалы по данной теме