Krotka - Google

Krotka

Z Wikipedii

Skocz do: nawigacji, szukaj

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:

(a_1, a_2) = \left\{ \{a_1\}, \{a_1, a_2\}\right\},
  • dla n > 2 definiujemy:
(a_1, a_2, \dots ,a_n) = \left(a_1, (a_2, \dots, a_n)\right).

[edytuj] Krotki w informatyce

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.

[edytuj] Zobacz też


Zalążek artykułu To jest tylko zalążek artykułu związanego z matematyką. Jeśli potrafisz, rozbuduj go.

Skatowane przez rodziców niemowlę zmarło
Zmarł skatowany przez rodziców sześciomiesięczny chłopiec. Dziecko kilka dni temu trafiło do szczecińskeigo szpitala - poinformowała telewizja TVN24.
"Mam nadzieję, że TVP nie ma złych zamiarów"
Marszałek Sejmu Bronisław Komorowski, odnosząc się do braku transmisji z obrad komisji śledczej badającej okoliczności śmierci Barbary Blidy, wyraził nadzieję, że TVP nie idzie na wojnę z Sejmem.
Dorn: Ziobro dał się wprowadzić w błąd
- Pan Ziorbo działał pod wpływem argumentacji pana Kaczmarka. Działał z pełną wiarą i dobrą wolą. Dał się wprowadzić w błąd - powiedział w RMF FM Ludwik Dorn - polityk Prawa i Sprawiedliwości.
Tropik w Polsce - wakacje burzowe i gorące
"Fakt": Wygląda na to, że w pierwszym miesiącu wakacji pogoda będzie jak w Afryce w czasie pory deszczowej. Temperatura ma być stosunkowo wysoka, ale towarzyszyć jej będą deszcze i gwałtowne burze - informuje dziennik.
Dziewięć osób rannych w wypadku busa
Dziewięć osób zostało rannych w wypadku busa, do którego doszło w nocy na drodze krajowej nr 1 (Łódź-Gdańsk) koło Łęczycy (Łódzkie) - poinformowały straż pożarna i policja.
Linki: Strona gwna