Krotka
Z Wikipedii
Krotka (także n-tka albo k-tka; ang. tuple) – uporządkowany skończony zbiór elementów. Intuicyjnie: uporządkowana lista dowolnych obiektów.
Krotka jest uogólnieniem pojęć uporządkowanych: pary (dwójki), trójki, czwórki, itd. na dowolną (skończoną) liczbę elementów,
Każdej krotce odpowiada ciąg skończony. Pojęcia te nie są jednak identyczne, gdyż ciąg ma inną formalną definicję, opartą na pojęciu funkcji.
[edytuj] Definicja formalna
Krotkę n-elementową można zdefiniować rekurencyjnie:
- dla n = 2 stosujemy definicję pary uporządkowanej (sformułowaną przez Kazimierza Kuratowskiego):
,
- dla n > 2 definiujemy:
.
[edytuj] Krotki w językach programowania
Krotki występują jako typy w wielu językach, m.in. językach rodziny ML, Pythonie i Cyclone, są też ważnym pojęciem systemów baz danych (relacyjny rachunek krotek – RRK), gdzie stanowią specjalistyczne oznaczenie rzędu przy konstrukcji baz danych.
