н и я. Обе эти операции носят название
логико-м ат ем ат и
ческого а н а л и з а определения.
В ш ко л ьн о м курсе встречаю тся
к о н с т р у к т и в н ы е и
рекурсивные (генетические) определения, которые раскры
ваю тся путем показа операций его конструирования, т.е.
его видовые отли чи я заданы в виде действий.
К онструктивны е действия могут задаваться различно.
В рекурсивны х определениях указы ваю тся базисные объ
екты некоторого класса и правила, позволяю щ ие получить
новые объекты этого ж е класса, наприм ер, определения
ариф м етической и геометрической прогрессий.
Определение: “А рифметической прогрессией н азы вает
ся последовательность, в которой к аж д ы й член, начи н ая
со второго, равен предыдущ ему, сложенному с одним и тем
ж е членом ” .
Л о ги ч е с к и й а н а л и з определения'. Термин — ари ф м е
ти ческая прогрессия. Род — последовательность. Видовые
отличия:
а г — дан,
а2 = а г + с? (в общем виде
ап) — дан;
Достарыңызбен бөлісу: