при чтении книги по теории схем программ возникают вопросы

[arseniiv]

Да чего там определять. Кортеж [из $n$ элементов; $n$-элементный] / $n$-ка / конечная последовательность [из $n$ элементов; $n$-элементная] / etc. — это такая штука, две $(a_1,\ldots,a_n)$, $(b_1,\ldots,b_n)$ из которых равны тогда и только тогда, когда каждые соответствующие их компоненты равны попарно: $a_1=b_1\land\ldots\land a_n=b_n$. Это самый основной смысл, откуда всё остальное уже следует.

[IHmG]

arseniiv в сообщении #1028585 писал(а):

Да чего там определять. Кортеж [из $n$ элементов; $n$-элементный] / $n$-ка / конечная последовательность [из $n$ элементов; $n$-элементная] / etc. — это такая штука, две $(a_1,\ldots,a_n)$, $(b_1,\ldots,b_n)$ из которых равны тогда и только тогда, когда каждые соответствующие их компоненты равны попарно: $a_1=b_1\land\ldots\land a_n=b_n$. Это самый основной смысл, откуда всё остальное уже следует.

спасибо. в кортеже обязательно должно быть свойство равенства элементов его пар? или сам кортеж это просто такая вот пара, где каждый элемент пары состоит из n-элементов?

[ИСН]

Нет никаких пар. Это два кортежа. Смотрите на один, выкиньте другой.

[whitefox]

IHmG в сообщении #1028444 писал(а):

А где можно посмотреть точное определение слова 'кортеж'?

Для начала достаточно посмотреть в русской Википедии. Затем уточнить в английской, там есть ссылки на литературу. Вот ещё кортеж.