Занимательная логика в математике

Страницы: <<  <  7 | 8 | 9

онечные множества (например, множество месяцев в году). Бесконечные множества можно задать только описанием свойств его элементов (например, множество рациональных чисел можно задать описанием Qn/m, m, nZ, m!0.
Способы задания множества описанием:
а) заданием порождающей процедуры с указанием множества (множеств), которое пробегает параметр (параметры) этой процедуры -- рекурсивный, индуктивный.
Xx: x11, x21, xk2xkxk1, k1,2,3,. . . -- мн-во чисел Фибониччи.
мн-во элементов х, таких, что х11,х21 и произвольное хk1 (при к1,2,3,. . . ) вычисляется по формуле хk2хkхk1 или Хx: x11, x21, x32, x43, x55, x68, . . .
б) заданием вычислительной процедуры формульной зависимости:
X x: x2sin(y)1, y0, p/2 1, 3
X x: x2-10 1,-1
в) заданием характеристического свойства (высказывания), выделяющего элементы данного множества из элементов других множеств -- предикатный.
Аx: x -- четное число; Mx: p(x) -- множество х, обладающих свойством p
Nn: nZ, n0, Z-. . . , -2, -1, 0, 1, 2, . . . -- множество целых чисел
Km: mn2, nN -- множество всех квадратов натуральных чисел, N1, 2, 3, . . .
Xx: 0

Страницы: <<  <  7 | 8 | 9
Рейтинг
Оцени!
Поделись конспектом: