Рефераты - Афоризмы - Словари
Русские, белорусские и английские сочинения
Русские и белорусские изложения
 

ИНДУКТИВНОЕ_ОПРЕДЕЛЕНИЕ

Статья из раздела: «Философский словарь»

ИНДУКТИВНОЕ_ОПРЕДЕЛЕНИЕ —один из способов определения объектов математических и логических систем. Состоит в том, что указываются: а) исходные или элементарные объекты системы; б) правила или операции, позволяющие из имеющихся объектов образовывать новые объекты системы. Т. обр. определяют натуральное число (в арифметике), правильно построенную, а также доказуемую формулы (в логических исчислениях) и др. И. о. должно быть полно, т. е. его средствами должны определяться все объекты данной системы, и только они.

ref.by 2006—2019
contextus@mail.ru