Информация об изменениях

Сообщение Re[2]: Что такое "массивы"? от 27.05.2022 3:06

Изменено 27.05.2022 3:12 Эйнсток Файр

Re[2]: Что такое "массивы"?
N> Теория множеств даёт аксиоматику, а дальше уже идёт алгебра, остроенная на этой аксиоматике. Зачем тащить теорию множеств выше?

Зачем нужна алгебра при определении понятия массива?

1) определяем понятие множества

2) определяем понятие "упорядоченной пары"
Если задана пара { a , b }, то
множество { { a } , { a , b } } называется упорядоченной парой и обозначается ( a , b ).
При этом элемент a называется первым элементом, а элемент b — вторым элементом пары

3) даём определении функции

Фу́нкция в математике — соответствие между элементами двух множеств —
правило, по которому каждому элементу первого соответствует один и только один элемент второго множества.

Функцию на конечном множестве можно задать
таблицей значений — непосредственным указанием её значений для каждого из элементов области определения.

4) область определения пытаемся описать как конечную последовательность смежных натуральных чисел:
Ряд из натуральных чисел — числовой ряд, члены которого являются последовательными натуральными числами: 1 + 2 + 3 + 4 + …

уверен, что такая простая фигня в матлогике как-нибудь через множества описывается, лень искать

5) и вот дальше у меня затык:
что такое "таблица значений" ?
Re[2]: Что такое "массивы"?
N> Теория множеств даёт аксиоматику, а дальше уже идёт алгебра, остроенная на этой аксиоматике. Зачем тащить теорию множеств выше?

Зачем нужна алгебра при определении понятия массива?

1) определяем понятие множества

2) определяем понятие "упорядоченной пары"
Если задана пара { a , b }, то
множество { { a } , { a , b } } называется упорядоченной парой и обозначается ( a , b ).
При этом элемент a называется первым элементом, а элемент b — вторым элементом пары

3) даём определении функции

Фу́нкция в математике — соответствие между элементами двух множеств —
правило, по которому каждому элементу первого соответствует один и только один элемент второго множества.

Функцию на конечном множестве можно задать
таблицей значений — непосредственным указанием её значений для каждого из элементов области определения.

4) область определения пытаемся описать как конечную последовательность смежных натуральных чисел:
Ряд из натуральных чисел — числовой ряд, члены которого являются последовательными натуральными числами: 1, 2, 3, 4, …

уверен, что такая простая фигня в матлогике как-нибудь через множества описывается, лень искать

5) и вот дальше у меня затык:
что такое "таблица значений" ?