Кортеж
- Кортеж — упорядоченная последовательность элементов, обычно представляемая как список.
- Кортежи могут быть определены как функции с определенным доменом и кодоменом.
- В теории множеств кортежи могут быть представлены как вложенные упорядоченные пары или вложенные множества.
- В дискретной математике кортежи возникают в контексте задач подсчета и рассматриваются как упорядоченные списки.
- В теории типов кортежи имеют тип продукта, определяющий длину и базовые типы каждого компонента.
- Понятие кортежа в теории множеств и теории типов связано через естественную модель теории типов.
Полный текст статьи: