Nr 01 · Słownik · 1201 pojęć

Słownik terminologii IT.

Ponad 1201 pojęć z informatyki — od algorytmów i sieci po AI/ML i chmurę. Każde hasło ma prostą definicję, kategorię i źródło. Bez żargonu, po ludzku.

1201 haseł · 8 kategorii · 11 poddziedzin · 71 grup · 4 poziomy

HasłoDefinicjaDziedzina
A
ABACAttribute-Based Access ControlModel decydujący o dostępie na podstawie atrybutów podmiotu, zasobu, akcji i środowiska, ocenianych przez reguły polityki.Bezpieczeństwo
abstrakcjaWyodrębnienie istotnych cech bytu z pominięciem szczegółów nieistotnych z danego punktu widzenia, dające uproszczony model.Inżynieria oprogramowania
abstrakcyjny typ danychADT → abstrakcyjny typ danychModel danych zdefiniowany przez zbiór wartości i operacje na nich, niezależny od konkretnej implementacji.Teoria informatyki
ACIDod Atomicity, Consistency, Isolation, DurabilityZestaw gwarancji transakcji: atomowość, spójność, izolacja, trwałość, zapewniający niezawodne przetwarzanie wobec awarii i współbieżności.Dane i bazy danych
ACLAccess Control ListPrzypisany do obiektu wykaz podmiotów i dozwolonych im na nim operacji; odpowiada kolumnie macierzy dostępu.Bezpieczeństwo
Adamadaptive moment estimationAlgorytm optymalizacji adaptujący tempo uczenia dla każdego parametru na podstawie estymat pierwszego i drugiego momentu gradientu.AI / Machine Learning
adapterWzorzec strukturalny przekształcający interfejs klasy na inny interfejs oczekiwany przez klienta, umożliwiając współpracę niezgodnych klas.Inżynieria oprogramowania
adres IPIP = Internet ProtocolLogiczny identyfikator interfejsu sieciowego w warstwie sieci, używany do adresowania i routingu pakietów między hostami.Sieci
adres MACMAC, adres fizycznySprzętowy identyfikator interfejsu sieciowego (Media Access Control), zwykle 48-bitowy, używany do adresowania ramek w obrębie segmentu warstwy łącza.Sieci
adresowanie otwarteopen addressingMetoda rozwiązywania kolizji, w której wszystkie elementy są przechowywane w samej tablicy, a przy zajętości pozycji szuka się kolejnych wg sekwencji prób.Teoria informatyki
agregacja trassumaryzacja trasŁączenie wielu szczegółowych prefiksów w jeden szerszy wpis routingu, redukujące rozmiar tablic routingu w sieciach rozległych.Sieci
agregataggregateZbiór powiązanych danych traktowany jako jedna jednostka dostępu i spójności, stanowiący granicę operacji atomowych w bazach nierelacyjnych.Dane i bazy danych
akceleracja sprzętowaWykonywanie obliczeń modelu na wyspecjalizowanych układach (GPU, TPU, NPU) zamiast CPU, dla większej wydajności.AI / Machine Learning
aktor-krytykArchitektura łącząca parametryczną politykę (aktora) uczoną gradientowo z estymatorem wartości (krytykiem) redukującym wariancję aktualizacji.AI / Machine Learning
aktywne oczekiwaniebusy waiting → aktywne oczekiwanieSposób synchronizacji, w którym zadanie nieprzerwanie sprawdza warunek w pętli, zajmując procesor zamiast się zawiesić.Systemy i architektura
alertowanieAutomatyczne wykrywanie warunków przekroczenia progów w telemetrii i powiadamianie odpowiedzialnych osób o potencjalnej awarii usługi.Chmura i DevOps
algebra relacyjnaFormalny język proceduralny operujący na relacjach za pomocą zbioru operatorów, których wynikiem zawsze jest relacja; podstawa optymalizacji zapytań.Dane i bazy danych
algorytm aproksymacyjnyAlgorytm dla problemu optymalizacyjnego zwracający rozwiązanie z gwarantowanym ograniczeniem odchylenia od optimum.Teoria informatyki
algorytm DijkstryZachłanny algorytm wyznaczający najkrótsze ścieżki z jednego źródła w grafie o nieujemnych wagach krawędzi.Teoria informatyki
algorytm EMEM → expectation-maximizationIteracyjna metoda estymacji parametrów modeli z ukrytymi zmiennymi przez naprzemienne kroki oczekiwania i maksymalizacji.AI / Machine Learning
algorytm inkrementalnyAlgorytm budujący rozwiązanie przez dodawanie elementów wejścia po jednym i aktualizację bieżącego rozwiązania.Teoria informatyki
algorytm Las VegasAlgorytm zrandomizowany zawsze zwracający poprawny wynik, którego czas działania jest zmienną losową.Teoria informatyki
algorytm mark-and-sweepMetoda odśmiecania w dwóch fazach: oznaczania obiektów osiągalnych od korzeni, a następnie zwalniania pozostałych nieoznaczonych.Teoria informatyki
algorytm Monte CarloAlgorytm zrandomizowany o gwarantowanym czasie działania, którego wynik może być błędny z ograniczonym prawdopodobieństwem.Teoria informatyki
algorytm onlineAlgorytm przetwarzający dane wejściowe w strumieniu i podejmujący nieodwołalne decyzje bez znajomości przyszłych danych.Teoria informatyki
algorytm wymianypolityka eksmisjiReguła wyboru bloku usuwanego z pamięci podręcznej przy potrzebie zwolnienia miejsca dla nowego bloku, np. LRU, FIFO, losowy.Systemy i architektura
algorytm zachłannyStrategia budowy rozwiązania przez wybór w każdym kroku opcji lokalnie najlepszej, bez rewizji wcześniejszych decyzji.Teoria informatyki
algorytm zamiataniaang. sweep lineTechnika geometryczna przetwarzająca obiekty w kolejności przecięcia ich z ruchomą linią lub płaszczyzną zamiatającą.Teoria informatyki
algorytm zastępowania stronReguła wyboru strony usuwanej z pamięci fizycznej przy braku wolnej ramki, np. LRU, FIFO czy zegarowy, minimalizująca liczbę błędów strony.Systemy i architektura
algorytm zrandomizowanyAlgorytm wykorzystujący w trakcie działania losowe wybory, którego wynik lub czas działania zależy od źródła losowości.Teoria informatyki
alokacja dynamicznaPrzydzielanie pamięci w trakcie wykonania programu, na żądanie, o rozmiarze i czasie życia nieznanych w czasie kompilacji.Teoria informatyki
alokacja rejestrówPrzydzielanie zmiennych programu do skończonej liczby rejestrów procesora, często modelowane jako kolorowanie grafu kolizji.Teoria informatyki
analiza asymptotycznaBadanie zachowania kosztu algorytmu dla rozmiaru wejścia dążącego do nieskończoności, z pominięciem stałych i czynników niższego rzędu.Teoria informatyki
analiza głównych składowychPCA → analiza głównych składowychLiniowa transformacja danych na ortogonalne kierunki o malejącej wariancji, używana do redukcji wymiarowości.AI / Machine Learning
analiza leksykalnaskanerPierwsza faza kompilatora dzieląca strumień znaków kodu źródłowego na ciąg tokenów (leksemów) o ustalonych kategoriach.Teoria informatyki
analiza najgorszego przypadkuWyznaczanie maksymalnego kosztu algorytmu po wszystkich wejściach danego rozmiaru.Teoria informatyki
analiza powłamaniowapostmortemUstrukturyzowany przegląd incydentu po jego zażegnaniu w celu ustalenia przyczyn i działań naprawczych, prowadzony bez przypisywania winy.Chmura i DevOps
analiza przepływu danychStatyczne wyznaczanie faktów o wartościach i zmiennych w punktach programu przez propagację informacji po grafie przepływu sterowania.Teoria informatyki
analiza przypadku średniegoWyznaczanie oczekiwanego kosztu algorytmu względem rozkładu prawdopodobieństwa danych wejściowych.Teoria informatyki
analiza semantycznaFaza sprawdzająca znaczeniową poprawność programu (zgodność typów, zasięg, deklaracje) na podstawie drzewa składni i tablicy symboli.Teoria informatyki
analiza składniowaparsingFaza budująca z ciągu tokenów drzewo wyprowadzenia zgodne z gramatyką języka, sprawdzając poprawność strukturalną programu.Teoria informatyki
analiza wydźwiękusentiment analysisOkreślanie nacechowania emocjonalnego lub postawy (pozytywnej, negatywnej, neutralnej) wyrażonej w tekście.AI / Machine Learning
analiza zamortyzowanaMetoda wyznaczania średniego kosztu operacji w ciągu działań na strukturze, gdzie kosztowne operacje są równoważone wieloma tanimi.Teoria informatyki
anomalia aktualizacjiNiepożądana sytuacja przy wstawianiu, usuwaniu lub modyfikacji danych w nieznormalizowanej relacji, prowadząca do niespójności wskutek redundancji.Dane i bazy danych
antywzorzecPowtarzalne rozwiązanie problemu, które wydaje się skuteczne, lecz w praktyce przynosi więcej szkód niż korzyści.Inżynieria oprogramowania
APIApplication Programming InterfaceZdefiniowany zbiór reguł, wywołań i struktur danych, przez który jeden program udostępnia swoje funkcje innym programom bez ujawniania implementacji.Sieci
architektura bezserwerowaserverlessStyl wdrażania logiki jako funkcji wykonywanych na żądanie w infrastrukturze zarządzanej przez dostawcę, bez ręcznego zarządzania serwerami.Inżynieria oprogramowania
architektura cebulowaonion architectureStyl warstw koncentrycznych z modelem domenowym w centrum, gdzie zależności kierują się wyłącznie do wewnątrz, ku rdzeniowi.Inżynieria oprogramowania
architektura czystaclean architectureStyl porządkujący zależności w koncentryczne warstwy tak, by kierowały się do wewnątrz ku regułom biznesowym, niezależnym od frameworków i interfejsu.Inżynieria oprogramowania
architektura heksagonalnaports and adaptersStyl izolujący rdzeń aplikacji od świata zewnętrznego przez porty i adaptery, dzięki czemu logika domenowa nie zależy od technologii wejścia-wyjścia.Inżynieria oprogramowania
architektura klient-serwerStyl rozproszony dzielący role na klientów żądających usług i serwery je świadczące, komunikujące się przez sieć według modelu żądanie-odpowiedź.Inżynieria oprogramowania
architektura koder-dekoderencoder-decoderSchemat sieci, w którym koder mapuje wejście na reprezentację pośrednią, a dekoder generuje z niej wyjście, typowy dla zadań sekwencja-do-sekwencji.AI / Machine Learning
architektura peer-to-peerP2PStyl rozproszony, w którym węzły są równorzędne i pełnią jednocześnie rolę klienta i serwera, dzieląc zasoby bez centralnego koordynatora.Inżynieria oprogramowania
architektura RESTRESTStyl architektoniczny usług sieciowych oparty na bezstanowych operacjach na zasobach identyfikowanych URI i ujednoliconym interfejsie metod.Sieci
architektura sterowana zdarzeniamiEDAStyl, w którym komponenty komunikują się asynchronicznie przez produkcję i konsumpcję zdarzeń, bez bezpośredniej wiedzy o odbiorcach.Inżynieria oprogramowania
architektura tablicowablackboardStyl, w którym niezależne źródła wiedzy współpracują, odczytując i aktualizując wspólny obszar danych (tablicę), koordynowane przez moduł sterujący.Inżynieria oprogramowania
architektura warstwowaStyl, w którym system dzieli się na poziome warstwy o ustalonej odpowiedzialności (np. prezentacja, logika, dane), gdzie warstwa wyższa korzysta tylko z bezpośrednio niższej.Inżynieria oprogramowania
architektura wielowarstwowan-tierStyl klient-serwer rozkładający funkcje na fizycznie odrębne poziomy wdrożeniowe (np. prezentacja, aplikacja, dane), zwykle trójwarstwowy.Inżynieria oprogramowania
argumentKonkretna wartość lub wyrażenie przekazane do podprogramu w momencie wywołania, wiązane z odpowiednim parametrem.Teoria informatyki
artefakt budowyNiezmienny wynik etapu budowania (np. pakiet, obraz), promowany przez kolejne etapy potoku zamiast wielokrotnego odtwarzania ze źródeł.Chmura i DevOps
ASTdrzewo składni abstrakcyjnejDrzewiasta reprezentacja struktury składniowej programu pomijająca szczegóły konkretnej składni, z węzłami odpowiadającymi konstrukcjom języka.Teoria informatyki
atak DoSDenial of Service; wariant rozproszony DDoSAtak odmowy usługi — celowe wyczerpanie zasobów lub przepustowości systemu sieciowego, uniemożliwiające obsługę legalnych żądań (Denial of Service).Sieci
atak kanałem bocznymside-channelWydobywanie tajnych informacji z fizycznych ujawnień implementacji, takich jak czas wykonania, zużycie energii czy emisja elektromagnetyczna.Bezpieczeństwo
atak kolizyjnycollision attackAtak na funkcję skrótu polegający na znalezieniu dwóch różnych wejść dających identyczną wartość skrótu.Bezpieczeństwo
atak man-in-the-middleMITMPrzechwycenie i ewentualna modyfikacja komunikacji między dwiema stronami przez napastnika wstawionego w kanał, podszywającego się pod obie strony.Sieci
atak powtórzeniowyAtak, w którym napastnik przechwytuje poprawne komunikaty i wysyła je ponownie, by oszukać odbiorcę bez znajomości ich treści ani kluczy.Bezpieczeństwo
atak przedłużania długościlength extension attackAtak na funkcje typu Merkle-Damgård pozwalający obliczyć skrót rozszerzonej wiadomości bez znajomości sekretu poprzedzającego dane.Bezpieczeństwo
atak siłowybrute forceSystematyczne sprawdzanie wszystkich możliwych kluczy lub haseł w celu złamania zabezpieczenia.Bezpieczeństwo
atak słownikowyPróba odgadnięcia hasła przez sprawdzanie wpisów z listy prawdopodobnych słów zamiast pełnej przestrzeni kluczy.Bezpieczeństwo
atak typu człowiek pośrodkuMITMPrzechwycenie i ewentualna modyfikacja komunikacji między dwiema stronami, które sądzą, że łączą się bezpośrednio ze sobą.Bezpieczeństwo
atak urodzinowybirthday attackAtak wykorzystujący paradoks dnia urodzin do znalezienia kolizji funkcji skrótu w czasie rzędu pierwiastka z rozmiaru przeciwdziedziny.Bezpieczeństwo
atomowośćWłasność, w której wszystkie operacje transakcji są wykonane w całości albo żadna — brak stanów częściowych po awarii.Dane i bazy danych
atrybutNazwana kolumna relacji powiązana z dziedziną określającą dopuszczalny zbiór wartości, jakie może przyjąć w krotkach.Dane i bazy danych
AUCArea Under the CurvePole pod krzywą ROC; prawdopodobieństwo, że losowy pozytyw otrzyma wyższą ocenę niż losowy negatyw, miara separowalności klas.AI / Machine Learning
augmentacja danychPowiększanie zbioru uczącego przez generowanie zmodyfikowanych wersji istniejących przykładów w celu poprawy uogólniania.AI / Machine Learning
autoenkoderSieć neuronowa uczona odtwarzać własne wejście przez ściśniętą reprezentację ukrytą, służąca do uczenia cech i redukcji wymiaru.AI / Machine Learning
autoenkoder wariacyjny (VAE)VAE; variational autoencoderGeneratywny autoenkoder modelujący ukrytą przestrzeń jako rozkład probabilistyczny, uczony przez maksymalizację dolnej granicy wiarygodności.AI / Machine Learning
autoregresjaGenerowanie sekwencji token po tokenie, gdzie każdy kolejny element jest przewidywany na podstawie wszystkich wcześniej wygenerowanych.AI / Machine Learning
autoryzacja delegowanaModel, w którym właściciel zasobu upoważnia aplikację trzecią do dostępu do swoich danych bez ujawniania jej własnych poświadczeń logowania.Bezpieczeństwo
autoskalowanieautoscalingAutomatyczne dostosowywanie liczby aktywnych instancji obliczeniowych do bieżącego obciążenia na podstawie zdefiniowanych metryk i progów.Chmura i DevOps
awariafailureOdchylenie zachowania komponentu lub systemu od specyfikacji, czyniące go niezdolnym do realizacji zamierzonej funkcji.Systemy i architektura
awaria bizantyjskaNajsłabsze założenie o awariach: komponent może zachowywać się dowolnie, w tym wysyłać sprzeczne informacje różnym odbiorcom.Systemy i architektura
awaria typu fail-stopfail-stopModel awarii, w którym komponent po uszkodzeniu zatrzymuje się i nie wykonuje błędnych akcji, a fakt zatrzymania jest wykrywalny.Systemy i architektura
B
B-drzewoB+-drzewo (B+-tree) — wariant z danymi tylko w liściachZrównoważone drzewo wyszukiwań o wysokim współczynniku rozgałęzienia, w którym wszystkie liście są na tej samej głębokości; bazowa struktura indeksów dyskowych.Dane i bazy danych
barieraPunkt synchronizacji, w którym wątki czekają, aż wszystkie uczestniczące osiągną barierę, po czym wszystkie kontynuują wykonanie.Systemy i architektura
bariera pamięcimemory barrier → bariera pamięciInstrukcja wymuszająca uporządkowanie operacji odczytu i zapisu pamięci względem siebie, mimo zmian kolejności przez procesor.Systemy i architektura
bariera synchronizacjiPunkt koordynacji, w którym zadania zatrzymują się, aż wszystkie do niego dotrą, po czym wznawiają działanie razem.Systemy i architektura
BASEBasically Available, Soft state, Eventual consistencyZestaw własności systemów nierelacyjnych: dostępność podstawowa, stan miękki, spójność ostateczna — przeciwstawny rygorom ACID.Dane i bazy danych
baza dokumentowaModel danych przechowujący samoopisujące się dokumenty o strukturze zagnieżdżonej (JSON/BSON/XML), z których każdy jest niezależną jednostką dostępu.Dane i bazy danych
baza grafowaModel danych reprezentujący byty jako węzły i relacje jako krawędzie z właściwościami, wspierający wydajne przechodzenie połączeń.Dane i bazy danych
baza klucz-wartośćkey-value storeModel danych przechowujący wartości adresowane wyłącznie unikalnym kluczem, bez interpretowania wewnętrznej struktury wartości przez system.Dane i bazy danych
baza kolumnowa szerokawide-column storeModel przechowujący dane w wierszach o zmiennej liczbie kolumn pogrupowanych w rodziny kolumn, zoptymalizowany pod rozproszony zapis i odczyt zakresowy.Dane i bazy danych
bezpieczeństwo pamięciWłasność programu gwarantująca brak dostępów poza przydzielony obszar, użycia po zwolnieniu i wiszących wskaźników.Teoria informatyki
bezpieczeństwo typówWłasność, w której poprawnie otypowany program nie może wywołać błędów polegających na zastosowaniu operacji do wartości niewłaściwego typu.Teoria informatyki
bezpiecznikcircuit breakerWzorzec stabilności przerywający wywołania do niedostępnej usługi po przekroczeniu progu błędów, by zapobiec propagacji awarii.Systemy i architektura
bezstanowośćWłaściwość interakcji, w której każde żądanie zawiera komplet informacji potrzebnych do obsługi, a serwer nie przechowuje kontekstu między żądaniami.Sieci
BFTByzantine fault toleranceBizantyjska tolerancja błędów — zdolność systemu do poprawnego działania mimo dowolnego, w tym złośliwego, zachowania części węzłów.Systemy i architektura
BLEUBilingual Evaluation UnderstudyAutomatyczna miara jakości tłumaczenia oparta na zgodności n-gramów wyjścia z tekstami referencyjnymi, z karą za zbyt krótkie wyjście.AI / Machine Learning
blokGrupa instrukcji i deklaracji traktowana jako jednostka składniowa, zwykle wyznaczająca zakres widoczności nazw w niej zadeklarowanych.Teoria informatyki
blok kontrolny procesuPCB — Process Control BlockStruktura danych jądra przechowująca stan procesu: identyfikator, licznik rozkazów, rejestry, informacje o pamięci, plikach i szeregowaniu.Systemy i architektura
blok podstawowyMaksymalny ciąg kolejnych instrukcji, do którego sterowanie wchodzi tylko na początku i opuszcza tylko na końcu, bez rozgałęzień wewnątrz.Teoria informatyki
blokadalockZnacznik dostępu zakładany przez transakcję na zasobie danych, regulujący prawo odczytu lub zapisu i blokujący kolidujące operacje innych transakcji.Dane i bazy danych
blokowanie dwufazowe2PL, two-phase lockingProtokół sterowania współbieżnością, w którym transakcja najpierw tylko zakłada blokady, a po pierwszym zwolnieniu już żadnej nie zakłada, gwarantując szeregowalność.Dane i bazy danych
błąd (stan)errorCzęść stanu systemu odbiegająca od poprawnego, mogąca prowadzić do awarii; jest aktywacją usterki.Systemy i architektura
błąd generalizacjibłąd testowyOczekiwana wartość funkcji straty modelu na nowych danych z rozkładu generującego; oczekiwany błąd poza zbiorem treningowym.AI / Machine Learning
błąd różnicy czasowejRóżnica między przewidywaną a wzmocnioną wartością stanu, używana jako sygnał uczący w metodach TD i aktor-krytyk.AI / Machine Learning
błąd stronypage faultWyjątek zgłaszany, gdy proces odwołuje się do strony nieobecnej w pamięci fizycznej, powodujący sprowadzenie jej z pamięci pomocniczej.Systemy i architektura
błąd średniokwadratowyMSE (mean squared error)Średnia z kwadratów różnic między wartościami przewidzianymi a obserwowanymi; standardowa miara błędu w regresji.AI / Machine Learning
boosting gradientowyTechnika zespołowa budująca model jako sekwencję słabych uczniów, gdzie każdy kolejny koryguje błędy poprzednich przez dopasowanie do gradientu funkcji straty.AI / Machine Learning
botnetSieć skompromitowanych hostów zdalnie sterowanych przez atakującego, wykorzystywana do skoordynowanych działań, np. ataków DDoS lub spamu.Bezpieczeństwo
BPPbounded-error probabilistic polynomialKlasa problemów rozstrzygalnych przez probabilistyczną maszynę Turinga w czasie wielomianowym z dwustronnym błędem ograniczonym poniżej 1/3.Teoria informatyki
brama domyślnaRouter, do którego host kieruje pakiety adresowane poza jego lokalną podsieć, gdy brak bardziej szczegółowej trasy.Sieci
bramka jakościang. quality gateZdefiniowany próg kryteriów (np. pokrycie testów, brak podatności), który musi zostać spełniony, by zmiana mogła przejść do kolejnego etapu potoku.Chmura i DevOps
broker komunikatówmessage brokerPośrednik rozdzielający nadawców od odbiorców, przyjmujący, buforujący i kierujący komunikaty według reguł, umożliwiając komunikację asynchroniczną i luźne powiązanie.Systemy i architektura
budowniczyBuilderWzorzec oddzielający konstrukcję złożonego obiektu od jego reprezentacji, tak by ten sam proces budowy dawał różne wyniki.Inżynieria oprogramowania
budżet błęduerror budgetDopuszczalna ilość niezawodności utraconej w okresie, wyznaczona jako dopełnienie celu SLO; wyczerpanie wstrzymuje wdrażanie zmian.Chmura i DevOps
bufor cyklicznybufor pierścieniowy → bufor cyklicznyBufor o stałym rozmiarze traktowany jako pierścień, w którym po osiągnięciu końca zapis wraca na początek; realizuje kolejkę FIFO na tablicy.Teoria informatyki
bufor podręczny stronypage cache → bufor podręczny stronyPamięć podręczna w RAM przechowująca strony plików odczytanych lub zapisanych na nośniku, ograniczająca liczbę operacji wejścia-wyjścia.Systemy i architektura
bufor stronicmenedżer buforów (buffer pool)Obszar pamięci operacyjnej buforujący strony danych z dysku, zarządzany polityką wymiany w celu minimalizacji operacji wejścia-wyjścia.Dane i bazy danych
C
CCSCalculus of Communicating SystemsAlgebra procesów opisująca współbieżność przez operatory kompozycji równoległej i synchronizacji akcji między komunikującymi się procesami.Systemy i architektura
cechaPojedyncza mierzalna własność obserwacji wykorzystywana jako zmienna wejściowa modelu uczącego.AI / Machine Learning
centroidPunkt reprezentujący środek grupy, zwykle średnia wektorów należących do tej grupy.AI / Machine Learning
certyfikat cyfrowycertyfikat X.509Podpisany przez urząd certyfikacji dokument wiążący klucz publiczny z tożsamością podmiotu, umożliwiający weryfikację autentyczności w sieci.Sieci
certyfikat głównyroot certificateSamopodpisany certyfikat urzędu certyfikacji najwyższego poziomu, stanowiący kotwicę zaufania w łańcuchu certyfikatów.Bezpieczeństwo
certyfikat klucza publicznegoPodpisany cyfrowo dokument wiążący klucz publiczny z tożsamością podmiotu, poświadczony przez zaufany urząd certyfikacji.Bezpieczeństwo
chmura hybrydowaModel wdrożenia łączący dwie lub więcej odrębnych infrastruktur chmurowych powiązanych technologią umożliwiającą przenoszenie danych i aplikacji.Chmura i DevOps
chmura prywatnaModel wdrożenia, w którym infrastruktura jest przeznaczona do wyłącznego użytku jednej organizacji, niezależnie od miejsca jej fizycznego umieszczenia.Chmura i DevOps
chmura publicznaModel wdrożenia, w którym infrastruktura jest udostępniana otwarcie ogółowi odbiorców i należy do organizacji świadczącej usługi chmurowe.Chmura i DevOps
chmura społecznościowachmura wspólnotowa (community cloud)Model wdrożenia, w którym infrastrukturę współdzieli grupa organizacji o wspólnych wymaganiach, np. dotyczących bezpieczeństwa czy zgodności.Chmura i DevOps
chybienie cachemissSytuacja, w której żądanych danych nie ma w pamięci podręcznej, co wymusza pobranie ich z niższego, wolniejszego poziomu hierarchii.Systemy i architektura
ciągła integracjaCI; ang. continuous integrationPraktyka częstego scalania zmian kodu do wspólnej gałęzi, gdzie każde scalenie automatycznie uruchamia budowanie i testy w celu wczesnego wykrycia konfliktów i błędów.Chmura i DevOps
ciągłe dostarczanieCD; ang. continuous deliveryPraktyka utrzymywania oprogramowania w stanie gotowym do wdrożenia w dowolnej chwili poprzez automatyzację budowania, testowania i przygotowania wydania.Chmura i DevOps
ciągłe wdrażanieang. continuous deploymentRozszerzenie dostarczania, w którym każda pomyślnie zweryfikowana zmiana jest automatycznie i bez ingerencji człowieka wdrażana na środowisko produkcyjne.Chmura i DevOps
CIDRCIDR = Classless Inter-Domain RoutingBezklasowa metoda agregacji i przydziału adresów oparta na prefiksach o dowolnej długości, zastępująca podział na klasy adresowe.Sieci
CISCComplex Instruction Set ComputerArchitektura o złożonej liście rozkazów: instrukcje wieloetapowe o zmiennej długości, często realizujące dostęp do pamięci i obliczenia łącznie.Systemy i architektura
coNPKlasa problemów, których dopełnienia należą do NP; obejmuje problemy z wielomianowo weryfikowalnym świadectwem odpowiedzi negatywnej.Teoria informatyki
cookieNiewielki blok danych odsyłany przez klienta przy kolejnych żądaniach, służący do utrzymania stanu i identyfikacji sesji w protokole bezstanowym.Sieci
CRCCyclic Redundancy Check, kontrola cyklicznaMetoda wykrywania błędów transmisji oparta na dzieleniu wielomianowym danych; reszta dołączana do ramki pozwala odbiorcy wykryć przekłamania bitów.Sieci
CRDTconflict-free replicated data typeReplikowany typ danych zaprojektowany tak, by współbieżne aktualizacje łączyły się bez konfliktów, gwarantując zbieżność replik.Systemy i architektura
CSMA/CACarrier Sense Multiple Access with Collision AvoidanceMetoda dostępu do medium z nasłuchem nośnej i unikaniem kolizji przez losowe odczekiwanie i potwierdzenia; stosowana tam, gdzie kolizji nie da się wykryć, np. w sieciach radiowych.Sieci
CSMA/CDCarrier Sense Multiple Access with Collision DetectionMetoda dostępu do współdzielonego medium z nasłuchem nośnej i wykrywaniem kolizji; nadawca przerywa transmisję po wykryciu jednoczesnego nadawania innej stacji.Sieci
CSPCommunicating Sequential ProcessesFormalny model współbieżności oparty na synchronicznej komunikacji procesów przez kanały, z operatorami wyboru, kompozycji równoległej i sekwencji.Systemy i architektura
CSRFcross-site request forgeryCross-site request forgery; zmuszenie uwierzytelnionej przeglądarki ofiary do wysłania niezamierzonego żądania do aplikacji, w której ofiara jest zalogowana.Bezpieczeństwo
cyklZamknięta marszruta o co najmniej trzech wierzchołkach, w której wierzchołek początkowy pokrywa się z końcowym, a pozostałe się nie powtarzają.Teoria informatyki
cykl EuleraZamknięta marszruta przechodząca przez każdą krawędź grafu dokładnie raz; istnieje wtedy, gdy graf jest spójny i wszystkie stopnie są parzyste.Teoria informatyki
czas naprawyMTTRŚredni czas od wykrycia awarii do przywrócenia poprawnego działania usługi (Mean Time To Recovery/Repair).Chmura i DevOps
czas wirtualnyGlobalny system odniesienia czasowego oparty na przyczynowości zamiast czasu fizycznego, służący do rozumowania o stanach globalnych i porządkowaniu zdarzeń.Systemy i architektura
czas wykryciaMTTDŚredni czas od wystąpienia awarii do jej wykrycia przez system monitorowania lub operatorów (Mean Time To Detect).Chmura i DevOps
czas życialifetimeZakres wykonania programu, w którym referencja lub zasób pozostaje ważny; w systemach typów weryfikowany statycznie dla bezpieczeństwa pamięci.Teoria informatyki
czas życia pakietuTTL = Time To LivePole nagłówka ograniczające liczbę przeskoków pakietu; po wyzerowaniu pakiet jest odrzucany, co zapobiega pętlom.Sieci
czułośćrecall / sensitivityUdział poprawnie wykrytych przypadków pozytywnych wśród wszystkich rzeczywistych pozytywów; mierzy zdolność wykrywania klasy docelowej.AI / Machine Learning
czwarta postać normalna4NFPostać normalna eliminująca nietrywialne zależności wielowartościowe, których lewa strona nie jest nadkluczem relacji.Dane i bazy danych
czynnik blokowaniaLiczba rekordów mieszczących się w pojedynczym bloku przechowywania, determinująca koszt dostępu wyrażony liczbą operacji wejścia-wyjścia.Dane i bazy danych
czynnik uwierzytelnianiaKategoria dowodu tożsamości: coś, co użytkownik wie, coś, co posiada, lub czym jest (cecha biometryczna).Bezpieczeństwo
czytaj-swoje-zapisyread-your-writesGwarancja sesyjna: proces po wykonaniu zapisu zawsze widzi w kolejnych odczytach efekt tego zapisu lub nowszy.Systemy i architektura
D
DACDiscretionary Access Control; zob. MACModel, w którym właściciel zasobu wedle własnego uznania decyduje o nadawaniu i odbieraniu innym podmiotom praw do tego zasobu.Bezpieczeństwo
DAGdirected acyclic graphSkierowany graf acykliczny (directed acyclic graph) — digraf bez cykli skierowanych; dopuszcza sortowanie topologiczne wierzchołków.Teoria informatyki
data martWydzielony podzbiór hurtowni danych ukierunkowany na jeden obszar tematyczny lub dział, ułatwiający dostęp i analizę.Dane i bazy danych
datagramSamodzielna jednostka danych przesyłana bez wcześniejszego ustanowienia połączenia i bez gwarancji dostarczenia ani kolejności.Sieci
DDoSdistributed DoSRozproszona odmowa usługi; skoordynowany atak z wielu zainfekowanych hostów (botnetu) zalewający cel ruchem w celu wyczerpania jego zasobów.Bezpieczeństwo
degradacja kontrolowanagraceful degradationCelowe ograniczanie funkcjonalności lub jakości usługi pod obciążeniem albo przy częściowej awarii, by zachować dostępność funkcji krytycznych.Chmura i DevOps
deklaracjaKonstrukcja wprowadzająca nazwę i jej atrybuty, np. typ, bez konieczności podawania jej pełnej definicji czy wartości.Teoria informatyki
dekodowanie spekulatywnespeculative decodingPrzyspieszanie generacji przez model pomocniczy proponujący kilka tokenów naraz, które główny model weryfikuje jednym przebiegiem.AI / Machine Learning
dekompozycja bezstratnaWłasność rozkładu schematu relacji na rzuty, dla którego naturalne złączenie tych rzutów odtwarza dokładnie relację wyjściową, bez fałszywych krotek.Dane i bazy danych
dekompozycja według wartości osobliwychSVD → dekompozycja według wartości osobliwychRozkład macierzy na iloczyn macierzy ortogonalnych i diagonalnej macierzy wartości osobliwych; podstawa wielu metod redukcji.AI / Machine Learning
dekoratorWzorzec dynamicznie dołączający obiektowi nowe odpowiedzialności przez opakowanie go obiektem o tym samym interfejsie.Inżynieria oprogramowania
demondaemonProces działający w tle bez interaktywnego sterowania użytkownika, zwykle uruchamiany przy starcie systemu do obsługi usług.Systemy i architektura
demultipleksowanieKierowanie odebranych segmentów do właściwego gniazda procesu odbiorczego na podstawie pól nagłówka, m.in. numeru portu.Sieci
dendrogramDrzewiasta reprezentacja wyniku grupowania hierarchicznego pokazująca kolejność i poziom łączenia grup.AI / Machine Learning
denormalizacjaCelowe wprowadzenie redundancji danych przez zagnieżdżanie lub duplikowanie, by ograniczyć kosztowne złączenia i przyspieszyć odczyt.Dane i bazy danych
deskryptor plikufd → deskryptor plikuNieujemna liczba całkowita zwracana przez system operacyjny, identyfikująca otwarty plik lub strumień w obrębie procesu.Systemy i architektura
destylacja wiedzyTrening mniejszego modelu (ucznia), by naśladował wyjścia większego modelu (nauczyciela), przenosząc jego wiedzę przy mniejszym koszcie.AI / Machine Learning
detekcja anomaliiMetoda wykrywania zagrożeń przez identyfikację odchyleń od ustalonego profilu normalnego zachowania systemu lub sieci.Bezpieczeństwo
detekcja sygnaturowaWykrywanie zagrożeń przez dopasowanie obserwowanej aktywności do wzorców znanych ataków zapisanych jako sygnatury.Bezpieczeństwo
detektor awariifailure detectorKomponent dostarczający procesom podejrzeń o awarii innych procesów, charakteryzowany własnościami kompletności i dokładności.Systemy i architektura
dług technicznySkumulowany koszt przyszłych poprawek wynikający z wyboru łatwiejszego, gorszego rozwiązania zamiast lepszego, lecz pracochłonniejszego.Inżynieria oprogramowania
DMZstrefa zdemilitaryzowanaWydzielona strefa sieci o ograniczonym zaufaniu, umieszczona między siecią wewnętrzną a publiczną, hostująca usługi dostępne z zewnątrz.Bezpieczeństwo
dolna granica sortowania porównawczegoDowodzony przez drzewo decyzyjne minimalny pesymistyczny koszt Ω(n log n) dla algorytmów sortujących wyłącznie przez porównania kluczy.Teoria informatyki
dolne ograniczenieMinimalny koszt, jakiego wymaga każdy algorytm rozwiązujący dany problem, niezależny od konkretnej implementacji.Teoria informatyki
domena kolizyjnaFragment sieci, w którym ramki nadane jednocześnie przez różne stacje mogą się nałożyć i zniszczyć; ograniczana przez przełączniki i mosty.Sieci
domena ochronyang. protection domainZbiór par obiekt–prawa określający środowisko wykonawcze, w którym proces może operować; jednostka izolacji uprawnień.Bezpieczeństwo
domena rozgłoszeniowaZbiór urządzeń, do których dociera ramka rozgłoszeniowa wysłana przez dowolne z nich; rozdzielana przez routery i sieci VLAN.Sieci
domknięcieFunkcja wraz z zachowanym środowiskiem powiązań wolnych zmiennych z miejsca jej definicji, dzięki czemu zachowuje dostęp do nich poza nim.Teoria informatyki
dopasowanie wzorcaMechanizm sprawdzania struktury wartości względem wzorców i wiązania jej składowych z nazwami, typowy dla języków funkcyjnych.Teoria informatyki
dopełnieniepaddingUzupełnianie wiadomości dodatkowymi bitami do pełnej wielokrotności długości bloku przed zaszyfrowaniem szyfrem blokowym.Bezpieczeństwo
DoSDenial of ServiceAtak odmowy usługi (Denial of Service) polegający na wyczerpaniu zasobów systemu, by uniemożliwić obsługę uprawnionych użytkowników.Bezpieczeństwo
dostępnośćavailabilityOdsetek czasu, w którym system jest sprawny i gotowy do poprawnej obsługi żądań, zwykle wyrażany w procentach (np. liczbą dziewiątek).Chmura i DevOps
dostrajaniefine-tuningDalsze trenowanie wstępnie wytrenowanego modelu na węższych danych w celu adaptacji do konkretnego zadania lub domeny.AI / Machine Learning
dowiązanie symbolicznesymlink → dowiązanie symboliczneSpecjalny plik zawierający ścieżkę do innego pliku, rozwiązywaną przy dostępie; może wskazywać obiekty na innych systemach plików i nieistniejące.Systemy i architektura
dowiązanie twardeWpis katalogowy odwzorowujący nazwę na ten sam i-węzeł co inny wpis, tak że plik istnieje dopóki liczba dowiązań jest większa od zera.Systemy i architektura
dowód formalnySkończony ciąg formuł, w którym każda jest aksjomatem lub wynika z wcześniejszych przez reguły wnioskowania, kończący się tezą.Teoria informatyki
dowód z wiedzą zerowąZKPProtokół, w którym dowodzący przekonuje weryfikatora o prawdziwości twierdzenia, nie ujawniając żadnej informacji poza samym faktem jego prawdziwości.Bezpieczeństwo
dropoutMetoda regularyzacji sieci neuronowych polegająca na losowym wyłączaniu części neuronów podczas treningu, co zapobiega ich współzależności.AI / Machine Learning
druga postać normalna2NFPostać normalna spełniona, gdy relacja jest w 1NF i każdy atrybut niekluczowy jest w pełni funkcyjnie zależny od całego klucza głównego.Dane i bazy danych
DRYDon't Repeat YourselfKażdy element wiedzy w systemie powinien mieć jedną, jednoznaczną i autorytatywną reprezentację, bez powielania logiki.Inżynieria oprogramowania
dryf modelumodel driftDegradacja jakości predykcji wdrożonego modelu w czasie wskutek zmiany rozkładu danych wejściowych względem treningowych.AI / Machine Learning
dryf zegaraclock driftStopniowe odchylanie się wskazań zegara fizycznego od czasu odniesienia wskutek różnicy częstotliwości jego oscylatora od wartości nominalnej.Systemy i architektura
dryft konfiguracjiconfiguration driftStopniowe rozejście się rzeczywistego stanu infrastruktury z zapisanym w konfiguracji, najczęściej wskutek zmian ręcznych poza narzędziem IaC.Chmura i DevOps
drzewoSpójny graf nieskierowany bez cykli; między każdą parą wierzchołków istnieje dokładnie jedna ścieżka.Teoria informatyki
drzewo AVLSamobalansujące się drzewo wyszukiwań, w którym wysokości poddrzew każdego węzła różnią się o co najwyżej 1.Teoria informatyki
drzewo BZrównoważone drzewo wyszukiwań o wielu kluczach w węźle, zaprojektowane do efektywnego dostępu blokowego na pamięci zewnętrznej.Teoria informatyki
drzewo binarneDrzewo, w którym każdy węzeł ma co najwyżej dwoje dzieci, oznaczane jako lewe i prawe.Teoria informatyki
drzewo BSTBST = binary search treeDrzewo binarne z porządkiem: klucze w lewym poddrzewie ≤ klucz węzła ≤ klucze w prawym poddrzewie, co umożliwia wyszukiwanie.Teoria informatyki
drzewo czerwono-czarneSamobalansujące się drzewo wyszukiwań z kolorowaniem węzłów, w którym niezmienniki kolorów gwarantują logarytmiczną wysokość.Teoria informatyki
drzewo decyzyjneModel predykcyjny o strukturze drzewa, gdzie każdy węzeł wewnętrzny testuje cechę, a liście przypisują wartość lub klasę docelową.AI / Machine Learning
drzewo LSMLSM (Log-Structured Merge-Tree)Struktura przechowywania zorientowana na zapis, buforująca zmiany w pamięci i okresowo scalająca je w niezmienne, posortowane pliki na dysku.Dane i bazy danych
drzewo pełnedrzewo doskonałeDrzewo binarne, w którym każdy węzeł ma zero lub dwoje dzieci, a wszystkie liście są na tym samym poziomie.Teoria informatyki
drzewo skrótówdrzewo Merkle / Merkle treeStruktura drzewiasta, w której każdy węzeł zawiera skrót złączonych skrótów potomnych, umożliwiająca efektywną weryfikację integralności dużych zbiorów danych.Bezpieczeństwo
drzewo trietrieDrzewo prefiksowe, w którym ścieżka od korzenia koduje kolejne symbole klucza, a wspólne prefiksy współdzielą gałęzie.Teoria informatyki
drzewo zrównoważoneDrzewo wyszukiwań utrzymujące wysokość rzędu logarytmu liczby węzłów, co gwarantuje logarytmiczny koszt operacji.Teoria informatyki
drzewo zupełneDrzewo binarne, którego wszystkie poziomy poza ostatnim są pełne, a liście ostatniego poziomu wypełniają je od lewej.Teoria informatyki
dyfuzjaWłasność szyfru, w której zmiana jednego bitu jawnego wpływa na wiele bitów szyfrogramu, rozpraszając strukturę statystyczną.Bezpieczeństwo
dylemat eksploracja-eksploatacjaFundamentalny kompromis między wybieraniem akcji o znanej wysokiej wartości a próbowaniem nowych akcji w celu zdobycia informacji.AI / Machine Learning
dynamiczne grupowanie wsadowedynamic batchingTworzenie wsadów w locie z napływających zapytań w oknie czasowym, równoważące latencję i przepustowość przy zmiennym ruchu.AI / Machine Learning
dywergencja Kullbacka-Leibleradywergencja KL; entropia względnaNiesymetryczna miara różnicy między dwoma rozkładami prawdopodobieństwa, wyrażająca nadmiar bitów potrzebny przy kodowaniu wg rozkładu przybliżonego zamiast prawdziwego.Teoria informatyki
dziedzinadomenaZbiór atomowych wartości dopuszczalnych dla danego atrybutu wraz z określonym typem danych i ograniczeniami formatu.Dane i bazy danych
dziel i zwyciężajParadygmat rozwiązywania problemu przez podział na mniejsze podproblemy tego samego typu, ich niezależne rozwiązanie i scalenie wyników.Teoria informatyki
dzielenie relacyjneOperacja zwracająca krotki jednej relacji powiązane ze wszystkimi krotkami drugiej; wyraża kwantyfikator ogólny w zapytaniach.Dane i bazy danych
dziennik replikowanyreplicated logUporządkowana, trwała sekwencja wpisów utrzymywana spójnie na wielu węzłach, stanowiąca podstawę uzgodnionego porządku operacji.Systemy i architektura
dziennik transakcjilog, journalSekwencyjny zapis zmian wykonanych przez transakcje, używany do odtwarzania spójnego stanu bazy po awarii oraz wycofywania zmian.Dane i bazy danych
dzierżawaleaseCzasowe przyznanie procesowi wyłącznego prawa do zasobu lub roli, wygasające automatycznie, co tolerancyjnie radzi sobie z awariami posiadacza.Systemy i architektura
E
efekt lawinowyavalanche effectWłasność, w której niewielka zmiana wejścia powoduje silną, nieprzewidywalną zmianę dużej części bitów wyniku.Bezpieczeństwo
efekt ubocznyObserwowalna zmiana stanu poza wartością zwracaną przez wyrażenie, np. modyfikacja zmiennej globalnej lub operacja wejścia-wyjścia.Teoria informatyki
eksplodujący gradientexploding gradientProblem, w którym gradienty rosną wykładniczo podczas propagacji wstecznej, powodując niestabilność i rozbieżność treningu.AI / Machine Learning
ekstentextent → ekstentCiągły obszar bloków na nośniku przydzielony plikowi, opisany jako para początek-długość zamiast listy pojedynczych bloków.Systemy i architektura
ekstrakcja informacjiAutomatyczne wydobywanie ustrukturyzowanych danych (encji, relacji, zdarzeń) z tekstu nieustrukturyzowanego.AI / Machine Learning
ekwiwalencja obserwacyjnarównoważność kontekstowaRelacja uznająca dwa wyrażenia za równoważne, gdy są nieodróżnialne w każdym kontekście programu pod względem obserwowalnego zachowania.Teoria informatyki
elastycznośćelasticityZdolność systemu do dynamicznego zwiększania i zmniejszania przydzielonych zasobów w odpowiedzi na zmienne zapotrzebowanie, blisko proporcjonalnie do obciążenia.Chmura i DevOps
element osiowypivotWyróżniony element, względem którego algorytm partycjonuje ciąg na część mniejszą i większą, np. w sortowaniu szybkim.Teoria informatyki
ELTExtract, Load, TransformWariant integracji, w którym dane są najpierw ładowane do magazynu docelowego, a transformacja następuje w jego silniku obliczeniowym (Extract, Load, Transform).Dane i bazy danych
enkapsulacjaOpakowywanie danych warstwy wyższej w jednostkę danych warstwy niższej przez dołączenie nagłówka (i ewentualnie stopki) tej warstwy.Sieci
entropia krzyżowacross-entropyFunkcja straty mierząca rozbieżność między przewidywanym a docelowym rozkładem prawdopodobieństwa, standardowa w klasyfikacji.AI / Machine Learning
entropia różniczkowaOdpowiednik entropii dla ciągłych zmiennych losowych, definiowany przez całkę z gęstości pomnożonej przez logarytm gęstości.Teoria informatyki
entropia ShannonaMiara średniej ilości informacji (nieokreśloności) źródła dyskretnego, równa oczekiwanej wartości minus logarytmu prawdopodobieństw symboli, wyrażana w bitach.Teoria informatyki
entropia warunkowaŚrednia nieokreśloność jednej zmiennej losowej przy znanej wartości drugiej zmiennej, uśredniona po rozkładzie tej drugiej.Teoria informatyki
epokaepochJeden pełny przebieg algorytmu uczenia przez cały zbiór treningowy.AI / Machine Learning
eskalacja uprawnieńprivilege escalationUzyskanie przez atakującego wyższego poziomu uprawnień niż pierwotnie przyznany, np. przejście do roli administratora.Bezpieczeństwo
estymacja gęstościWyznaczanie funkcji gęstości prawdopodobieństwa rozkładu, z którego pochodzą obserwowane dane.AI / Machine Learning
ETLExtract, Transform, LoadProces ekstrakcji danych ze źródeł, ich transformacji do wspólnego modelu i ładowania do hurtowni (Extract, Transform, Load).Dane i bazy danych
etykietaDocelowa wartość przypisana przykładowi uczącemu, którą model ma przewidywać w uczeniu nadzorowanym.AI / Machine Learning
etykieta bezpieczeństwaang. security labelZnacznik przypisany podmiotowi lub obiektowi, wskazujący jego poziom wrażliwości i kategorie, używany do decyzji o dostępie w MAC.Bezpieczeństwo
ewaluacja gorliwaStrategia obliczania, w której wyrażenie (np. argument) jest ewaluowane natychmiast, zanim zostanie użyte.Teoria informatyki
ewaluacja leniwaStrategia obliczania, w której wyrażenie jest ewaluowane dopiero, gdy jego wartość jest faktycznie potrzebna.Teoria informatyki
exploitKod lub technika wykorzystująca konkretną podatność systemu do wywołania niezamierzonego, korzystnego dla atakującego zachowania.Bezpieczeństwo
EXPTIMEKlasa problemów rozstrzygalnych przez deterministyczną maszynę Turinga w czasie wykładniczym, ograniczonym przez 2 do potęgi wielomianu od rozmiaru wejścia.Teoria informatyki
F
FaaSFunction as a ServiceModel wykonywania pojedynczych funkcji kodu uruchamianych zdarzeniowo, w którym dostawca w pełni zarządza alokacją zasobów.Chmura i DevOps
fabryka abstrakcyjnaWzorzec udostępniający interfejs do tworzenia rodzin powiązanych obiektów bez wskazywania ich konkretnych klas.Inżynieria oprogramowania
faktoryzacja niskorzędowaAproksymacja macierzy wag iloczynem macierzy o niższym rzędzie, redukująca liczbę parametrów i operacji.AI / Machine Learning
fasadaWzorzec udostępniający uproszczony, jednolity interfejs do zbioru interfejsów podsystemu, ukrywając jego wewnętrzną złożoność.Inżynieria oprogramowania
filtr BloomaProbabilistyczna struktura bitowa testująca przynależność elementu do zbioru; daje fałszywie pozytywne, lecz nigdy fałszywie negatywne odpowiedzi.Dane i bazy danych
filtr kukułczycuckoo filterProbabilistyczna struktura testująca przynależność, oparta na tablicy odcisków i przemieszczaniu kukułczym; wspiera usuwanie elementów, czego brak filtrowi Blooma.Teoria informatyki
filtrowanie pakietówKontrola ruchu sieciowego przez decyzje dopuszczenia lub odrzucenia pakietów na podstawie pól nagłówka, np. adresów i portów.Bezpieczeństwo
formuła logicznaPoprawnie zbudowany napis języka formalnego zbudowany ze zmiennych, predykatów i spójników zgodnie z regułami składni.Teoria informatyki
forwardingprzekazywanie pakietówPrzekazywanie pojedynczego pakietu z interfejsu wejściowego na właściwy interfejs wyjściowy routera zgodnie z tablicą przekazywania.Sieci
fragmentacjaPodział pakietu na mniejsze części, gdy jego rozmiar przekracza jednostkę MTU łącza, z ponownym składaniem u odbiorcy.Sieci
fragmentacja wewnętrznaStrata pamięci powstająca, gdy przydzielony blok jest większy niż żądanie, a nadwyżka wewnątrz bloku pozostaje niewykorzystana.Systemy i architektura
fragmentacja zewnętrznaStrata pamięci powstająca, gdy wolne obszary są rozproszone w małych blokach niewystarczających do spełnienia żądania mimo łącznie dostatecznej ilości pamięci.Systemy i architektura
funkcjaNazwany, parametryzowany podprogram zwracający wartość, stanowiący wyodrębnioną jednostkę obliczenia wywoływaną z różnych miejsc.Teoria informatyki
funkcja akcja-wartośćfunkcja QFunkcja oceniająca oczekiwany zwrot z wykonania danej akcji w danym stanie, a następnie podążania za polityką; podstawa metod opartych na wartości.AI / Machine Learning
funkcja aktywacjiNieliniowa funkcja stosowana do wyjścia neuronu, umożliwiająca sieci modelowanie nieliniowych zależności.AI / Machine Learning
funkcja anonimowalambdaFunkcja zdefiniowana bez przypisanej nazwy, zwykle jako wyrażenie lambda przekazywane bezpośrednio jako wartość.Teoria informatyki
funkcja celuobjective functionFunkcja optymalizowana podczas uczenia, łącząca składnik dopasowania do danych z ewentualnymi karami, której ekstremum wyznacza parametry modelu.AI / Machine Learning
funkcja częściowo rekurencyjnafunkcja częściowa obliczalnaFunkcja obliczalna mogąca być niezdefiniowana dla niektórych argumentów, gdy obliczenie nie kończy się.Teoria informatyki
funkcja czystaFunkcja, której wynik zależy wyłącznie od argumentów i która nie wywołuje obserwowalnych efektów ubocznych.Teoria informatyki
funkcja haszowania hasełpassword hashingCelowo kosztowna funkcja skrótu stosowana do haseł, utrudniająca ataki słownikowe i siłowe przez wysoki nakład obliczeń lub pamięci.Bezpieczeństwo
funkcja jądrakernel functionFunkcja obliczająca iloczyn skalarny obrazów dwóch punktów w przestrzeni cech wyższego wymiaru bez jawnego ich odwzorowania.AI / Machine Learning
funkcja jednokierunkowa z zapadkątrapdoorFunkcja łatwa do obliczenia, lecz trudna do odwrócenia bez znajomości dodatkowej tajnej informacji, która czyni odwrócenie wykonalnym.Bezpieczeństwo
funkcja kompresjicompression functionKomponent o stałej długości wejścia i krótszym wyjściu, iterowany w konstrukcjach funkcji skrótu do przetwarzania kolejnych bloków danych.Bezpieczeństwo
funkcja nagrodyOdwzorowanie przejść środowiska na skalarny sygnał wzmocnienia, definiujące cel zadania uczenia ze wzmocnieniem.AI / Machine Learning
funkcja pierwszej klasyFunkcja traktowana jak zwykła wartość: można ją przekazywać, zwracać i przypisywać do zmiennych.Teoria informatyki
funkcja rekurencji pierwotnejfunkcja pierwotnie rekurencyjnaFunkcja budowana z funkcji bazowych przez złożenie i rekursję pierwotną, zawsze całkowita, lecz węższa od wszystkich funkcji obliczalnych.Teoria informatyki
funkcja rekurencyjnafunkcja μ-rekurencyjnaFunkcja obliczalna zdefiniowana przez rekursję pierwotną, minimalizację i funkcje bazowe; klasa równoważna funkcjom obliczalnym Turinga.Teoria informatyki
funkcja skrótuDeterministyczna funkcja odwzorowująca dane wejściowe dowolnego rozmiaru na wartość o stałym rozmiarze, używana do indeksowania i wyszukiwania.Teoria informatyki
funkcja skrótu kryptograficznaFunkcja przekształcająca dane dowolnej długości w ciąg o stałej długości, zaprojektowana tak, by była jednokierunkowa i odporna na kolizje.Bezpieczeństwo
funkcja softmaxFunkcja normalizująca wektor liczb do rozkładu prawdopodobieństwa, używana w warstwie wyjściowej klasyfikacji wieloklasowej.AI / Machine Learning
funkcja stratyFunkcja mierząca rozbieżność między przewidywaniem modelu a wartością docelową; jej minimalizacja steruje uczeniem parametrów.AI / Machine Learning
funkcja wartościFunkcja przypisująca stanowi (lub parze stan-akcja) oczekiwany skumulowany zwrot przy danej polityce, mierząca długoterminową korzyść.AI / Machine Learning
funkcja wyprowadzania kluczaKDFFunkcja przekształcająca materiał wejściowy (hasło lub sekret) w jeden lub więcej kluczy kryptograficznych o pożądanych własnościach.Bezpieczeństwo
funkcja wyższego rzęduFunkcja przyjmująca inne funkcje jako argumenty lub zwracająca funkcję jako wynik.Teoria informatyki
funkcja zniekształcenie-szybkośćfunkcja rate-distortionNajmniejsza szybkość bitowa potrzebna do zakodowania źródła przy zadanym dopuszczalnym poziomie zniekształcenia odtworzenia.Teoria informatyki
fuzja operatorówoperator fusionŁączenie kilku kolejnych operacji grafu w jedno jądro obliczeniowe, redukujące transfery pamięci i narzut wywołań.AI / Machine Learning
G
generacja koduKońcowa faza kompilatora tłumacząca reprezentację pośrednią na kod docelowy maszyny, wybierając instrukcje i przydzielając zasoby.Teoria informatyki
generalizacjaZdolność wyuczonego modelu do poprawnego działania na danych niewidzianych podczas uczenia.AI / Machine Learning
generatywna sieć przeciwstawna (GAN)GAN; generative adversarial networkPara sieci — generator i dyskryminator — uczonych przeciwstawnie, gdzie generator tworzy próbki, a dyskryminator odróżnia je od prawdziwych.AI / Machine Learning
generowanie wspomagane wyszukiwaniemRAGWzbogacanie generacji modelu o fragmenty pobrane z zewnętrznej bazy wiedzy, dołączane do kontekstu w czasie wnioskowania.AI / Machine Learning
GitOpsPraktyka, w której repozytorium Git jest jedynym źródłem prawdy o stanie docelowym, a agent automatycznie uzgadnia z nim rzeczywistą infrastrukturę.Chmura i DevOps
głębokie uczenie ze wzmocnieniemDRLPołączenie uczenia ze wzmocnieniem z głębokimi sieciami neuronowymi jako aproksymatorami funkcji wartości lub polityki w przestrzeniach wysokowymiarowych.AI / Machine Learning
głębokość węzłaLiczba krawędzi na ścieżce od korzenia do danego węzła; korzeń ma głębokość zero.Teoria informatyki
gniazdosocketAbstrakcyjny punkt końcowy komunikacji sieciowej identyfikowany adresem i portem, przez który proces wysyła i odbiera dane przez stos protokołów.Sieci
gradient politykiMetoda optymalizująca parametryczną politykę przez wznoszenie gradientowe względem oczekiwanego zwrotu, bez pośredniej funkcji wartości.AI / Machine Learning
grafStruktura złożona ze zbioru wierzchołków oraz zbioru krawędzi łączących pary wierzchołków, modelująca relacje między obiektami.Teoria informatyki
graf acykliczny skierowanyDAGGraf skierowany niezawierający cyklu skierowanego; umożliwia sortowanie topologiczne wierzchołków.Teoria informatyki
graf dwudzielnyGraf, którego wierzchołki dzielą się na dwa rozłączne zbiory tak, że każda krawędź łączy wierzchołek z jednego zbioru z wierzchołkiem z drugiego.Teoria informatyki
graf obliczeniowySkierowany graf reprezentujący operacje i przepływ danych w modelu, podstawa do wykonania i optymalizacji obliczeń.AI / Machine Learning
graf planarnyGraf, który można narysować na płaszczyźnie tak, że jego krawędzie przecinają się wyłącznie we wspólnych wierzchołkach.Teoria informatyki
graf przepływu sterowaniaCFG (control-flow graph)Graf skierowany, którego węzły to bloki podstawowe, a krawędzie reprezentują możliwe przejścia sterowania między nimi podczas wykonania.Teoria informatyki
graf skierowanydigrafGraf, w którym krawędzie (łuki) mają ustaloną orientację — są uporządkowanymi parami wierzchołków wskazującymi kierunek relacji.Teoria informatyki
graf ważonyGraf, w którym każdej krawędzi przypisano liczbową wagę, np. koszt lub odległość.Teoria informatyki
graficzna sieć neuronowa (GNN)GNN; graph neural networkArchitektura operująca na danych grafowych, agregująca informacje od sąsiadów węzła przez przekazywanie komunikatów.AI / Machine Learning
gramatyka bezkontekstowaCFGFormalna gramatyka, w której każda produkcja zastępuje pojedynczy symbol nieterminalny ciągiem symboli, używana do opisu składni języków.Teoria informatyki
granica decyzyjnadecision boundaryPowierzchnia w przestrzeni cech rozdzielająca obszary przypisywane przez klasyfikator do różnych klas.AI / Machine Learning
GRUgated recurrent unitUproszczona bramkowana komórka rekurencyjna z bramką resetu i aktualizacji, łącząca stan i pamięć w jednym wektorze.AI / Machine Learning
grupa kontrolnacgroupMechanizm jądra Linux limitujący i rozliczający zużycie zasobów (CPU, pamięć, I/O) przez grupy procesów, używany do ograniczania kontenerów.Chmura i DevOps
grupowanieklasteryzacja → grupowaniePodział zbioru obiektów na grupy o wysokim podobieństwie wewnętrznym i niskim między grupami, bez etykiet referencyjnych.AI / Machine Learning
grupowanie gęstościoweWyodrębnianie grup jako obszarów o wysokim zagęszczeniu punktów oddzielonych obszarami rzadkimi, odpornego na szum.AI / Machine Learning
grupowanie hierarchiczneTworzenie zagnieżdżonej struktury grup przez kolejne łączenie lub dzielenie zbiorów, przedstawianej jako dendrogram.AI / Machine Learning
grupowanie metodą k-średnichk-means → grupowanie metodą k-średnichAlgorytm dzielący dane na k grup przez iteracyjne minimalizowanie sumy kwadratów odległości punktów od centroidów.AI / Machine Learning
grupowanie wsadowebatchingŁączenie wielu zapytań w jeden wsad przetwarzany razem, by lepiej wykorzystać równoległość sprzętu i zwiększyć przepustowość.AI / Machine Learning
H
halucynacjahallucinationGenerowanie przez model tresci wiarygodnie brzmiacej, lecz falszywej lub niemajacej pokrycia w danych zrodlowych.AI / Machine Learning
harmonogram kluczykey scheduleAlgorytm rozwijający materiał wejściowy w zestaw podkluczy rundowych używanych w kolejnych rundach szyfru blokowego.Bezpieczeństwo
harmonogram uczenialearning rate scheduleStrategia zmieniająca tempo uczenia w trakcie treningu, zwykle malejąco, by poprawić zbieżność i jakość rozwiązania.AI / Machine Learning
hasło jednorazoweOTPHasło ważne tylko dla pojedynczego logowania lub krótkiego okna czasowego, generowane na podstawie współdzielonego sekretu i czasu lub licznika.Bezpieczeństwo
haszowaniehashingOdwzorowanie kluczy w indeksy tablicy przez funkcję skrótu, umożliwiające wyszukiwanie i wstawianie w średnim czasie stałym.Teoria informatyki
haszowanie doskonałeperfect hashingSchemat haszowania dla statycznego zbioru kluczy gwarantujący brak kolizji i wyszukiwanie w stałym czasie pesymistycznym.Teoria informatyki
haszowanie dwukrotnedouble hashingTechnika adresowania otwartego, w której krok przeszukiwania sekwencji prób wyznacza druga funkcja skrótu, redukując grupowanie.Teoria informatyki
haszowanie kukułczecuckoo hashingSchemat haszowania z dwiema funkcjami skrótu, w którym wstawiany element wypiera dotychczasowy zajmujący pozycję, gwarantując stały czas wyszukiwania pesymistyczny.Teoria informatyki
haszowanie rozszerzalneextendible hashingDynamiczna technika haszowania powiększająca katalog kubełków przez podwajanie wraz ze wzrostem danych, bez przebudowy całej struktury.Dane i bazy danych
haszowanie spójneconsistent hashingMetoda przypisywania kluczy do węzłów, w której dodanie lub usunięcie węzła wymaga relokacji jedynie niewielkiej części kluczy.Dane i bazy danych
haszowanie uniwersalneuniversal hashingSchemat losowego wyboru funkcji skrótu z rodziny tak, by prawdopodobieństwo kolizji dwóch kluczy było małe niezależnie od danych wejściowych.Teoria informatyki
hazard potokowyhazardSytuacja w potoku, gdy następna instrukcja nie może wykonać się w przypisanym takcie z powodu zależności danych, strukturalnych lub sterowania.Systemy i architektura
hermetyzacjaencapsulationUkrycie wewnętrznego stanu i implementacji składnika za zdefiniowanym interfejsem, ograniczające bezpośredni dostęp z zewnątrz.Inżynieria oprogramowania
heurystykaReguła lub metoda dająca akceptowalne rozwiązanie szybciej niż metoda dokładna, bez gwarancji optymalności.Teoria informatyki
hierarchia arytmetycznaKlasyfikacja zbiorów nieobliczalnych według liczby naprzemiennych kwantyfikatorów w ich definicji logicznej.Teoria informatyki
hierarchia pamięciWielopoziomowa organizacja pamięci uporządkowana wg malejącej szybkości i rosnącej pojemności (rejestry, cache, RAM, dysk), wykorzystująca lokalność odwołań.Systemy i architektura
hierarchia wielomianowaPH (polynomial hierarchy)Hierarchia klas złożoności uogólniających NP i coNP przez naprzemienne kwantyfikatory egzystencjalne i uniwersalne nad maszyną wyroczniową.Teoria informatyki
hiperparametrParametr sterujący procesem uczenia, ustalany przed uczeniem i niewyznaczany przez optymalizację na danych.AI / Machine Learning
hipoteza rozmaitościmanifold hypothesis → hipoteza rozmaitościZałożenie, że dane wysokowymiarowe leżą w pobliżu rozmaitości o znacznie niższym wymiarze wewnętrznym.AI / Machine Learning
histogramStruktura statystyczna przybliżająca rozkład wartości w kolumnie przez podział na przedziały, wspierająca szacowanie selektywności.Dane i bazy danych
HMACHash-based MACKod uwierzytelniania wiadomości oparty na funkcji skrótu i tajnym kluczu wykorzystywanym w zagnieżdżonych wywołaniach skrótu.Bezpieczeństwo
honeypotCelowo udostępniony, pozorny zasób mający przyciągać atakujących, by wykrywać i analizować ich techniki bez ryzyka dla rzeczywistych systemów.Bezpieczeństwo
hurtownia danychZintegrowany, tematyczny, nieulotny i opatrzony wymiarem czasu zbiór danych wspierający podejmowanie decyzji w organizacji.Dane i bazy danych
HyperLogLogHLLProbabilistyczna struktura szacująca liczbę unikalnych elementów (kardynalność) strumienia danych przy stałym, bardzo małym zużyciu pamięci.Teoria informatyki
I
i-węzełinode → i-węzełStruktura danych przechowująca metadane pliku (rozmiar, prawa, znaczniki czasu, wskaźniki bloków) niezależnie od nazwy, identyfikowana numerem w systemie plików.Systemy i architektura
IaaSInfrastructure as a ServiceModel usługowy udostępniający odbiorcy moc obliczeniową, pamięć masową i sieć, na których wdraża on dowolne oprogramowanie wraz z systemem operacyjnym.Chmura i DevOps
IaCInfrastructure as CodeZarządzanie infrastrukturą (serwery, sieci) za pomocą wersjonowanych plików deklaratywnych odczytywanych maszynowo, zamiast ręcznej konfiguracji, co umożliwia automatyczne i powtarzalne odtwarzanie środowisk.Chmura i DevOps
idempotencjaWłasność operacji, dla której wielokrotne wykonanie daje ten sam stan końcowy co jednokrotne; ponowne uruchomienie nie wprowadza dodatkowych zmian.Chmura i DevOps
idempotentnośćWłasność operacji, której wielokrotne wykonanie daje ten sam efekt co jednokrotne, umożliwiająca bezpieczne ponawianie po awarii.Systemy i architektura
IDSIntrusion Detection SystemSystem wykrywania włamań (Intrusion Detection System) monitorujący ruch lub hosty w celu identyfikacji aktywności naruszającej politykę bezpieczeństwa.Bezpieczeństwo
iloczyn kartezjańskiprodukt krzyżowyOperacja binarna tworząca relację z wszystkich możliwych kombinacji krotek dwóch relacji; jej stopień jest sumą stopni argumentów.Dane i bazy danych
ILPInstruction-Level ParallelismRównoległość na poziomie instrukcji — miara liczby instrukcji programu, które potencjalnie mogą być wykonywane jednocześnie bez zmiany wyniku.Systemy i architektura
indeksPomocnicza struktura danych przyspieszająca wyszukiwanie wierszy po wartościach wybranych kolumn, kosztem dodatkowej przestrzeni i narzutu przy modyfikacjach.Dane i bazy danych
indeks bitmapowyIndeks reprezentujący występowanie każdej wartości kolumny jako wektor bitów po wierszach; wydajny dla kolumn o małej liczbie różnych wartości i zapytań logicznych.Dane i bazy danych
indeks gęstyIndeks zawierający wpis dla każdej wartości klucza wyszukiwania występującej w pliku danych.Dane i bazy danych
indeks haszującyIndeks odwzorowujący klucz przez funkcję mieszającą na kubełek, dający wyszukiwanie po równości w czasie blisko stałym, lecz bez wsparcia zapytań zakresowych.Dane i bazy danych
indeks klastrującyindeks zgrupowany (clustered index)Indeks, którego porządek logiczny odpowiada fizycznemu rozmieszczeniu wierszy na nośniku, dzięki czemu rekordy o bliskich kluczach leżą obok siebie.Dane i bazy danych
indeks niezgrupowanyindeks nieklastrujący (unclustered index)Indeks, którego kolejność wpisów jest niezależna od fizycznego rozmieszczenia rekordów danych; wpisy wskazują na rozproszone lokalizacje wierszy.Dane i bazy danych
indeks pokrywającyindeks z dołączonymi kolumnami (covering index)Indeks zawierający wszystkie kolumny potrzebne do odpowiedzi na zapytanie, dzięki czemu można je obsłużyć bez sięgania do tabeli bazowej.Dane i bazy danych
indeks rzadkiIndeks zawierający wpisy tylko dla niektórych wartości klucza (np. po jednym na blok), wymagający przeszukania sekwencyjnego między wpisami.Dane i bazy danych
indeks złożonyindeks wielokolumnowyIndeks zbudowany na uporządkowanej liście wielu kolumn, w którym efektywność zapytań zależy od kolejności kolumn w kluczu.Dane i bazy danych
inferencjaFaza użycia wytrenowanego modelu do obliczenia predykcji na nowych danych wejściowych, bez aktualizacji wag.AI / Machine Learning
inferencja brzegowaedge inferenceWykonywanie modelu lokalnie na urządzeniu końcowym blisko źródła danych, bez wysyłania ich do chmury.AI / Machine Learning
informacja wzajemnaMiara redukcji nieokreśloności jednej zmiennej losowej dzięki znajomości drugiej; ilość informacji, którą zmienne niosą o sobie nawzajem.Teoria informatyki
infrastruktura klucza publicznegoPKIZespół ról, polityk i procedur do tworzenia, dystrybucji, przechowywania i unieważniania certyfikatów klucza publicznego oraz zarządzania kluczami.Bezpieczeństwo
infrastruktura niezmiennaang. immutable infrastructurePodejście, w którym komponenty środowiska nie są modyfikowane po wdrożeniu, lecz zastępowane nowymi z aktualizowanego obrazu wzorcowego.Chmura i DevOps
inspekcja oprogramowaniaSformalizowany przegląd artefaktów z określonymi rolami i listami kontrolnymi, dążący do wykrycia defektów we wczesnych fazach wytwarzania.Inżynieria oprogramowania
inspekcja stanowastateful inspectionFiltrowanie ruchu z uwzględnieniem stanu połączeń, śledzące kontekst sesji w celu dopuszczania pakietów należących do ustanowionych połączeń.Bezpieczeństwo
instrukcjaNajmniejsza samodzielna jednostka wykonawcza programu wyrażająca akcję do wykonania, np. przypisanie lub sterowanie przepływem.Teoria informatyki
instrukcja warunkowaKonstrukcja sterująca wybierająca gałąź wykonania w zależności od wartości logicznej warunku.Teoria informatyki
integralność encjiReguła wymagająca, by żaden atrybut wchodzący w skład klucza podstawowego nie przyjmował wartości NULL.Dane i bazy danych
integralność referencyjnaReguła wymagająca, by każda niepusta wartość klucza obcego odpowiadała istniejącej wartości klucza podstawowego w relacji odwołanej.Dane i bazy danych
interfejs warstwyZdefiniowany zestaw operacji i prymitywów, przez który warstwa udostępnia swoje usługi warstwie bezpośrednio wyższej.Sieci
interpretacjaBezpośrednie wykonywanie instrukcji programu źródłowego na podawanych danych bez wcześniejszej translacji do kodu maszynowego.Teoria informatyki
inwersja priorytetówSytuacja, gdy zadanie o wysokim priorytecie czeka na zasób trzymany przez zadanie niskopriorytetowe blokowane przez zadania pośrednie.Systemy i architektura
inżynieria cechTworzenie, dobór i przekształcanie cech z surowych danych w celu poprawy zdolności predykcyjnej modelu.AI / Machine Learning
inżynieria społecznaManipulacja ludźmi w celu skłonienia ich do ujawnienia informacji lub wykonania działań naruszających bezpieczeństwo.Bezpieczeństwo
IPSIntrusion Prevention SystemSystem zapobiegania włamaniom (Intrusion Prevention System) wykrywający i aktywnie blokujący ruch uznany za złośliwy w czasie rzeczywistym.Bezpieczeństwo
ISAInstruction Set ArchitectureArchitektura listy rozkazów — abstrakcyjny kontrakt między sprzętem a oprogramowaniem określający zestaw instrukcji, rejestry i model pamięci widoczne dla programisty.Systemy i architektura
iteratorWzorzec udostępniający sekwencyjny dostęp do elementów obiektu agregującego bez ujawniania jego wewnętrznej reprezentacji.Inżynieria oprogramowania
izolacjaWłasność określająca, w jakim stopniu współbieżne transakcje są wzajemnie odseparowane, tak by nie widzieć swoich niezatwierdzonych skutków.Dane i bazy danych
izolacja migawkowasnapshot isolationPoziom izolacji, w którym transakcja widzi spójną migawkę bazy z chwili startu, a konflikt zapisów wykrywany jest przy zatwierdzaniu.Dane i bazy danych
izomorfizm Curry'ego-Howardapropositions as typesOdpowiedniość między typami a zdaniami logicznymi oraz między programami a dowodami, łącząca teorię typów z logiką konstruktywną.Teoria informatyki
J
jednokrotne logowanieSSOMechanizm pozwalający użytkownikowi uwierzytelnić się raz i uzyskać dostęp do wielu niezależnych usług bez ponownego logowania.Bezpieczeństwo
jezioro danychRepozytorium przechowujące surowe dane w wielu formatach (ustrukturyzowane i nieustrukturyzowane) w natywnej postaci do późniejszego przetwarzania.Dane i bazy danych
język rekurencyjnie przeliczalnyr.e.; język semirozstrzygalnyJęzyk, dla którego istnieje maszyna Turinga akceptująca wszystkie jego słowa, lecz mogąca nie zatrzymać się dla słów spoza niego.Teoria informatyki
język rekurencyjnyjęzyk rozstrzygalnyJęzyk, dla którego istnieje maszyna Turinga zawsze zatrzymująca się i rozstrzygająca przynależność słowa.Teoria informatyki
jitterzmienność opóźnieniaZmienność opóźnienia kolejnych pakietów docierających do odbiorcy, krytyczna dla ruchu czasu rzeczywistego jak głos czy wideo.Sieci
K
k najbliższych sąsiadówk-NNModel nieparametryczny przypisujący predykcję na podstawie etykiet k najbliższych przykładów uczących w przestrzeni cech.AI / Machine Learning
kalibracjacalibrationZgodność deklarowanych prawdopodobieństw modelu z empiryczną częstością zdarzeń; dobrze skalibrowany model ma trafne oceny pewności.AI / Machine Learning
kanał binarny symetrycznyBSCModel kanału o wejściu i wyjściu binarnym, w którym każdy bit jest niezależnie odwracany z jednakowym prawdopodobieństwem błędu.Teoria informatyki
kanał komunikacyjnyModel probabilistyczny opisany rozkładem warunkowym wyjścia względem wejścia, reprezentujący medium przesyłu informacji wraz z zakłóceniami.Teoria informatyki
kappa Cohenawspółczynnik kappaMiara zgodności między dwoma oceniającymi skorygowana o zgodność przypadkową; ocenia spójność etykietowania ponad poziom losowy.AI / Machine Learning
kapsułapodNajmniejsza jednostka wdrożeniowa w orkiestracji, grupująca jeden lub więcej ściśle powiązanych kontenerów współdzielących sieć i magazyn.Chmura i DevOps
kara regularyzacyjnaregularization penaltySkładnik dodawany do funkcji celu, penalizujący złożoność modelu w celu poprawy generalizacji; jego siłę kontroluje współczynnik regularyzacji.AI / Machine Learning
kara za chybieniemiss penaltyDodatkowy czas potrzebny na obsłużenie chybienia, czyli sprowadzenie bloku z niższego poziomu hierarchii do pamięci podręcznej.Systemy i architektura
kardynalnośćLiczba unikalnych kombinacji etykiet metryki; wysoka wartość zwiększa koszt przechowywania i przetwarzania danych telemetrycznych.Chmura i DevOps
klasa NPKlasa problemów decyzyjnych, dla których poprawność rozwiązania można zweryfikować w czasie wielomianowym. Niedeterministyczny czas wielomianowy.Teoria informatyki
klasa PKlasa problemów decyzyjnych rozstrzygalnych w czasie wielomianowym na deterministycznej maszynie Turinga.Teoria informatyki
klasa typówMechanizm grupujący typy spełniające wspólny zbiór operacji, umożliwiający przeciążanie zorganizowane i polimorfizm ograniczony.Teoria informatyki
klasa złożonościZbiór problemów rozwiązywalnych w zadanych granicach zasobów obliczeniowych, np. czasu lub pamięci.Teoria informatyki
klasterZbiór połączonych maszyn (węzłów) traktowanych jako jeden zasób obliczeniowy zarządzany wspólnie przez warstwę orkiestracji.Chmura i DevOps
klasyfikacjaZadanie predykcji, w którym model przypisuje obserwacji jedną z dyskretnych klas docelowych.AI / Machine Learning
klasyfikacja tekstuPrzypisywanie dokumentów lub fragmentów tekstu do z góry zdefiniowanych kategorii na podstawie ich treści.AI / Machine Learning
klątwa wymiarowościZjawisko gwałtownego wzrostu rzadkości danych i utraty sensu miar odległości wraz ze wzrostem liczby wymiarów.AI / Machine Learning
klucz kandydującyklucz potencjalnyMinimalny zbiór atrybutów jednoznacznie identyfikujący każdą krotkę relacji, z którego nie można usunąć atrybutu bez utraty unikalności.Dane i bazy danych
klucz obcyFK (foreign key)Atrybut lub zbiór atrybutów relacji odwołujący się do klucza podstawowego innej relacji, realizując powiązanie między relacjami.Dane i bazy danych
klucz podstawowyPK (primary key)Wybrany klucz kandydujący pełniący rolę głównego identyfikatora krotek relacji; jego wartości nie mogą być NULL ani się powtarzać.Dane i bazy danych
klucz prywatnyTrzymany w tajemnicy element pary kluczy, używany do deszyfrowania lub składania podpisu cyfrowego.Bezpieczeństwo
klucz publicznyJawnie udostępniany element pary kluczy, służący do szyfrowania danych dla właściciela lub weryfikacji jego podpisu.Bezpieczeństwo
klucz sortowaniaAtrybut rekordu, wg którego wyznaczany jest porządek elementów podczas sortowania lub identyfikacja przy wyszukiwaniu.Teoria informatyki
klucz tajnyWspólny poufny parametr, znany tylko uprawnionym stronom, sterujący szyfrowaniem i deszyfrowaniem w kryptografii symetrycznej.Bezpieczeństwo
kod bajtowyPośrednia, kompaktowa reprezentacja programu z instrukcjami dla abstrakcyjnej maszyny, niezależna od architektury sprzętowej.Teoria informatyki
kod HammingaLiniowy kod blokowy dodający bity nadmiarowe umożliwiające korekcję pojedynczego błędu i wykrycie podwójnego, dzięki odpowiedniej odległości minimalnej.Sieci
kod korekcyjnykod nadmiarowyKod dodający redundancję do przesyłanych danych, by umożliwić wykrycie i naprawę błędów powstałych w kanale.Teoria informatyki
kod liniowyKod blokowy, którego słowa tworzą podprzestrzeń liniową przestrzeni wektorowej nad ciałem skończonym, opisany macierzą generującą.Teoria informatyki
kod pośredniIR (intermediate representation)Reprezentacja programu niezależna od maszyny, generowana między front-endem a back-endem w celu uproszczenia translacji i optymalizacji.Teoria informatyki
kod prefiksowykod natychmiastowyKod, w którym żadne słowo kodowe nie jest przedrostkiem innego, co umożliwia jednoznaczne i natychmiastowe dekodowanie strumienia.Teoria informatyki
kod trójadresowyLiniowa forma kodu pośredniego, w której każda instrukcja ma co najwyżej trzy operandy i odpowiada jednej operacji elementarnej.Teoria informatyki
kodowanie arytmetyczneMetoda kompresji odwzorowująca cały ciąg symboli na pojedynczą liczbę z przedziału jednostkowego, osiągająca długość bliską entropii.Teoria informatyki
kodowanie HuffmanaMetoda budowy optymalnego prefiksowego kodu o zmiennej długości, przypisująca krótsze słowa kodowe częstszym symbolom źródła.Teoria informatyki
kodowanie liniowekodowanie kanałowe (line coding)Odwzorowanie ciągu bitów na przebieg napięcia w medium przewodowym tak, by zapewnić synchronizację i równowagę składowej stałej; np. Manchester, NRZ, 4B/5B.Sieci
kodowanie par bajtówBPEAlgorytm tokenizacji podsłownej iteracyjnie scalający najczęstsze pary sąsiednich symboli w nowe jednostki słownika.AI / Machine Learning
kodowanie pozycyjnepositional encodingMechanizm dodający informację o położeniu tokena w sekwencji, ponieważ uwaga sama w sobie jest niezależna od kolejności.AI / Machine Learning
kolejkaFIFO → kolejkaLiniowa struktura o dyscyplinie FIFO: element pierwszy włożony jest pierwszym usuwanym; wstawianie na końcu, pobieranie z początku.Teoria informatyki
kolejka dwustronnadeque → kolejka dwustronnaKolejka pozwalająca wstawiać i usuwać elementy z obu końców (z ang. deque).Teoria informatyki
kolejka priorytetowaStruktura, w której każdy element ma priorytet, a pobierany jest zawsze element o najwyższym (lub najniższym) priorytecie.Teoria informatyki
kolizja haszującaSytuacja, w której funkcja skrótu przypisuje tę samą wartość dwóm różnym kluczom wejściowym.Teoria informatyki
kolorowanie grafuPrzypisanie etykiet (kolorów) wierzchołkom tak, by sąsiednie wierzchołki miały różne kolory, zwykle przy minimalnej liczbie kolorów.Teoria informatyki
kolumnowa organizacjaprzechowywanie kolumnowe (columnar storage)Sposób fizycznego składowania, w którym wartości każdej kolumny zapisuje się ciągle obok siebie, sprzyjając skanom analitycznym i kompresji.Dane i bazy danych
kompakcjascalanie (compaction)Scalanie wielu posortowanych plików w strukturach LSM w mniejszą liczbę plików, usuwające nadpisane i skasowane wpisy oraz odzyskujące przestrzeń.Dane i bazy danych
kompilacjaTłumaczenie programu z języka źródłowego na równoważny program w języku docelowym (np. kod maszynowy lub kod pośredni) wykonywane przez kompilator przed uruchomieniem.Teoria informatyki
kompilacja JITJIT (just-in-time)Tłumaczenie kodu pośredniego na kod maszynowy w trakcie wykonania programu, łączące przenośność interpretacji z szybkością kodu natywnego.Teoria informatyki
kompilator uczenia maszynowegoSystem przekształcający model wysokiego poziomu w zoptymalizowany kod wykonywalny dla docelowego sprzętu.AI / Machine Learning
kompozytCompositeWzorzec składający obiekty w struktury drzewiaste i pozwalający traktować pojedyncze obiekty oraz ich kompozycje jednolicie.Inżynieria oprogramowania
kompresja bezstratnaKodowanie danych umożliwiające dokładne odtworzenie oryginału, redukujące rozmiar przez usunięcie statystycznej redundancji.Teoria informatyki
kompresja stratnaKodowanie danych dopuszczające kontrolowane zniekształcenie odtworzenia w zamian za większy stopień redukcji rozmiaru.Teoria informatyki
kompromis obciążenie-wariancjabias-variance tradeoffZależność, w której zmniejszanie obciążenia estymatora zwykle zwiększa jego wariancję i odwrotnie, wpływając na całkowity błąd predykcji.AI / Machine Learning
komunikacja grupowamulticastWzorzec dostarczania komunikatu do zdefiniowanego zbioru odbiorców jako pojedynczej operacji, z gwarancjami dotyczącymi atomowości i porządku dostarczenia.Systemy i architektura
komunikacja międzyprocesowaIPC — Interprocess CommunicationMechanizmy umożliwiające procesom wymianę danych i koordynację działań, np. przez pamięć dzieloną lub przesyłanie komunikatów.Systemy i architektura
komunikatmessageSamodzielna jednostka danych wymieniana między procesami, stanowiąca podstawową abstrakcję bezpośredniej komunikacji w systemie rozproszonym.Systemy i architektura
komutacja łączyTechnika, w której przed transmisją ustanawia się dedykowaną ścieżkę o zarezerwowanych zasobach utrzymywaną przez cały czas połączenia.Sieci
komutacja pakietówTechnika przesyłu, w której dane dzieli się na pakiety wędrujące niezależnie i współdzielące zasoby sieci bez rezerwacji stałej ścieżki.Sieci
konfiguracja deklaratywnaPodejście, w którym opisuje się pożądany stan końcowy systemu, a orkiestrator sam dąży do jego osiągnięcia, zamiast podawania kroków.Chmura i DevOps
konfiguracja imperatywnaPodejście, w którym podaje się jawną sekwencję poleceń modyfikujących system, by doprowadzić go do żądanej postaci.Chmura i DevOps
konfluencjawłasność Churcha-RosseraWłasność systemu redukcji, w którym różne ścieżki obliczeń z jednego wyrażenia zawsze prowadzą do wspólnego potomka.Teoria informatyki
konfuzjaWłasność szyfru maskująca zależność między kluczem a szyfrogramem, czyniąc tę relację złożoną i nieliniową.Bezpieczeństwo
konsensusconsensusProblem uzgodnienia przez zbiór procesów jednej wspólnej wartości mimo opóźnień i awarii, spełniający zgodność, ważność i zakończenie.Systemy i architektura
konstrukcja gąbczastasponge constructionSchemat funkcji skrótu naprzemiennie wchłaniający bloki wejścia i wyciskający wynik przez permutację działającą na stanie wewnętrznym.Bezpieczeństwo
konstrukcja Merkle-DamgårdSchemat budowy funkcji skrótu przez iteracyjne stosowanie funkcji kompresji do kolejnych bloków wiadomości z dopełnieniem długości.Bezpieczeństwo
kontekst ewaluacjiWyrażenie z wyróżnioną dziurą wskazującą miejsce, w którym może zajść następny krok redukcji, ujmujące strategię obliczania.Teoria informatyki
kontekst ograniczonyWyraźna granica, w obrębie której określony model dziedzinowy obowiązuje i ma spójne znaczenie terminów.Inżynieria oprogramowania
kontenerIzolowana, przenośna jednostka uruchomieniowa zawierająca proces aplikacji i jego zależności, działająca w odseparowanej przestrzeni nad współdzielonym jądrem systemu.Chmura i DevOps
konteneryzacjaWirtualizacja na poziomie systemu operacyjnego, w której aplikacja wraz z zależnościami pakowana jest w izolowaną jednostkę współdzielącą jądro hosta.Chmura i DevOps
kontrola dostępuSelektywne ograniczanie tego, kto lub co może odczytywać, zmieniać lub używać zasobów systemu, zgodnie z ustaloną polityką.Bezpieczeństwo
kontrola przeciążeniaRegulacja tempa nadawania w odpowiedzi na zatłoczenie sieci, by ograniczyć straty pakietów i podział łącza między strumienie.Sieci
kontrola przepływuMechanizm dopasowujący tempo nadawania do możliwości odbiorczych odbiorcy, by nie przepełnić jego bufora.Sieci
kopcowanieheapifyOperacja przywracania własności kopca przez przesuwanie węzła w dół lub w górę, podstawowy krok budowy i aktualizacji sterty.Teoria informatyki
kopiec binarnyNiemal pełne drzewo binarne spełniające własność kopca, zwykle reprezentowane w tablicy, używane do implementacji kolejki priorytetowej.Teoria informatyki
kopiec dwumianowySterta zbudowana z kolekcji drzew dwumianowych, wspierająca efektywne łączenie dwóch stert.Teoria informatyki
kopiec FibonacciegoSterta złączalna o zamortyzowanym stałym koszcie wstawiania i zmniejszania klucza, zbudowana z lasu drzew o luźnej strukturze.Teoria informatyki
korpus językowyDuży, uporządkowany zbiór tekstów lub nagrań mowy gromadzony do badań lingwistycznych i trenowania modeli.AI / Machine Learning
kostka OLAPWielowymiarowa struktura danych organizująca miary wzdłuż wielu wymiarów, umożliwiająca szybkie agregacje i przekroje.Dane i bazy danych
kotwica zaufaniatrust anchorZ góry zaufany klucz publiczny lub certyfikat, od którego zaczyna się budowanie i walidacja zaufania w PKI.Bezpieczeństwo
krata bezpieczeństwaang. security latticeCzęściowo uporządkowany zbiór poziomów bezpieczeństwa z operacjami kresu, modelujący dozwolony przepływ informacji między etykietami.Bezpieczeństwo
krawędźElement grafu łączący parę wierzchołków i reprezentujący relację między nimi.Teoria informatyki
krotkatuplaUporządkowany zestaw wartości przypisanych atrybutom relacji, stanowiący pojedynczy element jej zbioru; odpowiada wierszowi tabeli.Dane i bazy danych
kryptografia asymetrycznakryptografia z kluczem publicznymRodzaj kryptografii, w której każdy podmiot posiada parę powiązanych matematycznie kluczy: jawny i tajny, a operacja wykonana jednym jest odwracana drugim.Bezpieczeństwo
kryptografia hybrydowaPołączenie szyfrowania asymetrycznego do bezpiecznego przekazania klucza z szyfrowaniem symetrycznym do ochrony właściwych danych.Bezpieczeństwo
kryptografia krzywych eliptycznychECCKryptografia asymetryczna oparta na trudności logarytmu dyskretnego w grupie punktów krzywej eliptycznej, dająca krótkie klucze przy wysokim bezpieczeństwie.Bezpieczeństwo
krzywa ROCReceiver Operating CharacteristicWykres odsetka trafień względem odsetka fałszywych alarmów przy zmiennym progu decyzyjnym klasyfikatora binarnego.AI / Machine Learning
księgowaniejournaling → księgowanieTechnika niezawodności systemu plików zapisująca planowane zmiany metadanych do dziennika przed ich zatwierdzeniem, umożliwiająca spójne odtworzenie po awarii.Systemy i architektura
kształtowanie nagrodyModyfikacja sygnału nagrody przez dodanie pomocniczych składników, przyspieszająca uczenie bez zmiany optymalnej polityki przy zachowaniu niezmienniczości.AI / Machine Learning
kultura bez obwinianiablamelessPodejście organizacyjne skupiające analizę incydentów na czynnikach systemowych, a nie na winie jednostek, by zachęcać do otwartego raportowania.Chmura i DevOps
kwant czasuUstalony przedział czasu procesora przydzielany procesowi w szeregowaniu rotacyjnym, po którym następuje wywłaszczenie.Systemy i architektura
kwantyfikatorOperator wiążący zmienną w formule, wyrażający zakres jej obowiązywania: ogólny (dla każdego) lub egzystencjalny (istnieje).Teoria informatyki
kwantyzacjaRedukcja precyzji liczbowej wag i aktywacji modelu (np. z FP32 na INT8) w celu zmniejszenia rozmiaru i przyspieszenia obliczeń.AI / Machine Learning
kwantyzacja binarnabinaryzacjaSkrajna kwantyzacja, w której wagi lub aktywacje przyjmują jedynie dwie wartości, drastycznie redukując pamięć i koszt obliczeń.AI / Machine Learning
kwantyzacja potreningowaPTQ (post-training quantization)Kwantyzacja stosowana do gotowego, wytrenowanego modelu bez ponownego uczenia, zwykle z użyciem małego zbioru kalibracyjnego.AI / Machine Learning
kwantyzacja świadoma treninguQAT (quantization-aware training)Technika symulująca efekty kwantyzacji podczas treningu, by model nauczył się odporności na obniżoną precyzję.AI / Machine Learning
kworumquorumMinimalny podzbiór węzłów, którego zgoda jest wymagana do zatwierdzenia operacji, gwarantujący przecinanie się z innymi kworami.Systemy i architektura
L
las losowyZespół wielu drzew decyzyjnych trenowanych na próbkach bootstrap z losowym podzbiorem cech, agregujący ich predykcje przez głosowanie lub uśrednianie.AI / Machine Learning
latencja inferencjiCzas od podania wejścia do otrzymania predykcji modelu dla pojedynczego zapytania.AI / Machine Learning
least privilegezasada najmniejszych uprawnieńZasada nadawania podmiotowi minimum uprawnień niezbędnych do wykonania zadania, ograniczająca skutki błędu lub nadużycia.Bezpieczeństwo
lematyzacjaSprowadzanie form wyrazowych do ich podstawowej formy słownikowej (lematu) z uwzględnieniem kontekstu morfologicznego.AI / Machine Learning
liczba chromatycznaNajmniejsza liczba kolorów potrzebna do poprawnego pokolorowania wierzchołków grafu tak, by sąsiednie miały różne kolory.Teoria informatyki
liczba kardynalnaMiara mocy zbioru wyrażająca jego liczność, uogólniająca pojęcie liczby elementów na zbiory nieskończone.Teoria informatyki
liczność relacjikardynalnośćLiczba krotek aktualnie należących do relacji; opisuje rozmiar jej ekstensji w danym stanie bazy.Dane i bazy danych
linearyzowalnośćNajsilniejszy model spójności obiektu: każda operacja zdaje się działać atomowo w pewnym punkcie między jej wywołaniem a zakończeniem, zgodnie z czasem rzeczywistym.Systemy i architektura
linia cacheblok cacheNajmniejsza jednostka transferu i przechowywania w pamięci podręcznej, obejmująca blok kolejnych bajtów pamięci wraz ze znacznikiem i bitami stanu.Systemy i architektura
listaUporządkowany ciąg elementów wspierający wstawianie, usuwanie i przeglądanie w kolejności liniowej.Teoria informatyki
lista cyklicznaLista powiązana, w której ostatni węzeł wskazuje na pierwszy, tworząc zamknięty pierścień bez wyróżnionego końca.Teoria informatyki
lista dwukierunkowaLista powiązana, w której każdy węzeł ma wskaźniki do następnika i poprzednika, umożliwiając przechodzenie w obu kierunkach.Teoria informatyki
lista kontroli dostępuACL (Access Control List)Uporządkowany zbiór reguł zezwalających lub blokujących ruch sieciowy na podstawie atrybutów pakietu, jak adresy i numery portów.Sieci
lista powiązanaLiniowa struktura, w której każdy element (węzeł) przechowuje dane oraz wskaźnik do następnego węzła, bez wymogu ciągłości w pamięci.Teoria informatyki
lista sąsiedztwaReprezentacja grafu, w której dla każdego wierzchołka przechowuje się listę jego sąsiadów.Teoria informatyki
lista unieważnionych certyfikatówCRLPodpisany wykaz certyfikatów, które przestały być ważne przed datą wygaśnięcia, publikowany przez urząd certyfikacji.Bezpieczeństwo
lista z przeskokamiskip list → lista z przeskokamiProbabilistyczna struktura listowa z wieloma warstwami wskaźników, umożliwiająca wyszukiwanie i wstawianie w oczekiwanym czasie logarytmicznym.Teoria informatyki
liśćwęzeł zewnętrznyWęzeł drzewa nieposiadający dzieci, kończący ścieżkę od korzenia.Teoria informatyki
literałZapis wartości stałej wprost w kodzie źródłowym, np. liczby, znaku czy łańcucha, reprezentujący tę wartość bez pośrednictwa nazwy.Teoria informatyki
LLMLarge Language ModelDuży model językowy — sieć neuronowa o miliardach parametrów trenowana na ogromnych korpusach tekstu do przewidywania i generowania języka naturalnego.AI / Machine Learning
logika pierwszego rzęduFOLSystem logiczny dopuszczający kwantyfikację po elementach dziedziny, z predykatami, funkcjami i relacjami, ale bez kwantyfikacji po zbiorach.Teoria informatyki
LOGSPACEL (LOGSPACE)Klasa problemów rozstrzygalnych przez deterministyczną maszynę Turinga używającą logarytmicznej pamięci roboczej względem rozmiaru wejścia.Teoria informatyki
lokalność odwołańTendencja programu do odwoływania się w krótkim czasie do tych samych lub sąsiednich adresów pamięci; obejmuje lokalność czasową i przestrzenną.Systemy i architektura
LRULeast Recently UsedAlgorytm wymiany usuwający blok najdawniej używany (Least Recently Used), zakładający że dane ostatnio nieużywane będą potrzebne najpóźniej.Systemy i architektura
LSTMlong short-term memoryKomórka rekurencyjna z bramkami i komórką pamięci, zaprojektowana do uczenia zależności długoterminowych mimo zanikającego gradientu.AI / Machine Learning
M
MACMessage Authentication CodeKod uwierzytelniania wiadomości: krótki znacznik liczony z wiadomości i tajnego klucza, zapewniający jej integralność i autentyczność.Bezpieczeństwo
macierz dostępuAbstrakcyjna reprezentacja uprawnień jako tabeli, w której wiersze to podmioty, kolumny to obiekty, a komórki — dozwolone operacje.Bezpieczeństwo
macierz pomyłekconfusion matrixTabela zestawiająca rzeczywiste i przewidziane klasy, z której wyprowadza się miary jakości klasyfikatora jak precyzja czy czułość.AI / Machine Learning
macierz sąsiedztwaReprezentacja grafu w postaci macierzy kwadratowej, której element wskazuje obecność krawędzi między parą wierzchołków.Teoria informatyki
manifest konfiguracjiPlik deklaratywnie opisujący zasoby i ich pożądane parametry, odczytywany przez narzędzie w celu doprowadzenia systemu do tego opisu.Chmura i DevOps
marshallingporządkowaniePrzekształcenie struktur danych i parametrów w postać liniowego strumienia bajtów nadającą się do przesłania przez sieć i odtworzenia po stronie odbiorcy.Systemy i architektura
maska podsieciWzorzec bitowy oddzielający część sieciową adresu od części hosta, wyznaczający granicę podsieci.Sieci
maszyna TuringaAbstrakcyjny model obliczeniowy z nieskończoną taśmą i głowicą, definiujący granicę tego, co algorytmicznie obliczalne.Teoria informatyki
maszyna wirtualnaVMAbstrakcyjna maszyna wykonująca kod pośredni programu, definiująca własny model pamięci i zestaw instrukcji niezależny od sprzętu.Teoria informatyki
mechanizm uwagiattentionTechnika ważenia istotności poszczególnych elementów wejścia względem siebie, wyznaczająca reprezentację jako sumę ważoną wartości.AI / Machine Learning
memoizacjaTechnika przyspieszania obliczeń przez buforowanie wyników wywołań funkcji i zwracanie ich przy powtórnym wywołaniu z tymi samymi argumentami.Teoria informatyki
metaheurystykaOgólny szkielet heurystyk wyższego poziomu sterujący przeszukiwaniem przestrzeni rozwiązań, niezależny od konkretnego problemu.Teoria informatyki
metoda drzewa rekursjiTechnika szacowania kosztu rekurencji przez sumowanie pracy na kolejnych poziomach drzewa wywołań rekurencyjnych.Teoria informatyki
metoda dwóch wskaźnikówang. two pointersTechnika przetwarzania struktury liniowej przy użyciu dwóch indeksów poruszających się po niej według ustalonej reguły.Teoria informatyki
metoda podziału i ograniczeńang. branch and boundTechnika rozwiązywania zadań optymalizacji przez podział przestrzeni na podzbiory i odcinanie tych, których oszacowanie wyklucza optimum.Teoria informatyki
metoda potencjałuTechnika analizy zamortyzowanej przypisująca strukturze danych funkcję stanu, której zmiana zsumowana z kosztem rzeczywistym operacji daje jej koszt zamortyzowany.Teoria informatyki
metoda przekątniowadiagonalizacjaTechnika dowodowa konstruująca obiekt różniący się od każdego elementu listy, używana do wykazania nieprzeliczalności i nierozstrzygalności.Teoria informatyki
metoda spotkania w środkuang. meet in the middleTechnika redukcji przeszukiwania wyczerpującego przez podział wejścia na dwie połowy, przeszukanie każdej i połączenie częściowych wyników.Teoria informatyki
metoda szablonowaTemplate MethodWzorzec definiujący szkielet algorytmu w metodzie nadklasy, delegując wybrane kroki do przesłonięcia w podklasach.Inżynieria oprogramowania
metoda wytwórczaFactory MethodWzorzec definiujący interfejs tworzenia obiektu, lecz pozostawiający podklasom decyzję, którą klasę instancjonować.Inżynieria oprogramowania
metrykaLiczbowy pomiar agregowany w czasie, opisujący jeden wymiar zachowania systemu, np. liczbę żądań na sekundę czy zużycie pamięci.Chmura i DevOps
metryka routinguWartość liczbowa wyrażająca koszt trasy, na podstawie której protokół wybiera najlepszą ścieżkę do celu.Sieci
miaraLiczbowa wartość analityczna przechowywana w tabeli faktów, podlegająca agregacji wzdłuż wymiarów (np. suma, średnia).Dane i bazy danych
miara F1F1-scoreŚrednia harmoniczna precyzji i czułości, łącząca obie w jedną wartość; szczególny przypadek miary F dla równej wagi.AI / Machine Learning
mierzalność usługimeasured serviceAutomatyczne mierzenie i raportowanie wykorzystania zasobów chmurowych, zapewniające przejrzystość zużycia dostawcy i odbiorcy.Chmura i DevOps
migawkaNiezmienny, spójny obraz stanu systemu plików lub woluminu w danej chwili, umożliwiający odczyt i odtworzenie wcześniejszego stanu danych.Systemy i architektura
migawka rozproszonaAlgorytm rejestrujący spójny stan globalny systemu rozproszonego przez znaczniki przesyłane kanałami, bez wstrzymywania normalnej pracy.Systemy i architektura
mikroarchitekturaKonkretna organizacja sprzętowa realizująca daną architekturę listy rozkazów: rozmieszczenie jednostek wykonawczych, potoku, pamięci podręcznych i ścieżek danych.Systemy i architektura
mikrousługimicroservicesStyl budujący aplikację jako zbiór małych, niezależnie wdrażanych usług zorganizowanych wokół zdolności biznesowych i komunikujących się lekkimi mechanizmami.Inżynieria oprogramowania
mini-paczkamini-batchNiewielki podzbiór danych treningowych użyty do jednej aktualizacji parametrów; kompromis między pełnym a pojedynczo-próbkowym szacowaniem gradientu.AI / Machine Learning
minimalne drzewo rozpinająceMSTDrzewo zawierające wszystkie wierzchołki grafu ważonego i mające najmniejszą możliwą sumę wag krawędzi.Teoria informatyki
MMUmemory management unitJednostka zarządzania pamięcią (memory management unit) — układ sprzętowy tłumaczący adresy wirtualne na fizyczne oraz egzekwujący ochronę dostępu.Systemy i architektura
modelStruktura interpretująca symbole języka, w której dany zbiór formuł jest prawdziwy.Teoria informatyki
model aktorówModel współbieżności, w którym jednostki obliczeniowe (aktorzy) komunikują się asynchronicznie komunikatami i mają prywatny stan zmieniany tylko lokalnie.Systemy i architektura
model bazowyfoundation modelModel wstępnie trenowany na szerokich danych w dużej skali, adaptowalny do wielu zadań pochodnych przez dostrajanie lub podpowiadanie.AI / Machine Learning
model generatywnyModel uczący się rozkładu prawdopodobieństwa danych, zdolny do próbkowania nowych przykładów podobnych do treningowych.AI / Machine Learning
model językowyModel przypisujący prawdopodobieństwo sekwencjom słów, zwykle przez przewidywanie kolejnego tokena na podstawie poprzedzających.AI / Machine Learning
model mieszanin gaussowskichGMM → model mieszanin gaussowskichProbabilistyczny model rozkładu danych jako ważonej sumy wielu rozkładów normalnych, używany do grupowania miękkiego.AI / Machine Learning
model nauczycielateacher modelWiększy, dokładny model, którego wyjścia stanowią cel uczenia dla mniejszego modelu w destylacji wiedzy.AI / Machine Learning
model OSIOSI — Open Systems InterconnectionSiedmiowarstwowy referencyjny model architektury komunikacji systemów otwartych (Open Systems Interconnection) standaryzujący funkcje od fizycznej po aplikacyjną.Sieci
model property graphgraf własnościFormalizm grafu, w którym węzły i krawędzie mają etykiety oraz zbiory par klucz-wartość (właściwości); krawędzie są skierowane i nazwane.Dane i bazy danych
model sekwencja-do-sekwencjiseq2seqArchitektura przekształcająca wejściową sekwencję w wyjściową o potencjalnie innej długości, złożona z kodera i dekodera.AI / Machine Learning
model TCP/IPCzterowarstwowy model architektury internetu (łącza, internetowa, transportowa, aplikacji) leżący u podstaw współczesnych sieci pakietowych.Sieci
model warstwowyArchitektura sieci dzieląca komunikację na hierarchię warstw, z których każda świadczy usługi warstwie wyższej i korzysta z usług niższej.Sieci
model związków-encjiERKonceptualny model danych opisujący dziedzinę za pomocą encji, ich atrybutów oraz związków między encjami, niezależnie od implementacji.Dane i bazy danych
model-widok-kontrolerMVCStyl interaktywny rozdzielający dane (model), ich prezentację (widok) i obsługę wejścia oraz logikę sterowania (kontroler) na trzy współpracujące role.Inżynieria oprogramowania
modelowanie dziedzinoweBudowa modelu pojęciowego odwzorowującego obiekty, reguły i język domeny problemu jako podstawy projektu oprogramowania.Inżynieria oprogramowania
modelowanie tematówtopic modelingNienadzorowane odkrywanie ukrytych tematów w zbiorze dokumentów jako rozkładów prawdopodobieństwa nad słowami.AI / Machine Learning
modulacjaNakładanie informacji na falę nośną przez zmianę jej amplitudy, częstotliwości lub fazy, umożliwiające transmisję sygnału cyfrowego przez medium analogowe.Sieci
moduł infrastrukturyWielokrotnie używalny, sparametryzowany pakiet definicji zasobów, hermetyzujący fragment infrastruktury jako jedną wywoływalną jednostkę.Chmura i DevOps
momentumTechnika optymalizacji akumulująca wykładniczo ważoną średnią dotychczasowych gradientów, by przyspieszyć zbieżność i tłumić oscylacje.AI / Machine Learning
monitorKonstrukcja synchronizacji łącząca dane i procedury operujące na nich, zapewniająca, że tylko jeden wątek wykonuje je w danej chwili.Systemy i architektura
monitor odniesieńang. reference monitorAbstrakcyjny komponent pośredniczący w każdym dostępie podmiotu do obiektu i egzekwujący politykę; musi być nieobchodzalny i weryfikowalny.Bezpieczeństwo
monolitStyl, w którym całość funkcji aplikacji jest zbudowana i wdrażana jako pojedyncza, spójna jednostka wykonawcza.Inżynieria oprogramowania
monolit modularnymodular monolithStyl wdrażany jako jeden artefakt, lecz wewnętrznie podzielony na wyraźnie odgraniczone moduły o niskim sprzężeniu i jasnych interfejsach.Inżynieria oprogramowania
montowanieOperacja dołączenia systemu plików do globalnej przestrzeni nazw przez powiązanie go z punktem montowania, umożliwiająca dostęp do jego plików.Systemy i architektura
MTUMTU = Maximum Transmission UnitMaksymalny rozmiar ładunku, jaki dane łącze może przesłać w jednej ramce bez fragmentacji.Sieci
multipleksowaniezwielokrotnianieŁączenie wielu strumieni danych w jednym medium przez podział zasobu kanału — w dziedzinie częstotliwości, czasu lub długości fali.Sieci
muteksmutex → muteksPrymityw blokady o dwóch stanach zapewniający wzajemne wykluczanie, zwalniany przez właściciela, który go zajął.Systemy i architektura
N
n-gramCiągła sekwencja n elementów (słów lub znaków) wyodrębniona z tekstu, używana do modelowania statystycznego języka.AI / Machine Learning
nagłówek protokołuPole informacji sterującej dołączane na początku jednostki danych, niosące metadane potrzebne danej warstwie do obsługi transmisji.Sieci
naiwny klasyfikator BayesaKlasyfikator probabilistyczny stosujący twierdzenie Bayesa przy założeniu warunkowej niezależności cech względem klasy.AI / Machine Learning
najdłuższy pasujący prefikslongest prefix matchReguła wyboru wpisu routingu o największej liczbie zgodnych bitów prefiksu z adresem docelowym pakietu.Sieci
najkrótsza ścieżkaŚcieżka między dwoma wierzchołkami grafu ważonego o najmniejszej sumie wag krawędzi.Teoria informatyki
najsłabszy warunek wstępnywpNajogólniejszy warunek na stan początkowy gwarantujący, że po wykonaniu programu spełniony będzie zadany warunek końcowy.Teoria informatyki
namiastkastubLokalny obiekt pośredniczący reprezentujący zdalny komponent; przyjmuje wywołanie klienta, porządkuje argumenty i przekazuje je przez sieć do właściwej implementacji.Systemy i architektura
następny przeskoknext hopBezpośrednio osiągalny router lub interfejs, do którego należy przekazać pakiet w drodze do celu.Sieci
nasyceniesaturationMiara stopnia wykorzystania ograniczonego zasobu systemu względem jego pojemności; bliskość pełnego nasycenia zwiastuje degradację wydajności.Chmura i DevOps
NATNetwork Address TranslationTranslacja adresów sieciowych — odwzorowanie prywatnych adresów IP na publiczne podczas przechodzenia pakietów przez router brzegowy (Network Address Translation).Sieci
nazwa domenowaHierarchiczna, czytelna dla człowieka nazwa identyfikująca zasób w sieci, tłumaczona na adres sieciowy przez system nazw.Sieci
need-to-knowZasada udostępniania informacji wyłącznie podmiotom, którym jest ona niezbędna do realizacji uprawnionego zadania.Bezpieczeństwo
niedouczenieunderfittingStan modelu zbyt prostego, by uchwycić zależności w danych, dający wysoki błąd zarówno na zbiorze uczącym, jak i testowym.AI / Machine Learning
nierozstrzygalnośćWłasność problemu, dla którego nie istnieje algorytm rozstrzygający go dla wszystkich wejść.Teoria informatyki
nierówność Kraftanierówność Krafta-McMillanaWarunek konieczny i wystarczający na istnienie kodu prefiksowego o zadanych długościach słów: suma potęg podstawy o wykładnikach ujemnych długości nie przekracza jedności.Teoria informatyki
niezmiennośćWłasność danej, której stan nie może zostać zmieniony po utworzeniu; modyfikacja wymaga utworzenia nowej wartości.Teoria informatyki
NLNL (nondeterministic logspace)Klasa problemów rozstrzygalnych przez niedeterministyczną maszynę Turinga z logarytmiczną pamięcią roboczą; kluczowa dla problemu osiągalności w grafie.Teoria informatyki
noncenumber used onceWartość używana dokładnie raz w danym kontekście klucza, zapobiegająca powtórzeniom i atakom powtórzeniowym.Bezpieczeństwo
normalizacjaPrzeskalowanie wartości cech do wspólnego zakresu lub rozkładu, by ujednolicić ich wpływ na uczenie.AI / Machine Learning
normalizacja warstwowalayer normalizationNormalizacja aktywacji w obrębie pojedynczego przykładu po wymiarze cech, niezależnie od wsadu; standard w transformerach.AI / Machine Learning
normalizacja wsadowabatch normalizationStandaryzacja aktywacji warstwy w obrębie minipakietu danych w trakcie treningu, stabilizująca uczenie i działająca regularyzująco.AI / Machine Learning
NoSQLNot Only SQLKlasa systemów baz danych rezygnujących z modelu relacyjnego i pełnego SQL na rzecz elastycznych schematów i poziomej skalowalności (Not Only SQL).Dane i bazy danych
notacja dużego OO(n) — Big-OAsymptotyczny zapis ograniczający tempo wzrostu funkcji od góry z dokładnością do stałej, używany do opisu skalowania zasobów algorytmu.Teoria informatyki
notacja Obig-OAsymptotyczne ograniczenie górne tempa wzrostu funkcji; opisuje najgorszy rząd kosztu z dokładnością do stałej. Tzw. duże O.Teoria informatyki
notacja OmegaAsymptotyczne ograniczenie dolne tempa wzrostu funkcji; opisuje minimalny rząd kosztu z dokładnością do stałej.Teoria informatyki
notacja ThetaŚcisłe asymptotyczne oszacowanie funkcji ograniczające ją zarazem z góry i z dołu tym samym rzędem wzrostu.Teoria informatyki
NPNP (nondeterministic polynomial)Klasa problemów decyzyjnych weryfikowalnych w czasie wielomianowym, równoważnie rozstrzygalnych przez niedeterministyczną maszynę Turinga w czasie wielomianowym.Teoria informatyki
NP-trudnośćNP-hardWłasność problemu, do którego każdy problem z klasy NP daje się zredukować wielomianowo; problem co najmniej tak trudny jak wszystkie w NP.Teoria informatyki
NP-zupełnośćNP-completeWłasność problemu należącego do NP i jednocześnie NP-trudnego; reprezentuje najtrudniejsze problemy tej klasy.Teoria informatyki
numer sekwencyjnyPole identyfikujące pozycję bajtów segmentu w strumieniu, umożliwiające odtworzenie kolejności i wykrycie duplikatów oraz braków.Sieci
O
obciążeniebiasSystematyczny błąd estymatora wynikający z błędnych założeń modelu; różnica między wartością oczekiwaną predykcji a wartością prawdziwą.AI / Machine Learning
obcinanie gradientugradient clippingTechnika ograniczająca normę gradientu do ustalonego progu, zapobiegająca destabilizacji treningu przez eksplodujące gradienty.AI / Machine Learning
obliczalnośćWłasność funkcji lub problemu polegająca na istnieniu efektywnej procedury (algorytmu) zwracającej wynik.Teoria informatyki
obraz konteneraNiezmienny, warstwowy pakiet zawierający system plików, zależności i metadane potrzebne do uruchomienia kontenera jako jego instancji.Chmura i DevOps
obraz maszynowyGotowy, zaszablonowany snapshot systemu z preinstalowanym oprogramowaniem, używany do tworzenia jednolitych instancji serwerów.Chmura i DevOps
obserwatorObserverWzorzec definiujący zależność jeden-do-wielu, w której zmiana stanu podmiotu powoduje automatyczne powiadomienie i aktualizację obserwujących obiektów.Inżynieria oprogramowania
obserwowalnośćo11yWłasność systemu pozwalająca wnioskować o jego wewnętrznym stanie na podstawie zewnętrznych wyjść (metryk, logów, śladów) bez modyfikacji kodu.Chmura i DevOps
odczyt fantomowyphantom readAnomalia współbieżności, gdy powtórzone zapytanie warunkowe zwraca nowe wiersze wstawione w międzyczasie przez inną transakcję.Dane i bazy danych
odległość HammingaLiczba pozycji, na których dwa słowa kodowe równej długości się różnią; określa zdolność kodu do wykrywania i korekcji błędów.Teoria informatyki
odporność na awariefault toleranceZdolność systemu do dalszego poprawnego działania mimo wystąpienia awarii części jego komponentów.Chmura i DevOps
odporność na drugi przeciwobrazsecond-preimage resistanceWłasność: dla danej wiadomości obliczeniowo trudno znaleźć inną wiadomość o tym samym skrócie.Bezpieczeństwo
odporność na kolizjeWłasność funkcji skrótu polegająca na obliczeniowej trudności znalezienia dwóch różnych wiadomości dających ten sam skrót.Bezpieczeństwo
odporność na przeciwobrazpreimage resistanceWłasność jednokierowości: dla danego skrótu obliczeniowo trudno znaleźć jakąkolwiek wiadomość, która do niego prowadzi.Bezpieczeństwo
odśmiecaniegarbage collectionAutomatyczne odzyskiwanie pamięci zajętej przez obiekty nieosiągalne z punktu widzenia programu, bez jawnego zwalniania przez programistę.Systemy i architektura
odśmiecanie pamięciGC (garbage collection)Automatyczne odzyskiwanie obszarów sterty, do których program nie ma już osiągalnych referencji, bez jawnego zwalniania przez programistę.Teoria informatyki
odśmiecanie pokolenioweStrategia GC dzieląca obiekty na pokolenia wg wieku i częstsze przetwarzanie młodych obiektów, oparta na hipotezie, że większość obiektów żyje krótko.Teoria informatyki
odtwarzanie z cofnięciemrollback recoveryPrzywracanie systemu po awarii do spójnego wcześniejszego stanu z punktu kontrolnego i odtworzenie zdarzeń z dziennika.Systemy i architektura
odwrotne proxyreverse proxyPośrednik stojący przed serwerami źródłowymi, przyjmujący żądania klientów i rozdzielający je do serwerów, ukrywając ich strukturę.Sieci
odwrócenie sterowaniaIoC → odwrócenie sterowaniaZasada, w której przepływ sterowania programu jest przekazany szkieletowi lub kontenerowi, a kod użytkownika jest wywoływany przez nie, nie odwrotnie.Inżynieria oprogramowania
odwzorowanie pliku w pamięćmmap → odwzorowanie pliku w pamięćTechnika udostępniania zawartości pliku jako obszaru przestrzeni adresowej procesu, gdzie dostęp do pamięci powoduje stronicowanie danych z nośnika.Systemy i architektura
odwzorowanie skojarzenioweasocjacyjnośćSchemat rozmieszczania bloków w cache, w którym blok może trafić do dowolnej z N linii zbioru; przy N=1 jest bezpośrednie, przy pełnym — w dowolne miejsce.Systemy i architektura
ograniczanie temparate limiting / throttlingKontrolowanie maksymalnej liczby żądań przyjmowanych przez usługę w jednostce czasu w celu ochrony przed przeciążeniem i nadużyciami.Chmura i DevOps
okno kontekstowecontext windowMaksymalna liczba tokenów, jaką model może przetworzyć jednocześnie jako wejście i wygenerowane wyjście.AI / Machine Learning
okno przeciążeniacwndOgraniczana dynamicznie liczba niepotwierdzonych danych, jakie nadawca może mieć w drodze, sterowana stanem zatłoczenia sieci.Sieci
okno przesuwnesliding windowMechanizm kontroli przepływu i niezawodności łącza, w którym nadawca może wysłać do ustalonej liczby niepotwierdzonych ramek, przesuwając zakres wraz z napływem potwierdzeń.Sieci
OLAPOnline Analytical ProcessingPrzetwarzanie analityczne danych (Online Analytical Processing) zorientowane na wielowymiarowe zapytania agregujące i eksplorację danych decyzyjnych.Dane i bazy danych
operacja atomowaOperacja wykonywana niepodzielnie — bez możliwości przeplotu z innymi operacjami na tych samych danych; obserwowana jako natychmiastowa.Systemy i architektura
operatorSymbol oznaczający wbudowane działanie na operandach, np. arytmetyczne lub logiczne, łączący je w wyrażenie.Teoria informatyki
opóźnienielatencjaCzas potrzebny na przejście jednostki danych od nadawcy do odbiorcy, obejmujący składowe propagacji, transmisji, przetwarzania i kolejkowania.Sieci
optymalizacja koduPrzekształcanie programu zachowujące jego semantykę, mające poprawić wydajność (szybkość, rozmiar, zużycie zasobów) wynikowego kodu.Teoria informatyki
optymalizacja kosztowaWybór planu wykonania na podstawie oszacowanego kosztu (we/wy, CPU) obliczanego z modelu kosztu i statystyk danych.Dane i bazy danych
optymalizacja regułowaWybór planu wykonania na podstawie zbioru heurystyk i reguł transformacji bez szacowania kosztu liczbowego.Dane i bazy danych
optymalizator zapytańKomponent systemu zarządzania bazą danych wybierający plan wykonania o szacowanym najniższym koszcie spośród równoważnych planów.Dane i bazy danych
orkiestracja kontenerówAutomatyczne wdrażanie, skalowanie, planowanie i zarządzanie cyklem życia wielu kontenerów w klastrze maszyn.Chmura i DevOps
orkiestracja przepływu pracyKoordynowanie kolejności, zależności i warunków wykonania zadań w zautomatyzowanym procesie tak, by tworzyły spójny przepływ.Chmura i DevOps
osadzanieOdwzorowanie obiektów dyskretnych lub wysokowymiarowych w gęsty wektor o niższym wymiarze zachowujący relacje podobieństwa.AI / Machine Learning
oznaczanie części mowyPOS taggingPrzypisywanie każdemu słowu w tekście etykiety gramatycznej kategorii (rzeczownik, czasownik itd.) na podstawie kontekstu.AI / Machine Learning
P
PP (PTIME)Klasa problemów decyzyjnych rozstrzygalnych przez deterministyczną maszynę Turinga w czasie wielomianowym względem rozmiaru wejścia.Teoria informatyki
PaaSPlatform as a ServiceModel usługowy dający odbiorcy środowisko do wdrażania własnych aplikacji bez zarządzania infrastrukturą bazową ani systemem operacyjnym.Chmura i DevOps
PACELCPACELCRozszerzenie CAP: przy podziale sieci wybiera się między dostępnością a spójnością, a w jego braku — między niskim opóźnieniem a spójnością.Systemy i architektura
pakietJednostka danych warstwy sieci zawierająca nagłówek z adresami logicznymi i ładunek, przesyłana niezależnie przez sieć z komutacją pakietów.Sieci
pamięć podręcznacacheMała, szybka pamięć przechowująca kopie często używanych danych z pamięci głównej, by skrócić średni czas dostępu procesora.Systemy i architektura
pamięć podręczna KVKV cacheBufor przechowujący klucze i wartości z poprzednich kroków uwagi w transformerze, by uniknąć ich ponownego liczenia podczas generacji.AI / Machine Learning
pamięć transakcyjnaSTMModel współbieżności, w którym bloki dostępu do pamięci wykonywane są jako atomowe transakcje z izolacją, automatycznie wycofywane przy konflikcie.Systemy i architektura
pamięć wirtualnaTechnika dająca procesowi spójną przestrzeń adresową niezależną od fizycznej pamięci, w której adresy logiczne tłumaczone są na fizyczne, a część danych przechowywana jest na dysku.Systemy i architektura
pamięć współdzielonaModel współbieżności, w którym wątki komunikują się przez wspólnie dostępny obszar pamięci, a koordynacja wymaga jawnej synchronizacji dostępu.Systemy i architektura
para kluczyPowiązane matematycznie dwa klucze — jawny i tajny — generowane razem, gdzie z jawnego nie da się praktycznie wyliczyć tajnego.Bezpieczeństwo
paradygmat programowaniaSpójny styl budowy programów określający, jak wyraża się obliczenia i organizuje strukturę kodu, np. oparty na stanie i krokach albo na obliczaniu funkcji.Teoria informatyki
parametrNazwana zmienna w definicji podprogramu, do której przy wywołaniu wiązany jest argument przekazany przez wołającego.Teoria informatyki
parsing składniowyAnaliza zdania prowadząca do wyznaczenia jego struktury gramatycznej w postaci drzewa zależności lub drzewa składników.AI / Machine Learning
partycjonowaniePrzestawienie elementów ciągu wokół elementu osiowego tak, by poprzedzające były odeń niewiększe, a następujące niemniejsze.Teoria informatyki
partycjonowanie danychsharding / partitioningPodział dużego zbioru danych na rozłączne fragmenty rozmieszczone na wielu węzłach w celu skalowania pojemności i przepustowości.Chmura i DevOps
PDUPDU — Protocol Data UnitJednostka danych protokołu (Protocol Data Unit) — porcja informacji wymieniana między równorzędnymi jednostkami danej warstwy, złożona z danych sterujących i użytkowych.Sieci
pełnomocnikProxyWzorzec dostarczający zastępczy obiekt kontrolujący dostęp do innego obiektu, np. dla leniwego ładowania lub ochrony dostępu.Inżynieria oprogramowania
perceptronNajprostszy model sztucznego neuronu: liniowy klasyfikator binarny obliczający ważoną sumę wejść i progujący ją funkcją skokową.AI / Machine Learning
perceptron wielowarstwowy (MLP)MLP; multilayer perceptronSieć neuronowa w pełni połączona z co najmniej jedną warstwą ukrytą i nieliniowymi aktywacjami, aproksymująca dowolną funkcję ciągłą.AI / Machine Learning
perpleksjaperplexityMiara jakości modelu językowego wyrażająca, jak bardzo model jest zaskoczony danymi testowymi; niższa wartość oznacza lepsze dopasowanie.AI / Machine Learning
pętlaKonstrukcja sterująca powtarzająca wykonanie ciała dopóki spełniony jest warunek lub przez zadaną liczbę iteracji.Teoria informatyki
pętla uzgadnianiareconciliation loopCiągły mechanizm porównujący stan rzeczywisty ze stanem docelowym i podejmujący akcje, by zniwelować różnicę między nimi.Chmura i DevOps
phishingWyłudzanie poufnych danych przez podszywanie się pod zaufaną instytucję w fałszywej wiadomości lub witrynie.Bezpieczeństwo
piąta postać normalna5NFPostać normalna eliminująca zależności złączeniowe niewynikające z kluczy; zwana też postacią normalną rzutowania-złączenia.Dane i bazy danych
pierwsza postać normalna1NFPostać normalna wymagająca, by każdy atrybut relacji przyjmował wyłącznie wartości atomowe, bez atrybutów wielowartościowych i zagnieżdżonych.Dane i bazy danych
PKIPublic Key InfrastructureZespół ról, polityk i procedur zarządzania certyfikatami klucza publicznego oraz urzędami certyfikacji, wiążący tożsamości z kluczami (Public Key Infrastructure).Sieci
plan fizycznyPlan wykonania przypisujący każdemu operatorowi logicznemu konkretny algorytm i metodę dostępu do danych.Dane i bazy danych
plan logicznyWyrażenie algebry relacyjnej opisujące, jakie operacje należy wykonać, bez wskazania konkretnych algorytmów ich realizacji.Dane i bazy danych
plan wykonania transakcjiharmonogram, scheduleUporządkowany przeplot operacji odczytu i zapisu pochodzących z wielu współbieżnych transakcji, zachowujący ich wewnętrzną kolejność.Dane i bazy danych
plan zapytaniaDrzewo operatorów algebry relacyjnej reprezentujące sposób wykonania zapytania na danych, ustalający kolejność i metody operacji.Dane i bazy danych
planistaschedulerKomponent orkiestratora przypisujący jednostki obciążenia do węzłów na podstawie zasobów, ograniczeń i reguł rozmieszczenia.Chmura i DevOps
plik stanustate fileStruktura danych utrzymywana przez narzędzie IaC, odwzorowująca zasoby z konfiguracji na rzeczywiste obiekty u dostawcy infrastruktury.Chmura i DevOps
płaszczyzna sterowaniacontrol planeZbiór komponentów zarządzających stanem klastra, podejmujących decyzje globalne i utrzymujących zgodność stanu rzeczywistego z deklarowanym.Chmura i DevOps
pobieranie z wyprzedzeniemprefetchingSprowadzanie bloków danych do cache zanim zostaną jawnie zażądane, na podstawie przewidywanego wzorca dostępu, by ukryć opóźnienie pamięci.Systemy i architektura
podatnośćSłabość systemu lub jego konfiguracji, którą może wykorzystać zagrożenie do naruszenia bezpieczeństwa.Bezpieczeństwo
podatność dnia zerowegozero-dayLuka nieznana producentowi i pozbawiona poprawki w momencie jej wykorzystania, dająca atakującemu przewagę czasową.Bezpieczeństwo
poddrzewoFragment drzewa złożony z wybranego węzła i wszystkich jego potomków, sam będący drzewem ukorzenionym.Teoria informatyki
podejście wstępująceang. bottom-upSposób organizacji obliczeń od najmniejszych podproblemów ku problemowi głównemu, z wypełnianiem tablicy rozwiązań.Teoria informatyki
podejście zstępująceang. top-downSposób organizacji obliczeń rekurencyjnych od problemu głównego ku podproblemom, zwykle z zapamiętywaniem wyników.Teoria informatyki
podpis cyfrowyKryptograficzny wynik dołączany do danych, tworzony kluczem prywatnym i weryfikowalny kluczem publicznym, zapewniający uwierzytelnienie i niezaprzeczalność.Bezpieczeństwo
podpowiadaniepromptingSterowanie zachowaniem modelu przez formułowanie wejściowego tekstu (instrukcji, kontekstu) zamiast zmiany jego wag.AI / Machine Learning
podsiećLogicznie wydzielony fragment większej sieci IP o wspólnym prefiksie, w którym hosty komunikują się bez udziału routera.Sieci
podtypowanieRelacja między typami, w której wartość typu podrzędnego może być bezpiecznie użyta wszędzie tam, gdzie oczekiwany jest typ nadrzędny.Teoria informatyki
podział siecinetwork partitionSytuacja, w której awaria łączności dzieli węzły na grupy niemogące się komunikować, mimo że same działają poprawnie.Systemy i architektura
pojemność modelumodel capacityZdolność modelu do dopasowania szerokiego zakresu funkcji; zbyt duża sprzyja przeuczeniu, zbyt mała niedouczeniu.AI / Machine Learning
polecenieCommandWzorzec kapsułkujący żądanie jako obiekt, co umożliwia parametryzowanie, kolejkowanie, rejestrowanie i cofanie operacji.Inżynieria oprogramowania
polimorfizmZdolność kodu lub funkcji do działania jednolicie na wartościach wielu różnych typów.Teoria informatyki
polimorfizm ad hocSposób, w którym funkcja zachowuje się różnie zależnie od typu argumentu, realizowany np. przez przeciążanie lub klasy typów.Teoria informatyki
polimorfizm parametrycznySposób, w którym funkcja działa jednolicie dla dowolnego typu parametryzującego, niezależnie od jego konkretnej postaci.Teoria informatyki
politykaOdwzorowanie ze stanów na akcje (lub rozkłady akcji), które determinuje zachowanie agenta w środowisku.AI / Machine Learning
polityka bezpieczeństwaZbiór reguł określających stany dozwolone i zabronione w systemie oraz to, kto może wykonywać jakie operacje na zasobach.Bezpieczeństwo
polityka zapisuReguła aktualizacji niższego poziomu pamięci przy zapisie do cache: natychmiastowa (write-through) lub odroczona do wymiany bloku (write-back).Systemy i architektura
połączenie rezydualneskip connection; residual connectionPominięcie warstw przez dodanie wejścia do ich wyjścia, ułatwiające propagację gradientu i trenowanie bardzo głębokich sieci.AI / Machine Learning
poolingłączenie; poolingOperacja agregująca lokalne obszary mapy cech (np. maksimum lub średnia) w celu redukcji wymiarowości i uodpornienia na małe przesunięcia.AI / Machine Learning
portLiczbowy identyfikator punktu końcowego komunikacji, pozwalający skierować dane do właściwego procesu aplikacyjnego na hoście.Sieci
porządek całkowityUporządkowanie, w którym wszystkie procesy dostarczają zbiór komunikatów w tej samej, jednoznacznie określonej kolejności.Systemy i architektura
porządek przyczynowySposób uporządkowania komunikatów lub zdarzeń, w którym każde zdarzenie jest dostarczane dopiero po wszystkich zdarzeniach, od których przyczynowo zależy.Systemy i architektura
postać normalnaWyrażenie, do którego nie można już zastosować żadnej reguły redukcji; reprezentuje w pełni obliczony wynik.Teoria informatyki
postać normalna Boyce-CoddaBCNFWzmocnienie trzeciej postaci normalnej: dla każdej nietrywialnej zależności funkcyjnej jej lewa strona musi być nadkluczem relacji.Dane i bazy danych
postępWłasność, w której poprawnie otypowane wyrażenie jest wartością albo może wykonać kolejny krok obliczenia, więc nie utyka w stanie błędu.Teoria informatyki
potok i filtrypipes and filtersStyl przetwarzania strumieniowego, w którym dane przepływają przez sekwencję niezależnych komponentów (filtrów) połączonych kanałami (potokami) przekształcających wejście w wyjście.Inżynieria oprogramowania
potok instrukcjipipeliningTechnika nakładania wykonania kolejnych instrukcji na siebie przez podział przetwarzania na etapy działające równolegle na różnych instrukcjach.Systemy i architektura
potok wdrożeniowyang. deployment pipelineZautomatyzowana, etapowa reprezentacja procesu doprowadzania zmiany od kontroli wersji do produkcji, w której każdy etap warunkuje przejście do następnego.Chmura i DevOps
potokowaniepipeliningWykonanie planu, w którym krotki wynikowe operatora są przekazywane bezpośrednio do następnego operatora bez materializacji wyników pośrednich.Dane i bazy danych
potwierdzenieACKKomunikat zwrotny odbiorcy informujący nadawcę o poprawnym odebraniu danych do określonego numeru sekwencyjnego.Sieci
powinowactwo procesoraCPU affinity → powinowactwo procesoraPowiązanie zadania z określonym procesorem lub rdzeniem, tak aby było tam szeregowane dla lepszego wykorzystania pamięci podręcznej.Systemy i architektura
powrótang. backtrackingMetoda przeszukiwania przestrzeni rozwiązań przez systematyczne rozszerzanie częściowego rozwiązania i wycofywanie się po napotkaniu ślepej ścieżki.Teoria informatyki
powtórka doświadczeńTechnika przechowywania przejść w buforze i losowego ich próbkowania do uczenia, dekorelująca dane i poprawiająca efektywność próbkową.AI / Machine Learning
poziom izolacjiStopień ochrony transakcji przed anomaliami współbieżności (np. read committed, repeatable read, serializable), wyznaczający dopuszczalne zjawiska.Dane i bazy danych
pożyczanieUzyskanie tymczasowej referencji do zasobu bez przejęcia jego własności, podlegające regułom wykluczania współbieżnego dostępu zapisującego.Teoria informatyki
praca operacyjnatoilRęczna, powtarzalna i zautomatyzowalna praca związana z utrzymaniem usługi, nieprzynosząca trwałej wartości i skalująca się z obciążeniem.Chmura i DevOps
prawo skalowaniascaling lawEmpiryczna zależność potęgowa wiążąca jakość modelu z liczbą parametrów, rozmiarem danych i budżetem obliczeniowym.AI / Machine Learning
precyzjaang. precisionUdział poprawnych wskazań klasy pozytywnej wśród wszystkich wskazań tej klasy; mierzy frakcję trafnych spośród przewidzianych pozytywów.AI / Machine Learning
predykatWyrażenie oznaczające relację lub własność elementów dziedziny, dające zdanie po podstawieniu argumentów.Teoria informatyki
prefiks sieciWiodąca, wspólna część adresów należących do jednej podsieci, zapisywana z długością w notacji bezklasowej.Sieci
problem faktoryzacjiTrudność rozkładu dużej liczby złożonej na czynniki pierwsze; fundament bezpieczeństwa schematu RSA.Bezpieczeństwo
problem korespondencji PostaPCPProblem doboru ciągu par słów dających po sklejeniu identyczne łańcuchy; klasyczny problem nierozstrzygalny.Teoria informatyki
problem logarytmu dyskretnegoDLPTrudność obliczeniowa znalezienia wykładnika w grupie cyklicznej dla danej potęgi generatora; podstawa bezpieczeństwa wielu schematów asymetrycznych.Bezpieczeństwo
problem nierozstrzygalnyProblem decyzyjny, dla którego nie istnieje algorytm dający poprawną odpowiedź dla każdego wejścia.Teoria informatyki
problem stopuProblem rozstrzygnięcia, czy dany program zatrzyma się dla danego wejścia; dowodliwie nierozstrzygalny.Teoria informatyki
proceduraPodprogram wykonywany dla efektów ubocznych, niezwracający wartości wynikowej w sensie matematycznej funkcji.Teoria informatyki
procesWykonujący się egzemplarz programu wraz z własną przestrzenią adresową, kodem, danymi, stosem i kontekstem rejestrów, zarządzany przez system operacyjny.Systemy i architektura
proces decyzyjny MarkowaMDPFormalny model środowiska zdefiniowany przez stany, akcje, prawdopodobieństwa przejść i nagrody, w którym przyszły stan zależy tylko od stanu i akcji bieżącej.AI / Machine Learning
proces zombiProces, który zakończył działanie, lecz jego wpis w tablicy procesów trwa, bo proces macierzysty nie odebrał jeszcze jego statusu zakończenia.Systemy i architektura
procesor wielordzeniowymulticoreUkład scalający wiele niezależnych rdzeni wykonawczych na jednej kości, realizujący równoległość na poziomie wątków i procesów.Systemy i architektura
programowanie aspektoweAOP — Aspect-Oriented ProgrammingParadygmat wydzielający zagadnienia przekrojowe (np. logowanie, transakcje) do aspektów wplatanych w kod programu w określonych punktach.Teoria informatyki
programowanie defensywneStyl pisania kodu zakładający możliwość nieprawidłowych danych i stanów, chroniący program przez walidację wejść i obsługę błędów.Inżynieria oprogramowania
programowanie deklaratywneParadygmat, w którym określa się, jaki ma być wynik obliczenia, a nie kolejność kroków prowadzących do niego.Teoria informatyki
programowanie dynamiczneTechnika rozwiązywania problemów z podproblemami nakładającymi się, polegająca na jednokrotnym obliczaniu i zapamiętywaniu rozwiązań podproblemów.Teoria informatyki
programowanie funkcyjneParadygmat traktujący obliczenia jako ewaluację funkcji matematycznych, unikający stanu zmiennego i efektów ubocznych.Teoria informatyki
programowanie imperatywneParadygmat opisujący obliczenia jako sekwencję instrukcji zmieniających stan programu poprzez przypisania do zmiennych.Teoria informatyki
programowanie linioweLP (ang. linear programming)Metoda optymalizacji funkcji liniowej przy ograniczeniach w postaci liniowych nierówności i równości.Teoria informatyki
programowanie logiczneParadygmat, w którym program jest zbiorem faktów i reguł logicznych, a obliczenie polega na automatycznym wnioskowaniu odpowiedzi na zapytanie.Teoria informatyki
programowanie obiektoweOOP — Object-Oriented ProgrammingParadygmat organizujący program wokół obiektów łączących dane i operacje, komunikujących się przez wywołania metod.Teoria informatyki
programowanie proceduralneOdmiana programowania imperatywnego strukturyzująca kod w procedury i funkcje wywoływane w celu wykonania zadań na wspólnym stanie.Teoria informatyki
programowanie sterowane testamiTDD → programowanie sterowane testamiTechnika wytwarzania, w której najpierw pisze się test definiujący wymaganie, a potem minimalny kod, który ten test spełnia, po czym następuje refaktoryzacja.Inżynieria oprogramowania
programowanie strukturalneDyscyplina konstruowania programów wyłącznie ze złożeń sekwencji, wyboru i iteracji, bez nieograniczonych skoków.Teoria informatyki
programowanie w parachTechnika, w której dwie osoby pracują nad jednym stanowiskiem: jedna pisze kod, druga na bieżąco go recenzuje, wymieniając się rolami.Inżynieria oprogramowania
programowanie współbieżneParadygmat strukturyzujący program jako współdziałające procesy lub wątki, których wykonanie może się przeplatać lub odbywać równolegle.Teoria informatyki
projekcjaoperacja piJednoargumentowa operacja algebry relacyjnej zwracająca relację z wybranym podzbiorem atrybutów, z usunięciem powtórzonych krotek.Dane i bazy danych
projektowanie kontraktoweDesign by ContractMetoda określania wzajemnych zobowiązań komponentów przez warunki wstępne, końcowe i niezmienniki traktowane jak kontrakt.Inżynieria oprogramowania
propagacja kontekstuPrzekazywanie identyfikatorów śladu i przedziału między usługami w nagłówkach żądań, umożliwiające powiązanie operacji w jeden ślad rozproszony.Chmura i DevOps
propagacja wstecznabackpropagationAlgorytm obliczania gradientu funkcji straty względem parametrów sieci przez wsteczne stosowanie reguły łańcuchowej warstwa po warstwie.AI / Machine Learning
protokół komunikacyjnyZbiór reguł określających format, kolejność i znaczenie komunikatów wymienianych między jednostkami sieci oraz akcje podejmowane przy ich wysyłaniu i odbiorze.Sieci
protokół niezawodnyProtokół transportowy gwarantujący dostarczenie danych bez utraty, duplikacji i w poprawnej kolejności dzięki potwierdzeniom i retransmisjom.Sieci
protokół podsłuchusnoopingMechanizm utrzymania spójności cache, w którym kontrolery monitorują wspólną magistralę i reagują na operacje innych procesorów na współdzielonych blokach.Systemy i architektura
protokół statusu certyfikatuOCSPProtokół do bieżącego odpytywania o status unieważnienia pojedynczego certyfikatu, alternatywny wobec pobierania całej listy CRL.Bezpieczeństwo
protokół WALwrite-ahead loggingZasada nakazująca zapisać rekord dziennika opisujący zmianę przed utrwaleniem samej zmienionej strony danych na dysku.Dane i bazy danych
protokół wyzwanie-odpowiedźSchemat uwierzytelniania, w którym weryfikator wysyła losowe wyzwanie, a strona dowodzi tożsamości, zwracając poprawną odpowiedź obliczoną z użyciem swojego sekretu.Bezpieczeństwo
prototypWzorzec tworzący nowe obiekty przez kopiowanie istniejącego egzemplarza-wzorca zamiast wywoływania konstruktora klasy.Inżynieria oprogramowania
proxyserwer pośredniczącyPośrednik przekazujący żądania między klientem a serwerem we własnym imieniu, mogący filtrować, buforować lub modyfikować ruch.Sieci
próbkowanie śladówSelektywne zachowywanie części śladów rozproszonych w celu ograniczenia kosztów przechowywania przy zachowaniu reprezentatywności danych.Chmura i DevOps
przechodzenie drzewaSystematyczne odwiedzanie każdego węzła drzewa, w porządku in-order, pre-order, post-order lub wszerz.Teoria informatyki
przechodzenie ścieżkidirectory traversalDostęp do plików spoza zamierzonego katalogu przez manipulację sekwencjami ścieżki, np. "../", w danych wejściowych aplikacji.Bezpieczeństwo
przeciążenie kaskadowecascading failureAwaria propagująca się przez system, gdy uszkodzenie jednego komponentu przenosi obciążenie na kolejne, powodując ich kolejne awarie.Systemy i architektura
przedział niepewnościOgraniczony zakres czasu rzeczywistego, w którym z gwarancją mieści się prawdziwa chwila zdarzenia, mimo niedokładności zegarów fizycznych.Systemy i architektura
przedział śladuspanPojedyncza, nazwana jednostka pracy w śladzie rozproszonym, opisana czasem rozpoczęcia, trwaniem i atrybutami; podstawowy element budujący ślad.Chmura i DevOps
przegląd koduSystematyczne badanie kodu źródłowego przez osoby inne niż autor w celu wykrycia defektów i poprawy jakości.Inżynieria oprogramowania
przekazywanie komunikatówModel współbieżności, w którym procesy koordynują działanie wyłącznie przez wysyłanie i odbieranie komunikatów, bez współdzielonej pamięci.Systemy i architektura
przekrój spójnyconsistent cutGlobalny stan, w którym dla każdego odebranego komunikatu uwzględniono również jego wysłanie; nie zawiera zdarzeń łamiących przyczynowość.Systemy i architektura
przełączanie awaryjnefailoverAutomatyczne przejęcie funkcji uszkodzonego komponentu przez element zapasowy w celu zachowania ciągłości działania usługi.Chmura i DevOps
przełączanie kontekstuZapisanie stanu jednego wykonywanego procesu i odtworzenie stanu innego, by procesor mógł podjąć wykonywanie tego drugiego.Systemy i architektura
przełącznikswitchUrządzenie warstwy łącza przekazujące ramki tylko do portu docelowego na podstawie adresu MAC, izolując domeny kolizyjne między portami.Sieci
przełącznik funkcjiang. feature flag/toggleMechanizm warunkowego włączania lub wyłączania funkcjonalności w działającym systemie bez ponownego wdrażania kodu.Chmura i DevOps
przepełnienie buforaZapis danych poza granicami przydzielonego bufora w pamięci, nadpisujący sąsiednie obszary i umożliwiający zmianę przepływu sterowania programu.Bezpieczeństwo
przepełnienie stosustack overflow → przepełnienie stosuStan błędu polegający na próbie włożenia elementu na stos, który osiągnął maksymalną pojemność.Teoria informatyki
przepisywanie zapytaniaPrzekształcanie zapytania w równoważne semantycznie wyrażenie o potencjalnie niższym koszcie, np. przez przesuwanie selekcji czy spłaszczanie podzapytań.Dane i bazy danych
przepływ w sieciFunkcja przypisująca łukom sieci wartości spełniające ograniczenia przepustowości i zachowania przepływu w wierzchołkach pośrednich.Teoria informatyki
przepustowośćthroughputLiczba zapytań lub tokenów przetwarzanych przez system inferencji w jednostce czasu.AI / Machine Learning
przepustowość kanałuMaksymalna informacja wzajemna między wejściem a wyjściem kanału po wszystkich rozkładach wejścia; górne ograniczenie szybkości niezawodnej transmisji.Teoria informatyki
przestrzeń nazwnamespaceMechanizm jądra Linux izolujący widok zasobów systemowych (procesy, sieć, montowania) dla grupy procesów, stanowiący podstawę izolacji kontenerów.Chmura i DevOps
przestrzeń ukrytaNiskowymiarowa przestrzeń reprezentacji, w której model koduje istotne czynniki zmienności danych.AI / Machine Learning
przesuwanie selekcjiHeurystyka optymalizacji przemieszczająca operacje selekcji jak najbliżej źródeł danych, by wcześnie zmniejszyć liczbę przetwarzanych krotek.Dane i bazy danych
przeszukiwanie w głąbDFSAlgorytm przeglądania grafu zagłębiający się maksymalnie wzdłuż każdej gałęzi przed nawrotem do nieodwiedzonych wierzchołków.Teoria informatyki
przeszukiwanie wiązkowebeam searchHeurystyka dekodowania utrzymująca k najbardziej prawdopodobnych częściowych sekwencji na każdym kroku generacji.AI / Machine Learning
przeszukiwanie wszerzBFSAlgorytm przeglądania grafu odwiedzający wierzchołki warstwami według rosnącej odległości od źródła.Teoria informatyki
przeszukiwanie wyczerpująceang. brute forceStrategia rozwiązywania problemu przez systematyczne wygenerowanie i sprawdzenie wszystkich kandydatów na rozwiązanie.Teoria informatyki
przetwarzanie języka naturalnegoNLPDział sztucznej inteligencji zajmujący się automatyczną analizą i generowaniem tekstu oraz mowy w językach ludzkich za pomocą metod obliczeniowych.AI / Machine Learning
przetwarzanie w chmurzeModel dostępu na żądanie przez sieć do współdzielonej puli konfigurowalnych zasobów obliczeniowych, szybko udostępnianych przy minimalnym nakładzie zarządzania.Chmura i DevOps
przeuczenieoverfittingStan, w którym model dopasowuje się do szumu danych treningowych, osiągając niski błąd treningowy, ale wysoki błąd na danych testowych.AI / Machine Learning
przewidywanie rozgałęzieńbranch predictionMechanizm prognozujący wynik instrukcji warunkowej, by potok mógł kontynuować pobieranie instrukcji bez czekania na rozstrzygnięcie skoku.Systemy i architektura
przezroczystość referencyjnaWłasność wyrażenia, które można zastąpić jego wartością bez zmiany zachowania programu.Teoria informatyki
przycinaniepruningUsuwanie nadmiarowych wag, neuronów lub kanałów sieci, by zmniejszyć liczbę parametrów i koszt obliczeniowy przy zachowaniu jakości.AI / Machine Learning
przydział pamięciDynamiczne przyznawanie i zwalnianie bloków pamięci procesom na żądanie, zarządzane przez alokator z wykorzystaniem strategii dopasowania.Systemy i architektura
PSPACEKlasa problemów decyzyjnych rozstrzygalnych przez deterministyczną maszynę Turinga z użyciem pamięci wielomianowej względem rozmiaru wejścia.Teoria informatyki
PSPACE-zupełnośćPSPACE-completeWłasność problemu należącego do PSPACE i będącego co najmniej tak trudnym jak każdy inny problem tej klasy względem redukcji wielomianowej.Teoria informatyki
publikuj-subskrybujpub-subStyl komunikacji, w którym nadawcy publikują komunikaty do kategorii zdarzeń, a odbiorcy subskrybują wybrane kategorie, bez wzajemnej zależności.Inżynieria oprogramowania
pula zasobówresource poolingZgrupowanie zasobów obliczeniowych dostawcy obsługujące wielu odbiorców z dynamicznym przydziałem fizycznych i wirtualnych zasobów według popytu.Chmura i DevOps
punkt kontrolnycheckpointZapisany migawkowo stan procesu lub systemu na trwałym nośniku, umożliwiający wznowienie obliczeń po awarii.Systemy i architektura
punkt montowaniaKatalog w istniejącym drzewie katalogów, do którego dołącza się inny system plików, czyniąc jego zawartość dostępną pod tą ścieżką.Systemy i architektura
Q
Q-learningAlgorytm off-policy uczenia różnic czasowych aktualizujący funkcję akcja-wartość ku optimum niezależnie od polityki generującej dane.AI / Machine Learning
QoSQuality of ServiceJakość usługi — zdolność sieci do zapewnienia ruchowi gwarantowanych parametrów przepustowości, opóźnienia, zmienności opóźnienia i strat (Quality of Service).Sieci
R
rachunek lambda z typamiSTLCFormalny rachunek funkcji z systemem typów ograniczającym poprawne wyrażenia, stanowiący rdzeń teorii typów języków programowania.Teoria informatyki
rachunek piπ-calculusAlgebra procesów modelująca współbieżność z mobilnością — nazwy kanałów mogą być przesyłane jako komunikaty, zmieniając topologię połączeń.Systemy i architektura
RAIIResource Acquisition Is InitializationWzorzec wiążący czas życia zasobu z czasem życia obiektu: pozyskanie w konstruktorze, zwolnienie w destruktorze przy wyjściu z zakresu.Teoria informatyki
ramkaJednostka danych warstwy łącza, opakowująca pakiet w nagłówek i stopkę z adresami sprzętowymi oraz polem kontroli błędów do transmisji przez pojedyncze łącze.Sieci
ramka aktywacjirekord aktywacjiObszar stosu przydzielany wywołaniu funkcji, przechowujący jej argumenty, zmienne lokalne i adres powrotu.Teoria informatyki
ramka stronyBlok fizycznej pamięci operacyjnej o stałym rozmiarze równym stronie, do którego mapowana jest strona wirtualna.Systemy i architektura
ransomwareZłośliwe oprogramowanie szyfrujące dane ofiary lub blokujące dostęp do systemu, żądające okupu za przywrócenie dostępu.Bezpieczeństwo
RBACRole-Based Access ControlModel nadawania uprawnień poprzez przypisywanie podmiotów do ról, a uprawnień do ról, zamiast bezpośrednio do podmiotów.Bezpieczeństwo
redukcjaPrzekształcenie jednego problemu w inny, tak że rozwiązanie drugiego daje rozwiązanie pierwszego; podstawa projektowania i klasyfikacji złożoności.Teoria informatyki
redukcja betaβ-redukcjaPodstawowa reguła obliczeniowa rachunku lambda: aplikacja abstrakcji do argumentu zastępuje go w ciele za związaną zmienną.Teoria informatyki
redukcja Turingaredukcja CookaSprowadzenie jednego problemu do drugiego z wykorzystaniem wyroczni rozwiązującej problem docelowy wielokrotnie, mierzące względną trudność obliczeniową.Teoria informatyki
redukcja wielomianowaredukcja KarpaPrzekształcenie instancji jednego problemu w instancję drugiego, obliczalne w czasie wielomianowym i zachowujące odpowiedź, służące porównaniu trudności problemów.Teoria informatyki
redukcja wymiarowościPrzekształcenie danych z przestrzeni wysokowymiarowej do niższego wymiaru z zachowaniem istotnej struktury lub wariancji.AI / Machine Learning
redundancjaredundancyCelowe powielanie krytycznych komponentów lub danych, tak aby awaria jednego elementu nie spowodowała utraty funkcji całego systemu.Chmura i DevOps
refaktoryzacjaZmiana wewnętrznej struktury kodu poprawiająca jego czytelność i strukturę bez modyfikacji obserwowalnego zachowania zewnętrznego.Inżynieria oprogramowania
refaktoryzacja architektonicznaStopniowe przekształcanie struktury architektury systemu w celu poprawy atrybutów jakościowych przy zachowaniu funkcjonalności.Inżynieria oprogramowania
regresjaZadanie predykcji, w którym model przewiduje ciągłą wartość liczbową na podstawie cech wejściowych.AI / Machine Learning
regresja logistycznaModel liniowy klasyfikacji szacujący prawdopodobieństwo przynależności do klasy przez przepuszczenie kombinacji liniowej cech przez funkcję sigmoidalną.AI / Machine Learning
regularyzacjaTechnika ograniczania złożoności modelu przez dodanie kary do funkcji celu lub inne ograniczenia, redukująca przeuczenie i poprawiająca uogólnianie.AI / Machine Learning
regularyzacja L1lassoDodanie do funkcji straty kary proporcjonalnej do sumy wartości bezwzględnych wag, sprzyjającej rozwiązaniom rzadkim z zerowymi wagami.AI / Machine Learning
regularyzacja L2weight decayDodanie do funkcji straty kary proporcjonalnej do kwadratu normy parametrów, co zmniejsza ich wartości i poprawia generalizację.AI / Machine Learning
reguła wnioskowaniaSchemat dopuszczający przejście od formuł przesłankowych do wniosku w systemie dedukcyjnym, np. modus ponens.Teoria informatyki
rejestr obrazówUsługa przechowująca i dystrybuująca obrazy kontenerów, umożliwiająca ich publikowanie i pobieranie przez klientów wykonawczych.Chmura i DevOps
rekurencjaTechnika definiowania podprogramu poprzez bezpośrednie lub pośrednie odwołanie do samego siebie aż do osiągnięcia przypadku bazowego.Teoria informatyki
rekurencja ogonowaPostać rekurencji, w której wywołanie rekurencyjne jest ostatnią operacją funkcji, co umożliwia wykonanie bez narastania stosu.Teoria informatyki
relacjarelacja (tabela)Matematyczna struktura danych będąca podzbiorem iloczynu kartezjańskiego dziedzin atrybutów; reprezentuje zbiór krotek o jednolitym schemacie. Implementowana jako tabela.Dane i bazy danych
relacja porządkuRelacja zwrotna, antysymetryczna i przechodnia, porządkująca elementy zbioru; częściowa, gdy nie wszystkie pary są porównywalne.Teoria informatyki
relacja równoważnościRelacja dwuargumentowa zwrotna, symetryczna i przechodnia, dzieląca zbiór na rozłączne klasy abstrakcji.Teoria informatyki
relacja stało-się-przedhappened-beforeCzęściowy porządek na zdarzeniach systemu rozproszonego wyrażający potencjalną zależność przyczynową: zdarzenie a poprzedza b w tym samym procesie lub przez przesłany komunikat.Systemy i architektura
relaksacjaZłagodzenie ograniczeń problemu w celu uzyskania łatwiejszego zadania, którego rozwiązanie daje oszacowanie optimum oryginału.Teoria informatyki
ReLUrectified linear unitProstowana jednostka liniowa — funkcja aktywacji zwracająca maksimum z zera i wejścia, łagodząca problem zanikającego gradientu.AI / Machine Learning
replikaJedna z wielu identycznych instancji obciążenia utrzymywanych równolegle dla dostępności i równoważenia obciążenia.Chmura i DevOps
replikacjaUtrzymywanie kopii tych samych danych na wielu węzłach w celu zwiększenia dostępności, odporności na awarie i lokalności odczytu.Dane i bazy danych
replikacja maszyny stanowejSMR — state machine replicationMetoda zapewniania spójności replik przez wykonywanie tej samej deterministycznej sekwencji poleceń w identycznym porządku na każdej kopii.Systemy i architektura
repozytorium artefaktówWersjonowany magazyn przechowujący i udostępniający artefakty budowy oraz zależności, zapewniający ich powtarzalne pobieranie w potoku.Chmura i DevOps
retransmisjaPonowne wysłanie danych, dla których nadawca nie otrzymał potwierdzenia w wyznaczonym czasie lub wykrył ich utratę.Sieci
RISCReduced Instruction Set ComputerArchitektura o zredukowanej liście rozkazów: niewiele prostych instrukcji o stałej długości, sprzyjających potokowaniu i operacjom rejestr-rejestr.Systemy i architektura
RLHFReinforcement Learning from Human FeedbackUczenie ze wzmocnieniem na podstawie preferencji ludzi — dostrajanie modelu tak, by jego wyjścia maksymalizowały nagrodę odzwierciedlającą oceny człowieka.AI / Machine Learning
rodzajTyp typów: klasyfikacja konstruktorów typów określająca ich aplikowalność, analogiczna do typów dla wartości.Teoria informatyki
rotacjaLokalna operacja restrukturyzująca drzewo wyszukiwań, zmieniająca układ trzech węzłów z zachowaniem porządku, używana do balansowania.Teoria informatyki
ROUGERecall-Oriented Understudy for Gisting EvaluationRodzina miar jakości streszczeń porównujących pokrycie n-gramów i najdłuższych podsekwencji między tekstem a referencją.AI / Machine Learning
routingWyznaczanie ścieżek, którymi pakiety są przesyłane między sieciami, na podstawie informacji o topologii i adresach docelowych.Sieci
routing stanu łączalink-stateAlgorytm routingu, w którym każdy węzeł rozgłasza stan swoich łączy, buduje pełną mapę topologii i liczy najkrótsze ścieżki.Sieci
routing wektora odległościdistance-vectorAlgorytm routingu, w którym węzły wymieniają z sąsiadami szacowane odległości do celów i iteracyjnie obliczają najkrótsze trasy.Sieci
rozgłoszenie atomowetotal order broadcastPrymityw komunikacyjny dostarczający każdy komunikat do wszystkich poprawnych procesów w identycznym porządku całkowitym, na zasadzie wszystko-albo-nic.Systemy i architektura
rozliczanie według zużyciapay-per-useModel płatności, w którym opłata zależy od faktycznie zmierzonego wykorzystania zasobów, bez kosztów stałych za niewykorzystaną pojemność.Chmura i DevOps
rozpoznawanie nazw własnychNERWykrywanie i klasyfikowanie w tekście fragmentów odnoszących się do encji nazwanych, takich jak osoby, organizacje czy miejsca.AI / Machine Learning
rozstrzygalnośćWłasność języka, dla którego istnieje maszyna Turinga zatrzymująca się i poprawnie odpowiadająca tak/nie dla każdego wejścia.Teoria informatyki
rozwiązywanie koreferencjicoreference resolutionWskazywanie wyrażeń w tekście, które odnoszą się do tej samej encji w świecie rzeczywistym.AI / Machine Learning
rozwiązywanie nazwresolucja DNSTłumaczenie czytelnej nazwy zasobu na odpowiadający jej adres sieciowy poprzez zapytanie do rozproszonego systemu nazw.Sieci
rozwój sterowany zachowaniemBDD → rozwój sterowany zachowaniemMetodyka rozszerzająca TDD, w której wymagania zapisuje się jako wykonywalne scenariusze zachowania w języku zrozumiałym dla interesariuszy.Inżynieria oprogramowania
równanie BellmanaRekurencyjna zależność wyrażająca wartość stanu przez nagrodę bieżącą i zdyskontowaną wartość stanów następnych; rdzeń programowania dynamicznego w RL.AI / Machine Learning
równoległośćWłasność wykonania, w której wiele operacji jest realizowanych dosłownie jednocześnie na osobnych jednostkach przetwarzania.Systemy i architektura
równoważenie obciążeniaload balancingRozdzielanie przychodzących żądań pomiędzy wiele instancji usługi w celu uniknięcia przeciążenia pojedynczego węzła i poprawy przepustowości.Chmura i DevOps
RPrandomized polynomialKlasa problemów rozstrzygalnych w wielomianowym czasie przez maszynę probabilistyczną z jednostronnym błędem: nigdy nie myli się dla instancji negatywnych.Teoria informatyki
RPCRemote Procedure CallMechanizm wywołania procedury wykonywanej w innej przestrzeni adresowej (zwykle na zdalnym hoście), ukrywający komunikację sieciową za interfejsem zwykłego wywołania lokalnego.Systemy i architektura
rzadki pliksparse file → rzadki plikPlik, w którym ciągłe obszary zerowe nie zajmują bloków na nośniku, lecz są reprezentowane jako luki w mapie alokacji, oszczędzając miejsce.Systemy i architektura
rzadkośćsparsityWłasność modelu, w którym znaczna część wag ma wartość zero, co umożliwia kompresję i przyspieszenie obliczeń rzadkich.AI / Machine Learning
S
S-blokS-boxTablica podstawień odwzorowująca wejściowe bity na wyjściowe, wprowadzająca nieliniowość do szyfru blokowego.Bezpieczeństwo
SaaSSoftware as a ServiceModel usługowy, w którym odbiorca korzysta z aplikacji dostawcy działającej w chmurze, bez zarządzania infrastrukturą ani samą aplikacją.Chmura i DevOps
samoobsługa na żądanieon-demand self-serviceZdolność odbiorcy do samodzielnego udostępniania zasobów obliczeniowych automatycznie, bez interakcji z personelem dostawcy usług.Chmura i DevOps
samouwagaself-attentionWariant uwagi, w którym zapytania, klucze i wartości pochodzą z tej samej sekwencji, modelując zależności między jej elementami.AI / Machine Learning
schemat dynamicznyschema-on-readWłasność systemu, w którym struktura rekordów nie jest narzucana z góry, lecz określana przy odczycie przez aplikację (schema-on-read).Dane i bazy danych
schemat gwiazdyModel wymiarowy z centralną tabelą faktów połączoną bezpośrednio z odnotowanymi tabelami wymiarów, zoptymalizowany pod zapytania analityczne.Dane i bazy danych
schemat płatka śnieguWariant modelu wymiarowego, w którym tabele wymiarów są znormalizowane na kolejne tabele powiązane relacjami.Dane i bazy danych
schemat relacjiOpis struktury relacji: nazwa wraz z listą atrybutów i ich dziedzin; definiuje intensję, niezależnie od aktualnych krotek.Dane i bazy danych
segmentPDU warstwy transportuJednostka danych warstwy transportowej zawierająca nagłówek transportowy i fragment strumienia danych aplikacji.Sieci
segmentacjaSchemat zarządzania pamięcią dzielący przestrzeń adresową na segmenty o zmiennej długości odpowiadające logicznym jednostkom programu, adresowane parą numer segmentu i przesunięcie.Systemy i architektura
segmentacja sieciPodział sieci na izolowane podsieci w celu ograniczenia propagacji zagrożeń i kontroli ruchu między strefami.Bezpieczeństwo
sekcja krytycznaFragment kodu operujący na zasobie współdzielonym, który musi być wykonywany przez jedno zadanie naraz, aby zachować spójność.Systemy i architektura
selekcjaoperacja sigmaJednoargumentowa operacja algebry relacyjnej zwracająca krotki relacji spełniające zadany predykat logiczny; zachowuje schemat.Dane i bazy danych
semaforZmienna całkowita modyfikowana wyłącznie atomowymi operacjami opuszczania i podnoszenia, służąca do synchronizacji dostępu do zasobów.Systemy i architektura
semantyka aksjomatycznaSposób opisu znaczenia programów przez asercje logiczne o stanach przed i po wykonaniu, zwykle za pomocą trójek Hoare'a.Teoria informatyki
semantyka denotacyjnaSposób nadawania znaczenia programom przez odwzorowanie konstrukcji składniowych na obiekty matematyczne (denotacje) w dziedzinach semantycznych.Teoria informatyki
semantyka dużych krokówsemantyka naturalnaWariant semantyki operacyjnej wiążący wyrażenie bezpośrednio z jego końcową wartością bez opisu pośrednich kroków.Teoria informatyki
semantyka kopiuj-przy-zapisieCoW → kopiuj-przy-zapisieStrategia, w której modyfikacja danych zapisuje nowe wersje bloków zamiast nadpisywać istniejące, zachowując starą wersję do czasu zatwierdzenia.Systemy i architektura
semantyka małych krokówsemantyka strukturalna (SOS)Wariant semantyki operacyjnej opisujący wykonanie jako pojedyncze, atomowe przejścia redukcyjne między konfiguracjami.Teoria informatyki
semantyka operacyjnaSposób definiowania znaczenia programu przez opis kroków wykonania na abstrakcyjnej maszynie lub przez reguły przejść między stanami.Teoria informatyki
separacja obowiązkówSoD; Separation of DutiesZasada dzielenia krytycznego zadania między wiele podmiotów tak, by żaden samodzielnie nie mógł go nadużyć ani ukończyć.Bezpieczeństwo
serializowalnośćKryterium poprawności wykonania współbieżnych transakcji: efekt jest równoważny pewnemu wykonaniu szeregowemu tych transakcji.Systemy i architektura
serializowalność migawkowasnapshot isolationPoziom izolacji, w którym transakcja czyta spójną migawkę bazy z chwili rozpoczęcia, a konflikt zapis-zapis powoduje przerwanie jednej z transakcji.Systemy i architektura
serverlessprzetwarzanie bezserweroweModel wykonywania, w którym dostawca dynamicznie zarządza serwerami i skalowaniem, a odbiorca nie aprowizuje ani nie utrzymuje infrastruktury.Chmura i DevOps
serwowanie modelimodel servingUdostępnianie wytrenowanego modelu jako usługi obsługującej zapytania predykcyjne w produkcji.AI / Machine Learning
sesjaLogiczny, trwający w czasie kontekst wymiany danych między dwiema stronami, utrzymywany ponad pojedynczymi żądaniami przez identyfikator.Sieci
SGDstochastic gradient descentStochastyczny spadek gradientu — wariant spadku gradientu szacujący gradient na losowej próbce (mini-paczce) zamiast całego zbioru danych.AI / Machine Learning
shardingpartycjonowanie poziomePoziome partycjonowanie danych na rozłączne podzbiory (shardy) rozmieszczone na wielu węzłach w celu skalowania pojemności i przepustowości.Dane i bazy danych
siatka usługservice meshDedykowana warstwa infrastruktury sterująca komunikacją między usługami, zapewniająca routing, obserwowalność i bezpieczeństwo bez zmian w kodzie aplikacji.Chmura i DevOps
sieć dostarczania treściCDNRozproszona geograficznie infrastruktura serwerów buforujących, dostarczająca treść z węzła najbliższego użytkownikowi w celu zmniejszenia opóźnień.Sieci
sieć FeistelaStruktura szyfru blokowego dzieląca blok na dwie połowy przetwarzane iteracyjnie funkcją rundy, odwracalna bez odwracania tej funkcji.Bezpieczeństwo
sieć głębokaSieć neuronowa z wieloma warstwami ukrytymi, ucząca hierarchiczne reprezentacje danych o rosnącym poziomie abstrakcji.AI / Machine Learning
sieć nakładkowaoverlay networkWirtualna sieć logiczna zbudowana na istniejącej infrastrukturze, umożliwiająca komunikację kontenerów między węzłami niezależnie od topologii fizycznej.Chmura i DevOps
sieć PetriegoFormalny model graficzny systemów współbieżnych opisujący przepływ znaczników przez miejsca i przejścia, reprezentujący stany i zdarzenia.Systemy i architektura
sieć podstawieniowo-permutacyjnaSPNArchitektura szyfru blokowego naprzemiennie stosująca warstwy podstawień (S-bloki) i permutacji bitów w wielu rundach.Bezpieczeństwo
sieć rekurencyjna (RNN)RNN; recurrent neural networkArchitektura przetwarzająca sekwencje przez stan ukryty rekurencyjnie aktualizowany w kolejnych krokach czasowych.AI / Machine Learning
sieć splotowa (CNN)CNN; convolutional neural networkArchitektura wykorzystująca warstwy splotowe z dzielonymi wagami do ekstrakcji lokalnych cech, dominująca w przetwarzaniu obrazów.AI / Machine Learning
silna normalizacjaWłasność systemu, w którym każda sekwencja redukcji dowolnego wyrażenia jest skończona i kończy się postacią normalną.Teoria informatyki
silnie spójna składowaSCCMaksymalny zbiór wierzchołków grafu skierowanego, w którym każdy jest osiągalny z każdego innego.Teoria informatyki
singletonWzorzec konstrukcyjny gwarantujący istnienie najwyżej jednej instancji klasy i udostępniający do niej globalny punkt dostępu.Inżynieria oprogramowania
skalowalnośćscalabilityZdolność systemu do utrzymania wydajności przy wzroście obciążenia poprzez proporcjonalne dodawanie zasobów.Chmura i DevOps
skalowanie pionowevertical scaling / scale upZwiększanie wydajności systemu przez dodanie zasobów (CPU, RAM) do pojedynczej maszyny obsługującej obciążenie.Chmura i DevOps
skalowanie poziomehorizontal scaling / scale outZwiększanie wydajności systemu przez dodawanie kolejnych jednostek (węzłów, instancji) obsługujących obciążenie, zamiast wzmacniania pojedynczej maszyny.Chmura i DevOps
skanowanie indeksowePobieranie krotek przez przejście struktury indeksu zamiast odczytu całej relacji, zwykle wydajne przy wysokiej selektywności warunku.Dane i bazy danych
skanowanie podatnościAutomatyczne badanie systemu pod kątem znanych słabości w celu identyfikacji i klasyfikacji zagrożeń.Bezpieczeństwo
skanowanie portówTechnika rozpoznania polegająca na badaniu portów hosta w celu ustalenia otwartych usług i potencjalnych wektorów ataku.Bezpieczeństwo
skojarzenieZbiór krawędzi grafu, z których żadne dwie nie mają wspólnego wierzchołka; skojarzenie maksymalne ma największą liczność.Teoria informatyki
skrót kryptograficznyhash / digestCiąg bitów o stałej długości będący wynikiem działania funkcji skrótu na wiadomości, pełniący rolę jej zwięzłego odcisku.Bezpieczeństwo
SLAService Level AgreementUmowa o poziomie usługi (Service Level Agreement) — formalne zobowiązanie dostawcy wobec klienta dotyczące poziomu dostępności lub wydajności, z konsekwencjami za niedotrzymanie.Chmura i DevOps
SLIService Level IndicatorWskaźnik poziomu usługi (Service Level Indicator) — mierzalna metryka opisująca rzeczywistą jakość usługi, np. opóźnienie czy odsetek poprawnych żądań.Chmura i DevOps
SLOService Level ObjectiveCel poziomu usługi (Service Level Objective) — docelowa wartość wskaźnika niezawodności, którą system ma osiągnąć w danym okresie.Chmura i DevOps
smród koducode smellPowierzchniowy objaw w kodzie sugerujący głębszy problem projektowy, np. zbyt długa metoda czy duplikacja, wskazujący kandydata do refaktoryzacji.Inżynieria oprogramowania
SOAservice-oriented architectureArchitektura zorientowana na usługi (service-oriented architecture) — styl budujący system z luźno powiązanych, współdzielonych usług biznesowych dostępnych przez zdefiniowane interfejsy.Inżynieria oprogramowania
SOLIDakronim 5 zasadZestaw pięciu zasad projektowania zorientowanego obiektowo (m.in. jednej odpowiedzialności, otwarte-zamknięte) wspierających utrzymywalność i rozszerzalność.Inżynieria oprogramowania
sortowanieUporządkowanie elementów zbioru wedle relacji liniowego porządku zdefiniowanej na kluczach, dające ciąg niemalejący lub nierosnący.Teoria informatyki
sortowanie pozycyjneradix sortAlgorytm liniowy sortujący klucze cyfra po cyfrze przy użyciu stabilnego sortowania pomocniczego, bez porównań między kluczami.Teoria informatyki
sortowanie przez kopcowanieheapsortAlgorytm sortowania budujący kopiec binarny i kolejno usuwający korzeń, dający porządek w miejscu w czasie n log n.Teoria informatyki
sortowanie przez scalaniemerge sortAlgorytm sortowania typu dziel-i-zwyciężaj, rekurencyjnie dzielący ciąg i scalający posortowane połowy; czas n log n.Teoria informatyki
sortowanie przez zliczaniecounting sortAlgorytm liniowy zliczający wystąpienia kluczy z ograniczonego zakresu całkowitego i rozmieszczający elementy wg sum prefiksowych.Teoria informatyki
sortowanie stabilneWłasność algorytmu sortowania zachowująca względną kolejność elementów o równych kluczach z wejścia.Teoria informatyki
sortowanie szybkiequicksortAlgorytm sortowania dzielący ciąg względem elementu osiowego na części mniejsze i większe; średni czas n log n, pesymistyczny n².Teoria informatyki
sortowanie topologiczneLiniowe uporządkowanie wierzchołków grafu acyklicznego skierowanego zgodne z kierunkiem wszystkich krawędzi.Teoria informatyki
sortowanie w miejscuin-placeWłasność algorytmu sortującego dane przy stałej, niezależnej od rozmiaru wejścia, dodatkowej pamięci pomocniczej.Teoria informatyki
sól kryptograficznasaltLosowa wartość dodawana do hasła przed haszowaniem, czyniąca skróty unikalnymi i udaremniająca ataki z tablicami wstępnie obliczonymi.Bezpieczeństwo
spadek gradientuIteracyjna metoda optymalizacji aktualizująca parametry w kierunku przeciwnym do gradientu funkcji straty, aby zmniejszyć jej wartość.AI / Machine Learning
spełnialnośćSATWłasność formuły polegająca na istnieniu wartościowania nadającego jej wartość prawdy.Teoria informatyki
spoofingPodszywanie się pod inny podmiot lub adres (np. IP, ARP, e-mail) w celu oszukania systemu lub użytkownika co do źródła komunikacji.Bezpieczeństwo
spójna składowaMaksymalny podzbiór wierzchołków grafu wzajemnie osiągalnych przez ścieżki, wraz z łączącymi je krawędziami.Teoria informatyki
spójnik logicznyOperator zdaniotwórczy (np. negacja, koniunkcja, implikacja) budujący zdanie złożone z prostszych, którego wartość zależy od wartości składowych.Teoria informatyki
spójnośćcohesionStopień, w jakim elementy pojedynczego modułu są ze sobą funkcjonalnie powiązane i służą jednemu zadaniu; wysoka spójność jest pożądana.Inżynieria oprogramowania
spójność grafuWłasność grafu polegająca na istnieniu ścieżki między każdą parą wierzchołków; w grafach skierowanych rozróżnia się spójność silną i słabą.Teoria informatyki
spójność monotoniczna odczytówmonotonic readsGwarancja sesyjna: jeśli proces odczytał pewną wartość obiektu, kolejne odczyty nie zwrócą wartości starszej niż już zaobserwowana.Systemy i architektura
spójność monotoniczna zapisówmonotonic writesGwarancja sesyjna: zapisy jednego procesu są stosowane we wszystkich replikach w kolejności, w jakiej proces je wykonał.Systemy i architektura
spójność ograniczonego rozbieżeniabounded stalenessModel określający dopuszczalną granicę rozbieżności replik — w wymiarze czasu, liczby wersji lub błędu numerycznego — zanim wymuszona zostanie synchronizacja.Systemy i architektura
spójność ostatecznaGwarancja, że przy braku nowych zapisów wszystkie repliki danego obiektu w końcu zbiegną do tej samej wartości.Systemy i architektura
spójność pamięci podręcznychkoherencja cacheWłasność systemu wieloprocesorowego gwarantująca, że wszystkie kopie danego bloku w różnych cache odzwierciedlają jego najnowszą wartość.Systemy i architektura
spójność PRAMFIFO consistencyModel, w którym zapisy jednego procesu są widziane przez pozostałe w kolejności ich wykonania, lecz zapisy różnych procesów mogą być obserwowane w różnym porządku.Systemy i architektura
spójność procesorowaprocessor consistencyModel, w którym zapisy każdego pojedynczego procesora są widziane przez wszystkie inne w kolejności programu, lecz globalny porządek zapisów różnych procesorów nie jest gwarantowany.Systemy i architektura
spójność przyczynowaModel gwarantujący, że operacje powiązane relacją przyczynowo-skutkową są widziane przez wszystkie procesy w tym samym porządku; operacje współbieżne mogą różnić się porządkiem.Systemy i architektura
spójność sekwencyjnaModel, w którym wynik wykonania jest taki, jakby operacje wszystkich procesów wykonano w pewnym porządku globalnym zgodnym z kolejnością programu każdego procesu.Systemy i architektura
spójność silna ostatecznaSECWzmocnienie spójności ostatecznej: repliki, które otrzymały ten sam zbiór aktualizacji, mają identyczny stan, bez konieczności rozwiązywania konfliktów.Systemy i architektura
spójność słabaModel rozróżniający zwykłe dostępy od operacji synchronizacji; spójność pamięci jest wymuszana tylko w punktach synchronizacji.Systemy i architektura
spójność zwolnieniowarelease consistencyModel słaby rozróżniający operacje acquire i release; zmiany stają się widoczne dla innych dopiero przy operacji zwolnienia blokady.Systemy i architektura
sprawdzanie typówWeryfikacja, że operacje w programie są stosowane do argumentów zgodnych z regułami systemu typów, zwykle w czasie kompilacji.Teoria informatyki
sprzężeniecouplingStopień wzajemnej zależności między modułami; niskie sprzężenie ułatwia zmiany i ponowne użycie, wysokie utrudnia utrzymanie.Inżynieria oprogramowania
stałaNazwana lub literałowa wartość ustalona w trakcie kompilacji lub inicjalizacji, której nie wolno zmienić podczas wykonania programu.Teoria informatyki
stan docelowydesired stateOpisany w konfiguracji pożądany kształt infrastruktury, do którego narzędzie automatycznie sprowadza system rzeczywisty (reconciliation).Chmura i DevOps
stan globalnyZbiór lokalnych stanów wszystkich procesów i kanałów w danym punkcie, opisujący chwilowy obraz systemu rozproszonego.Systemy i architektura
stan procesuAktualna faza cyklu życia procesu — np. nowy, gotowy, wykonywany, oczekujący lub zakończony — determinująca jego dostęp do procesora.Systemy i architektura
statystyka pozycyjnaorder statistici-ty co do wielkości element zbioru; szczególne przypadki to minimum, maksimum i mediana.Teoria informatyki
stemmingHeurystyczne obcinanie końcówek wyrazów do wspólnego rdzenia, bez gwarancji poprawności słownikowej wyniku.AI / Machine Learning
sterowanie współbieżnościąconcurrency controlMechanizm koordynujący równoczesne transakcje tak, by ich przeploty pozostawały poprawne, zwykle szeregowalne, mimo dostępu do wspólnych danych.Dane i bazy danych
stertaplik sterty (heap file)Organizacja pliku, w której rekordy są przechowywane bez narzuconego porządku, w kolejności wstawiania, a wyszukiwanie wymaga skanu pełnego.Dane i bazy danych
stopień relacjiarnośćLiczba atrybutów w schemacie relacji; określa arność, czyli wymiar krotek tworzących relację.Dane i bazy danych
stopień Turingastopień nierozstrzygalnościKlasa równoważności zbiorów o tej samej trudności obliczeniowej względem redukowalności Turinga.Teoria informatyki
stopień wierzchołkaLiczba krawędzi incydentnych z danym wierzchołkiem; w grafie skierowanym rozróżnia się stopień wejściowy i wyjściowy.Teoria informatyki
stosLIFO → stosLiniowa struktura o dyscyplinie LIFO: element ostatnio włożony jest pierwszym usuwanym; operacje push i pop działają na jednym końcu.Teoria informatyki
stos protokołówUporządkowany zestaw współpracujących protokołów przypisanych do kolejnych warstw, realizujący pełną komunikację między systemami.Sieci
stos wywołańStruktura pamięci typu LIFO przechowująca ramki aktywacji aktywnych wywołań procedur w trakcie wykonania programu.Teoria informatyki
strategiaStrategyWzorzec kapsułkujący rodzinę wymiennych algorytmów za wspólnym interfejsem, umożliwiając ich podmianę niezależnie od klienta.Inżynieria oprogramowania
strategia epsilon-zachłannaMetoda eksploracji wybierająca z prawdopodobieństwem epsilon akcję losową, a w pozostałych przypadkach akcję o najwyższej szacowanej wartości.AI / Machine Learning
strojenie hiperparametrówProces poszukiwania wartości hiperparametrów minimalizujących błąd walidacyjny, np. przez przeszukiwanie siatki lub losowe.AI / Machine Learning
strojenie instrukcyjneinstruction tuningDostrajanie modelu na zbiorze par instrukcja–odpowiedź, by lepiej wykonywał polecenia sformułowane w języku naturalnym.AI / Machine Learning
strona danychblok (page/block)Najmniejsza jednostka odczytu i zapisu między dyskiem a pamięcią operacyjną, grupująca rekordy w blok o stałym rozmiarze.Dane i bazy danych
strona pamięciBlok wirtualnej przestrzeni adresowej o stałym rozmiarze, będący jednostką transferu i mapowania między pamięcią logiczną a fizyczną.Systemy i architektura
stronicowanieSchemat zarządzania pamięcią dzielący przestrzeń adresową na ramki i strony stałego rozmiaru oraz mapujący strony logiczne na ramki fizyczne przez tablicę stron.Systemy i architektura
stronicowanie na żądaniedemand pagingStrategia ładowania strony do pamięci dopiero w chwili pierwszego odwołania do niej, zamiast wczytywania całego procesu z góry.Systemy i architektura
struktura danych liniowaStruktura, w której elementy tworzą uporządkowany ciąg, gdzie każdy element ma co najwyżej jednego następnika i jednego poprzednika.Teoria informatyki
strumień kluczakeystreamPseudolosowa sekwencja generowana z klucza, łączona z tekstem jawnym (zwykle XOR) w szyfrach strumieniowych.Bezpieczeństwo
suma kontrolnaPole obliczane z zawartości jednostki danych, pozwalające odbiorcy wykryć przekłamania bitów powstałe podczas transmisji.Sieci
superkluczZbiór atrybutów, którego wartości jednoznacznie identyfikują każdą krotkę relacji, niekoniecznie minimalny.Dane i bazy danych
superskalarnośćZdolność procesora do pobierania i wykonywania więcej niż jednej instrukcji na takt dzięki wielu równoległym jednostkom wykonawczym.Systemy i architektura
SVMsupport vector machine, maszyna wektorów nośnychMaszyna wektorów nośnych — klasyfikator wyznaczający hiperpłaszczyznę maksymalizującą margines między klasami, z możliwością odwzorowania jądrowego.AI / Machine Learning
sygnał tętnaheartbeatOkresowy komunikat wysyłany przez węzeł dla potwierdzenia jego żywotności; jego brak sugeruje awarię.Systemy i architektura
sygnały złotegolden signalsCztery kluczowe wskaźniki monitorowania usługi: opóźnienie, ruch, błędy i nasycenie, zalecane jako minimalny zestaw sygnałów.Chmura i DevOps
synchronizacja nieblokującalock-freeKlasa technik koordynacji, w której zawieszenie jednego wątku nie blokuje postępu pozostałych, oparta na atomowych operacjach pamięci.Systemy i architektura
synchronizacja zapisufsync → synchronizacja zapisuOperacja wymuszająca opróżnienie zbuforowanych danych i metadanych pliku na trwały nośnik przed zwróceniem sterowania, gwarantująca trwałość.Systemy i architektura
synchronizacja zegarówProces uzgadniania odczytów zegarów fizycznych wielu węzłów tak, by ich różnice mieściły się w zadanej granicy.Systemy i architektura
system autonomicznyAS = Autonomous SystemZbiór sieci i routerów pod wspólną administracją, prowadzący jednolitą politykę routingu wobec reszty Internetu.Sieci
system kolegówbuddy systemAlgorytm alokacji dzielący pamięć na bloki o rozmiarach będących potęgami dwójki i łączący sąsiadujące wolne bloki (kolegów) przy zwalnianiu.Systemy i architektura
system plikówMetoda organizacji danych na nośniku w postaci nazwanych plików i katalogów wraz ze strukturami metadanych zarządzającymi alokacją przestrzeni.Systemy i architektura
system typówFormalny system reguł przypisujących typy wyrażeniom programu w celu ograniczenia dopuszczalnych operacji i wykluczenia pewnych klas błędów.Teoria informatyki
sytuacja wyścigurace conditionBłąd współbieżności, w którym wynik zależy od niedeterministycznej kolejności dostępów wielu wątków do współdzielonych danych.Systemy i architektura
szablonowanie konfiguracjiGenerowanie plików konfiguracyjnych z wzorca z miejscami na zmienne, podstawianymi w zależności od środowiska lub kontekstu.Chmura i DevOps
szacowanie kardynalnościPrzewidywanie liczby krotek wynikowych operatora na podstawie statystyk, używane przez optymalizator do oceny kosztu planów.Dane i bazy danych
szamotaniethrashingStan, w którym proces spędza więcej czasu na obsłudze błędów strony niż na wykonaniu, przez nadmierne stronicowanie i zbyt mały zbiór ramek.Systemy i architektura
szereg czasowyCiąg punktów pomiarowych uporządkowanych w czasie, identyfikowany nazwą metryki i zestawem etykiet, przechowywany w bazie szeregów czasowych.Chmura i DevOps
szeregowalnośćserializabilityKryterium poprawności planu współbieżnego: jego skutek jest równoważny pewnemu szeregowemu wykonaniu tych samych transakcji.Dane i bazy danych
szeregowanie procesówWybór przez system operacyjny, który gotowy proces lub wątek otrzyma procesor i na jak długo, według ustalonej polityki.Systemy i architektura
szerokość pasmapasmo (bandwidth)Zakres częstotliwości, jaki medium lub kanał przenosi z akceptowalnym tłumieniem; ogranicza maksymalną szybkość sygnalizacji.Sieci
szkic Count-MinCount-Min sketchProbabilistyczna struktura szacująca częstość elementów w strumieniu za pomocą tablicy liczników indeksowanej wieloma funkcjami skrótu; zawyża, nigdy nie zaniża.Teoria informatyki
szyfr blokowySzyfr symetryczny przetwarzający dane w blokach o stałej długości za pomocą permutacji zależnej od klucza.Bezpieczeństwo
szyfr strumieniowySzyfr symetryczny szyfrujący dane bit po bicie lub bajt po bajcie przez sumowanie z pseudolosowym strumieniem klucza.Bezpieczeństwo
szyfr symetrycznyAlgorytm szyfrujący, w którym ten sam tajny klucz służy do szyfrowania i deszyfrowania danych.Bezpieczeństwo
szyfrowanie asymetryczneOperacja przekształcania jawnej wiadomości w szyfrogram przy użyciu klucza publicznego odbiorcy, odwracalna tylko jego kluczem prywatnym.Bezpieczeństwo
szyfrowanie uwierzytelnioneAEADTryb łączący poufność z gwarancją integralności i autentyczności danych, zwracający szyfrogram wraz ze znacznikiem uwierzytelniającym.Bezpieczeństwo
ścieżkaCiąg wierzchołków połączonych krawędziami, w którym żaden wierzchołek nie powtarza się; łączy wierzchołek początkowy z końcowym.Teoria informatyki
ścieżka dostępuSposób fizycznego pobrania krotek relacji, np. skanowanie pełne tabeli lub wykorzystanie indeksu do wyszukania wartości.Dane i bazy danych
ścisła serializowalnośćstrict serializabilityPołączenie serializowalności i linearyzowalności: porządek szeregowy transakcji respektuje ich kolejność w czasie rzeczywistym.Systemy i architektura
ślad rozproszonyReprezentacja przebiegu pojedynczego żądania przez wiele usług, złożona z powiązanych przedziałów ukazujących ścieżkę i czasy wykonania.Chmura i DevOps
średnia precyzjaAP / mAP (mean average precision)Pole pod krzywą precyzja-czułość uśredniające precyzję przy kolejnych poziomach czułości; standardowa miara w wyszukiwaniu i detekcji.AI / Machine Learning
środowisko uruchomieniowe kontenerówcontainer runtimeOprogramowanie odpowiedzialne za uruchamianie i zarządzanie cyklem życia kontenerów na hoście, zgodnie ze specyfikacją wykonania.Chmura i DevOps
świeżość odczytustalenessStopień, w jakim odczytana wartość odzwierciedla najnowszy zapisany stan; ograniczana w modelach z opóźnieniem określonym czasowo lub liczbą wersji.Systemy i architektura
T
tabela faktówCentralna tabela modelu wymiarowego przechowująca mierzalne miary procesu biznesowego oraz klucze obce do wymiarów.Dane i bazy danych
tabela wymiaruTabela opisująca kontekst miar (kto, co, gdzie, kiedy) za pomocą atrybutów służących filtrowaniu i grupowaniu danych analitycznych.Dane i bazy danych
tablicaStruktura przechowująca elementy tego samego typu w ciągłym obszarze pamięci, z dostępem do dowolnego elementu w czasie stałym po indeksie.Teoria informatyki
tablica asocjacyjnamapa → tablica asocjacyjnaStruktura odwzorowująca klucze na wartości, umożliwiająca wyszukiwanie wartości po kluczu.Teoria informatyki
tablica dynamicznaTablica o zmiennej pojemności, automatycznie powiększana (zwykle przez podwajanie) przy braku miejsca, dająca zamortyzowany stały koszt dopisania na końcu.Teoria informatyki
tablica routinguStruktura danych w routerze odwzorowująca prefiksy docelowe na następne przeskoki i interfejsy wyjściowe.Sieci
tablica stronStruktura danych utrzymywana przez system operacyjny, odwzorowująca numery stron wirtualnych na numery ramek fizycznych oraz bity stanu i ochrony.Systemy i architektura
tablica symboliStruktura danych kompilatora przechowująca informacje o identyfikatorach programu (typ, zasięg, lokalizacja) i wspierająca ich wyszukiwanie.Teoria informatyki
tablica z haszowaniemStruktura danych przechowująca pary klucz-wartość, w której pozycję elementu wyznacza funkcja skrótu, dająca średnio stały czas dostępu.Teoria informatyki
tajemnica w przódPFSWłasność protokołu, w której kompromitacja długoterminowego klucza prywatnego nie pozwala odszyfrować wcześniej przechwyconych sesji, bo klucze sesyjne są efemeryczne.Bezpieczeństwo
tautologiaFormuła rachunku zdań prawdziwa przy każdym wartościowaniu zmiennych zdaniowych.Teoria informatyki
telemetriaZbiór danych pomiarowych emitowanych przez system (metryki, logi, ślady) i przesyłanych do systemu analizy w celu monitorowania zachowania.Chmura i DevOps
temperatura próbkowaniatemperatureParametr skalujący rozkład prawdopodobieństwa kolejnego tokena, regulujący losowość i różnorodność generowanego tekstu.AI / Machine Learning
tempo uczenialearning rateHiperparametr skalujący wielkość kroku aktualizacji parametrów w metodach gradientowych; zbyt duże powoduje rozbieżność, zbyt małe spowalnia zbieżność.AI / Machine Learning
tempo wypalaniaburn rateStosunek bieżącego zużycia budżetu błędu do tempa, które wyczerpałoby go równomiernie w całym okresie; podstawa alertów wielookienkowych.Chmura i DevOps
test penetracyjnypentestAutoryzowana, kontrolowana próba przełamania zabezpieczeń systemu w celu oceny jego odporności na ataki.Bezpieczeństwo
teza Churcha-TuringaTwierdzenie głoszące, że każda funkcja efektywnie obliczalna jest obliczalna przez maszynę Turinga.Teoria informatyki
TF-IDFMiara wagi terminu łącząca częstość jego występowania w dokumencie z odwrotną częstością w całym korpusie (term frequency-inverse document frequency).AI / Machine Learning
TLBtranslation lookaside bufferBufor translacji adresów (translation lookaside buffer) — sprzętowa pamięć podręczna przechowująca ostatnie odwzorowania stron na ramki, przyspieszająca translację adresów.Systemy i architektura
tłumaczenie maszynoweMTAutomatyczne przekładanie tekstu lub mowy z jednego języka naturalnego na inny za pomocą metod obliczeniowych.AI / Machine Learning
tłumienieattenuationSpadek mocy sygnału wraz z odległością przebytą w medium transmisyjnym, ograniczający maksymalny zasięg łącza fizycznego.Sieci
tokenPodstawowa jednostka przetwarzania tekstu przez model — fragment słowa, słowo lub znak, na które dzielony jest tekst wejściowy.AI / Machine Learning
token dostępuPoświadczenie wydane przez serwer autoryzacji, które klient przedstawia, by uzyskać dostęp do chronionego zasobu w imieniu użytkownika.Bezpieczeństwo
tokenizacjaPodział tekstu na tokeny stanowiące wejście modelu, często metodami podsłownymi jak kodowanie par bajtów.AI / Machine Learning
tokenizacja podsłownaBPEPodział słów na częstsze podjednostki, łączący zalety reprezentacji znakowej i wyrazowej oraz ograniczający problem słów spoza słownika.AI / Machine Learning
tolerancja błędówZdolność systemu do dalszego poprawnego działania mimo awarii części jego komponentów.Systemy i architektura
trafienie do cachetrafienieSytuacja, w której żądane dane znajdują się w pamięci podręcznej i mogą być pobrane bez sięgania do niższego poziomu hierarchii.Systemy i architektura
transakcjaLogiczna jednostka pracy złożona z operacji na danych, wykonywana atomowo: w całości zatwierdzona albo w całości wycofana.Dane i bazy danych
transformerArchitektura sekwencyjna oparta wyłącznie na mechanizmie uwagi, bez rekurencji, umożliwiająca równoległe przetwarzanie tokenów.AI / Machine Learning
trasa domyślnaWpis tablicy routingu o najszerszym prefiksie, stosowany gdy żaden bardziej szczegółowy wpis nie pasuje do adresu docelowego.Sieci
trening wstępnypre-trainingEtap uczenia modelu na dużym, ogólnym korpusie w trybie samonadzorowanym, poprzedzający dostrajanie do zadań szczegółowych.AI / Machine Learning
trójka Hoare'aAsercja postaci {P}C{Q} stwierdzająca, że jeśli warunek wstępny P zachodzi przed wykonaniem programu C, to po nim zachodzi warunek końcowy Q.Teoria informatyki
trójka RDFRDF tripleElementarna jednostka modelu RDF w postaci podmiot-orzeczenie-przedmiot, wyrażająca pojedyncze stwierdzenie o zasobie.Dane i bazy danych
trwałośćdurabilityWłasność, w której skutki zatwierdzonej transakcji przetrwają kolejne awarie systemu i pozostają zapisane na stałe.Dane i bazy danych
tryb CBCCipher Block ChainingTryb pracy, w którym każdy blok jawny jest XOR-owany z poprzednim szyfrogramem przed zaszyfrowaniem, łańcuchując bloki.Bezpieczeństwo
tryb CTRCounter ModeTryb pracy zamieniający szyfr blokowy w strumieniowy przez szyfrowanie kolejnych wartości licznika i XOR z tekstem jawnym.Bezpieczeństwo
tryb ECBElectronic CodebookTryb pracy szyfrujący każdy blok niezależnie tym samym kluczem; identyczne bloki jawne dają identyczne szyfrogramy.Bezpieczeństwo
tryb pracy szyfruSchemat określający sposób wielokrotnego stosowania szyfru blokowego do wiadomości dłuższej niż jeden blok.Bezpieczeństwo
trzecia postać normalna3NFPostać normalna spełniona, gdy relacja jest w 2NF i żaden atrybut niekluczowy nie zależy przechodnio od klucza głównego.Dane i bazy danych
tunelowanieHermetyzacja pakietów jednego protokołu wewnątrz ładunku innego w celu przesłania ich przez sieć pośredniczącą, często z dodaniem szyfrowania.Sieci
twierdzenie CAPCAPStwierdza, że system rozproszony nie może jednocześnie gwarantować spójności, dostępności i odporności na podział sieci — w razie podziału trzeba wybrać między spójnością a dostępnością.Systemy i architektura
twierdzenie Cooka-LevinaWynik stwierdzający, że problem spełnialności formuł boolowskich (SAT) jest NP-zupełny, ustanawiający pierwszy problem NP-zupełny.Teoria informatyki
twierdzenie FLPFLP — Fischer-Lynch-PatersonWynik dowodzący, że w asynchronicznym systemie rozproszonym żaden deterministyczny protokół nie gwarantuje konsensusu przy choćby jednej awarii zatrzymania.Systemy i architektura
twierdzenie o hierarchii czasowejtime hierarchy theoremWynik mówiący, że przy większym ograniczeniu czasu maszyny rozstrzygają ściśle więcej problemów; gwarantuje istnienie problemów trudniejszych czasowo.Teoria informatyki
twierdzenie o kodowaniu kanałutwierdzenie ShannonaWynik mówiący, że transmisja z dowolnie małym prawdopodobieństwem błędu jest możliwa wtedy i tylko wtedy, gdy szybkość nie przekracza przepustowości kanału.Teoria informatyki
twierdzenie o kodowaniu źródłaWynik mówiący, że dolnym granicznym oczekiwanym kosztem bezstratnego kodowania źródła jest jego entropia.Teoria informatyki
twierdzenie o rekurencji uniwersalnejmaster theoremSchemat dający asymptotyczne rozwiązanie rekurencji postaci T(n)=aT(n/b)+f(n) typowej dla algorytmów dziel i zwyciężaj. Tzw. master theorem.Teoria informatyki
twierdzenie o rekursjiTwierdzenie zapewniające, że maszyna Turinga może uzyskać własny opis i użyć go w obliczeniach.Teoria informatyki
twierdzenie o zupełnościWynik stwierdzający, że każda formuła prawdziwa we wszystkich modelach teorii jest w niej dowodliwa.Teoria informatyki
twierdzenie Rice'aTwierdzenie głoszące, że każda nietrywialna własność semantyczna języków rozpoznawanych przez maszyny Turinga jest nierozstrzygalna.Teoria informatyki
typZbiór wartości wraz z dopuszczalnymi operacjami, przypisywany wyrażeniom jako klasyfikacja syntaktyczna ich znaczenia.Teoria informatyki
typ algebraicznyADTTyp złożony konstruowany z innych typów za pomocą sumy (wariantów) i produktu (krotek), zwykle z dopasowaniem wzorca.Teoria informatyki
typ egzystencjalnyTyp kwantyfikowany egzystencjalnie, ukrywający konkretną reprezentację wewnętrzną i służący jako podstawa abstrakcji danych.Teoria informatyki
typ funkcyjnyTyp opisujący odwzorowanie z typu dziedziny w typ przeciwdziedziny, przypisywany funkcjom i wyrażeniom funkcyjnym.Teoria informatyki
typ iloczynuTyp złożony reprezentujący jednoczesne zestawienie wartości kilku typów składowych, jak krotka lub rekord.Teoria informatyki
typ sumytyp wariantowyTyp złożony reprezentujący wartość będącą jednym z kilku rozłącznych wariantów, z których każdy może nieść własne dane.Teoria informatyki
typ uniwersalnyTyp kwantyfikowany uniwersalnie po zmiennej typowej, opisujący wartości działające jednolicie dla każdego podstawienia tej zmiennej.Teoria informatyki
typ zależnyTyp, którego definicja zależy od wartości, co pozwala wyrażać precyzyjne specyfikacje i dowody w systemie typów.Teoria informatyki
typowanie dynamiczneWłasność języka, w której typy wartości są sprawdzane w trakcie wykonania, a nie statycznie podczas kompilacji.Teoria informatyki
typowanie statyczneWłasność języka, w której typy wyrażeń są ustalane i sprawdzane w czasie kompilacji, przed wykonaniem programu.Teoria informatyki
U
uczenie kontekstowein-context learningZdolność modelu do wykonania zadania na podstawie kilku przykładów podanych w podpowiedzi, bez aktualizacji wag.AI / Machine Learning
uczenie nadzorowaneParadygmat uczenia, w którym model dopasowuje się do danych z parami wejście–etykieta, ucząc się odwzorowania z przykładów oznaczonych docelową wartością.AI / Machine Learning
uczenie nienadzorowaneParadygmat, w którym model odkrywa strukturę w danych bez etykiet docelowych, np. grupując przykłady lub estymując rozkład.AI / Machine Learning
uczenie poza politykąTryb uczenia, w którym agent ocenia lub ulepsza politykę docelową na podstawie danych zebranych przez inną politykę zachowania.AI / Machine Learning
uczenie półnadzorowaneUczenie wykorzystujące jednocześnie niewielki zbiór danych oznaczonych i duży zbiór nieoznaczonych do poprawy modelu.AI / Machine Learning
uczenie rozmaitościNieliniowa redukcja wymiarowości odtwarzająca niskowymiarową strukturę geometryczną danych z zachowaniem lokalnych odległości.AI / Machine Learning
uczenie różnic czasowychTDKlasa metod aktualizujących oszacowania wartości na podstawie różnicy między kolejnymi predykcjami, bez czekania na końcowy zwrot epizodu.AI / Machine Learning
uczenie ze wzmocnieniemRLParadygmat, w którym agent uczy się polityki działania przez interakcję ze środowiskiem, maksymalizując skumulowaną nagrodę.AI / Machine Learning
udostępnianie zasobówang. provisioningAutomatyczne tworzenie i konfigurowanie zasobów obliczeniowych, sieciowych i magazynowych przygotowujące je do użycia przez aplikację.Chmura i DevOps
ujednoznacznianie sensu słówWSDOkreślanie właściwego znaczenia wieloznacznego słowa w danym kontekście spośród jego możliwych sensów.AI / Machine Learning
ukrywanie informacjiinformation hidingProjektowanie modułu tak, by decyzje projektowe podatne na zmianę były niewidoczne dla pozostałych modułów.Inżynieria oprogramowania
unifikacjaWyznaczanie podstawienia zmiennych czyniącego dwa wyrażenia (termy lub typy) syntaktycznie identycznymi, kluczowe dla inferencji typów.Teoria informatyki
uniwersalna maszyna TuringaMaszyna Turinga symulująca działanie dowolnej innej maszyny zakodowanej na jej wejściu wraz z danymi.Teoria informatyki
URIUniform Resource IdentifierUjednolicony ciąg znaków jednoznacznie identyfikujący zasób abstrakcyjny lub fizyczny w sieci, niezależnie od metody dostępu.Sieci
urząd certyfikacjiCAZaufana strona trzecia, która wydaje i podpisuje certyfikaty klucza publicznego, gwarantując powiązanie klucza z tożsamością podmiotu.Bezpieczeństwo
urząd rejestracjiRAPodmiot PKI weryfikujący tożsamość wnioskodawców i zatwierdzający żądania certyfikatów przed ich wystawieniem przez urząd certyfikacji.Bezpieczeństwo
usługa bezpołączeniowaTryb transportu przesyłający niezależne jednostki danych bez ustanawiania połączenia i bez gwarancji dostarczenia czy kolejności.Sieci
usługa połączeniowaTryb transportu wymagający ustanowienia połączenia przed transmisją, zapewniający uporządkowany, niezawodny strumień danych.Sieci
usługa sieciowaweb serviceFunkcja udostępniana w sieci przez standaryzowane interfejsy i protokoły, wywoływana przez inne aplikacje niezależnie od platformy.Sieci
usterkafaultDomniemana lub stwierdzona przyczyna błędu, np. wadliwy bit, błąd kodu czy uszkodzenie sprzętu; może być utajona lub aktywna.Systemy i architektura
uwaga wielogłowicowamulti-head attentionMechanizm wykonujący wiele równoległych operacji uwagi w różnych podprzestrzeniach reprezentacji i łączący ich wyniki.AI / Machine Learning
uwierzytelnianie wieloskładnikoweMFAWeryfikacja tożsamości wymagająca co najmniej dwóch niezależnych składników z różnych kategorii: wiedzy, posiadania i cechy biometrycznej.Bezpieczeństwo
uzgadnianie kluczaProtokół, w którym dwie strony wspólnie ustalają tajny klucz sesyjny tak, że żadna pojedyncza strona nie narzuca go w pełni, a podsłuchujący go nie pozna.Bezpieczeństwo
uzgadnianie trójfazoweProcedura ustanawiania połączenia przez wymianę trzech segmentów synchronizujących numery sekwencyjne obu stron.Sieci
użycie po zwolnieniuUAFOdwołanie do obszaru pamięci po jego zwolnieniu; ponowna alokacja tej pamięci przez atakującego pozwala na manipulację danymi i przejęcie sterowania.Bezpieczeństwo
V
vendor lock-inuzależnienie od dostawcyUzależnienie odbiorcy od jednego dostawcy chmury, gdy migracja do innego wiąże się z wysokimi kosztami i barierami technicznymi.Chmura i DevOps
VLANVirtual LAN, wirtualna sieć lokalnaLogiczna sieć lokalna wydzielona programowo w obrębie fizycznej infrastruktury przełączników, izolująca ruch i domeny rozgłoszeniowe niezależnie od fizycznego okablowania.Sieci
VPNVirtual Private NetworkWirtualna sieć prywatna (Virtual Private Network) tworząca szyfrowany tunel przez sieć publiczną dla bezpiecznej transmisji danych.Bezpieczeństwo
W
walidacja krzyżowaTechnika oceny modelu polegająca na wielokrotnym podziale danych na części uczące i walidacyjne i uśrednianiu wyników.AI / Machine Learning
walidacja ścieżki certyfikacjiSprawdzenie poprawności łańcucha certyfikatów: zgodności podpisów, ważności, statusu unieważnienia i ograniczeń aż do kotwicy zaufania.Bezpieczeństwo
wariancjaWrażliwość predykcji modelu na zmiany w zbiorze treningowym; składowa błędu wynikająca z fluktuacji estymatora między próbkami.AI / Machine Learning
warstwa gęstawarstwa w pełni połączona; fully connectedWarstwa, w której każdy neuron jest połączony z wszystkimi wyjściami warstwy poprzedniej; realizuje przekształcenie afiniczne z aktywacją.AI / Machine Learning
warstwa obrazuNiezmienny zbiór zmian systemu plików nakładany na poprzednie warstwy; obrazy kontenerów składają się ze stosu takich warstw współdzielonych między obrazami.Chmura i DevOps
warstwa protokołówPoziom abstrakcji w architekturze sieci grupujący funkcje o pokrewnym zadaniu, oferujący zdefiniowany zestaw usług warstwie sąsiedniej.Sieci
warstwa sieciWarstwa modelu OSI/TCP-IP odpowiedzialna za logiczne adresowanie hostów i dostarczanie pakietów między sieciami przez routing.Sieci
warstwa splotowaWarstwa stosująca operację splotu z uczonymi filtrami przesuwanymi po wejściu, wykrywająca lokalne wzorce niezależnie od położenia.AI / Machine Learning
warstwa transportowaWarstwa modelu odniesienia zapewniająca komunikację koniec-koniec między procesami na hostach, niezależną od fizycznej topologii sieci.Sieci
warstwa ukrytaWarstwa neuronów między wejściem a wyjściem sieci, której aktywacje nie są bezpośrednio obserwowane i stanowią pośrednią reprezentację danych.AI / Machine Learning
warstwa VFSVFS → wirtualny system plikówAbstrakcyjna warstwa jądra udostępniająca jednolity interfejs operacji na plikach niezależny od konkretnego systemu plików pod spodem.Systemy i architektura
wartość NULLwartość pustaSpecjalny znacznik reprezentujący brak lub nieznaną wartość atrybutu w krotce; nie jest równy żadnej wartości ani innemu NULL.Dane i bazy danych
wartowniksentinel → wartownikFikcyjny węzeł graniczny upraszczający operacje na strukturze powiązanej przez wyeliminowanie przypadków brzegowych, np. pustej listy.Teoria informatyki
warunek wyściguBłąd współbieżności, gdy wynik działania zależy od nieprzewidywalnej kolejności dostępu wielu wątków do współdzielonych danych.Systemy i architektura
wątekNajmniejsza jednostka wykonania szeregowana przez system; posiada własny licznik rozkazów i stos, lecz dzieli przestrzeń adresową z innymi wątkami procesu.Systemy i architektura
wątek jądraWątek znany i szeregowany bezpośrednio przez jądro systemu, w odróżnieniu od wątku obsługiwanego wyłącznie w przestrzeni użytkownika.Systemy i architektura
wczesne zatrzymanieearly stoppingTechnika regularyzacji przerywająca trening, gdy błąd na zbiorze walidacyjnym przestaje maleć, by zapobiec przeuczeniu.AI / Machine Learning
wdrożenie kanarkoweang. canary releaseStrategia wydania kierująca nową wersję najpierw do małego podzbioru ruchu lub użytkowników w celu oceny ryzyka przed pełnym udostępnieniem.Chmura i DevOps
wdrożenie niebiesko-zieloneang. blue-green deploymentStrategia utrzymywania dwóch równoważnych środowisk produkcyjnych i przełączania ruchu między nimi w celu bezprzerwowego wydania i szybkiego wycofania.Chmura i DevOps
wejście-wyjście bezpośredniedirect I/O → wejście-wyjście bezpośrednieTryb operacji dyskowych pomijający bufor podręczny strony, przenoszący dane bezpośrednio między przestrzenią użytkownika a nośnikiem.Systemy i architektura
wektor cechUporządkowana lista wartości cech reprezentująca pojedynczą obserwację jako punkt w przestrzeni cech.AI / Machine Learning
wektor inicjującyIVLosowa lub niepowtarzalna wartość początkowa zapewniająca różne szyfrogramy dla tej samej wiadomości w danym trybie pracy.Bezpieczeństwo
weryfikacja podpisuSprawdzenie kluczem publicznym, czy dołączony znacznik kryptograficzny odpowiada danym i powstał przy użyciu odpowiedniego klucza prywatnego.Bezpieczeństwo
węzełPodstawowy element struktury powiazanej, przechowujacy dane oraz wskaznik (lub wskazniki) do innych elementow tej struktury.Teoria informatyki
wielodostępnośćmulti-tenancyArchitektura, w której jedna instancja oprogramowania obsługuje wielu odbiorców (najemców) przy logicznej izolacji ich danych i konfiguracji.Chmura i DevOps
wielowątkowość sprzętowahardware multithreadingZdolność rdzenia do utrzymywania stanu wielu wątków i przeplatania ich wykonania, by ukryć opóźnienia i lepiej wykorzystać jednostki.Systemy i architektura
wielowersyjnośćMVCC, multiversion concurrency controlMetoda sterowania współbieżnością przechowująca wiele wersji danych, tak by odczyty operowały na spójnej migawce bez blokowania zapisów.Dane i bazy danych
wierszowa organizacjaprzechowywanie wierszowe (row store)Sposób fizycznego składowania, w którym wszystkie pola jednego rekordu zapisuje się razem, sprzyjając operacjom na pojedynczych wierszach.Dane i bazy danych
wierzchołekwęzełPodstawowy element grafu reprezentujący obiekt; krawędzie łączą pary wierzchołków.Teoria informatyki
wirujący zamekspinlock → wirujący zamekBlokada, na której zadanie czeka przez aktywne odpytywanie w pętli, stosowana gdy oczekiwanie jest krótkie.Systemy i architektura
wiszący wskaźnikdangling pointerWskaźnik odwołujący się do obszaru pamięci, który został już zwolniony lub przestał istnieć; jego użycie prowadzi do zachowania niezdefiniowanego.Teoria informatyki
własnośćReguła wiążąca każdy zasób z dokładnie jednym właścicielem odpowiedzialnym za jego zwolnienie, gwarantująca brak podwójnego zwolnienia i wycieków.Teoria informatyki
własność kopcaNiezmiennik porządkujący: klucz każdego węzła jest nie mniejszy (kopiec max) lub nie większy (kopiec min) od kluczy jego dzieci.Teoria informatyki
wnioskowanie typówinferencja typówAutomatyczne wyprowadzanie typów wyrażeń bez jawnych adnotacji, na podstawie ich użycia i ograniczeń wynikających z reguł typowania.Teoria informatyki
wolny startFaza kontroli przeciążenia, w której okno rośnie wykładniczo od małej wartości aż do osiągnięcia progu lub wykrycia straty.Sieci
wołanie przez nazwęcall-by-nameSposób przekazywania argumentów, w którym argument przekazywany jest niewyliczony i obliczany dopiero przy każdym użyciu w ciele funkcji.Teoria informatyki
wołanie przez potrzebęcall-by-needSposób przekazywania argumentów łączący wołanie przez nazwę z zapamiętywaniem: argument liczony co najwyżej raz, przy pierwszym użyciu.Teoria informatyki
wołanie przez wartośćcall-by-valueSposób przekazywania argumentów, w którym najpierw oblicza się argument, a jego wartość przekazuje do funkcji.Teoria informatyki
worek słówbag of wordsReprezentacja tekstu jako zbioru częstości występowania słów z pominięciem ich kolejności i struktury składniowej.AI / Machine Learning
wskaźnikWartość przechowująca adres innego obiektu w pamięci, używana do łączenia węzłów struktur powiązanych.Teoria informatyki
współbieżnośćWłasność systemu polegająca na tym, że wiele obliczeń postępuje w nakładających się okresach czasu, z możliwą interakcją między nimi.Systemy i architektura
współbieżność zdarzeńWłasność pary zdarzeń, których nie łączy żadna relacja przyczynowa w żadnym kierunku, więc ich względna kolejność jest nieokreślona.Systemy i architektura
współczynnik dwumianowyLiczba sposobów wyboru k-elementowego podzbioru ze zbioru n-elementowego, oznaczana C(n,k); podstawowa wielkość kombinatoryki przeliczeniowej.Teoria informatyki
współczynnik dyskontowaniaParametr z przedziału [0,1] ważący przyszłe nagrody względem bieżących, kontrolujący horyzont planowania agenta.AI / Machine Learning
współczynnik Giniegoindeks GiniegoMiara nieczystości węzła w drzewie decyzyjnym; prawdopodobieństwo błędnej klasyfikacji losowego elementu przy losowym przypisaniu klasy.AI / Machine Learning
współczynnik selektywnościselektywnośćUłamek krotek relacji spełniających warunek, używany do oszacowania rozmiaru wyniku operacji selekcji lub złączenia.Dane i bazy danych
współczynnik trafieńhit rateStosunek liczby odwołań obsłużonych przez dany poziom pamięci do całkowitej liczby odwołań; miara skuteczności pamięci podręcznej.Systemy i architektura
wstrzykiwanie zależnościDI → wstrzykiwanie zależnościTechnika dostarczania komponentowi jego zależności z zewnątrz zamiast tworzenia ich wewnątrz, co odwraca kontrolę i ułatwia testowanie.Inżynieria oprogramowania
wstrzyknięcie poleceniaWykonanie dowolnych poleceń systemu operacyjnego przez aplikację, która przekazuje niewalidowane dane wejściowe do interpretera powłoki.Bezpieczeństwo
wstrzyknięcie SQLSQLiAtak polegający na wprowadzeniu złośliwego fragmentu zapytania do bazy danych przez niewalidowane dane wejściowe, zmieniający logikę zapytania.Bezpieczeństwo
wybór lideraleader electionProcedura wyłaniania spośród węzłów jednego koordynatora, tak by wszystkie poprawne procesy zgodziły się co do jego tożsamości.Systemy i architektura
wycofanierollback, abortOperacja przerywająca transakcję i cofająca wszystkie jej zmiany, przywracająca stan bazy sprzed jej rozpoczęcia.Dane i bazy danych
wycofanie zmianyang. rollbackKontrolowane przywrócenie systemu do poprzedniej znanej dobrej wersji po wykryciu wadliwego wdrożenia.Chmura i DevOps
wyjątekZdarzenie sygnalizujące błąd lub sytuację wyjątkową, przerywające normalny przepływ i przekazujące sterowanie do obsługującego go kodu.Teoria informatyki
wykonanie poza kolejnościąout-of-order executionRealizacja instrukcji w kolejności wyznaczonej przez gotowość ich argumentów, a nie przez kolejność programową, w celu lepszego wykorzystania jednostek.Systemy i architektura
wykonanie spekulatywneWykonywanie instrukcji przed potwierdzeniem, że są potrzebne, na podstawie przewidywań; wyniki zatwierdza się lub odrzuca po rozstrzygnięciu warunku.Systemy i architektura
wykrywanie anomaliiIdentyfikacja obserwacji istotnie odbiegających od wzorca większości danych, bez wcześniejszego oznaczenia anomalii.AI / Machine Learning
wyłącznik bezpieczeństwacircuit breakerWzorzec, który po wykryciu serii błędów zależnej usługi czasowo przerywa do niej wywołania, zapobiegając kaskadowej awarii i pozwalając na regenerację.Chmura i DevOps
wymianaswappingPrzenoszenie całych procesów lub stron między pamięcią operacyjną a obszarem wymiany na dysku w celu zwolnienia pamięci fizycznej.Systemy i architektura
wymiana klucza Diffiego-HellmanaDHMetoda uzgodnienia wspólnego sekretu przez niezabezpieczony kanał oparta na trudności problemu logarytmu dyskretnego, bez wcześniejszego współdzielenia tajemnicy.Bezpieczeństwo
wymiar VCwymiar Vapnika-CzerwonenkisaMiara pojemności klasy hipotez równa największej liczbie punktów, którą klasa potrafi rozbić we wszystkich możliwych etykietowaniach.AI / Machine Learning
wymiar wolnozmiennySCDTabela wymiaru, której atrybuty zmieniają się rzadko w czasie i wymaga zastosowania technik śledzenia historii zmian (SCD).Dane i bazy danych
wyrażenieKonstrukcja składniowa, która po obliczeniu daje wartość, złożona z operandów i operatorów lub wywołań.Teoria informatyki
wyroczniamaszyna z wyroczniąHipotetyczne urządzenie rozstrzygające pewien problem w jednym kroku, dołączone do maszyny w celu badania względnej obliczalności.Teoria informatyki
wyrównaniealignmentDostosowanie zachowań modelu do intencji, wartości i preferencji ludzi, by działał pomocnie i bezpiecznie.AI / Machine Learning
wysoka dostępnośćHA / high availabilityWłaściwość systemu zaprojektowanego tak, by utrzymywać ciągłość działania na uzgodnionym poziomie przez wysoki odsetek czasu, minimalizując przestoje.Chmura i DevOps
wysokość drzewaDługość najdłuższej ścieżki od korzenia do liścia, mierzona liczbą krawędzi; determinuje koszt operacji.Teoria informatyki
wyszukiwanieLokalizacja elementu o zadanym kluczu w strukturze danych lub stwierdzenie jego nieobecności.Teoria informatyki
wyszukiwanie binarneMetoda wyszukiwania w uporządkowanym ciągu, połowiąca przedział poszukiwań przy każdym porównaniu; działa w czasie logarytmicznym.Teoria informatyki
wywłaszczanieOdebranie procesorowi wykonywanemu procesowi przez planistę przed zakończeniem jego działania, by przydzielić procesor innemu zadaniu.Systemy i architektura
wyzwalacz potokuang. triggerZdarzenie lub warunek (np. zatwierdzenie kodu, harmonogram) inicjujące automatyczne uruchomienie przebiegu potoku.Chmura i DevOps
wzajemne wykluczaniemutual exclusionMechanizm koordynacji gwarantujący, że w danej chwili najwyżej jeden proces przebywa w sekcji krytycznej i korzysta ze współdzielonego zasobu.Systemy i architektura
wzorzec behawioralnyKategoria wzorców dotyczących algorytmów i podziału odpowiedzialności oraz wzorców komunikacji między obiektami.Inżynieria oprogramowania
wzorzec konstrukcyjnyKategoria wzorców abstrahujących proces tworzenia obiektów, oddzielająca sposób budowy instancji od jej reprezentacji i użycia.Inżynieria oprogramowania
wzorzec projektowySprawdzone, wielokrotnie stosowalne rozwiązanie powtarzającego się problemu projektowego w danym kontekście, opisane jako schemat ról i współpracy obiektów.Inżynieria oprogramowania
wzorzec strukturalnyKategoria wzorców opisujących sposób komponowania klas i obiektów w większe struktury przy zachowaniu elastyczności i wydajności.Inżynieria oprogramowania
X
XSScross-site scriptingCross-site scripting; wstrzyknięcie skryptu do strony oglądanej przez innych użytkowników, wykonywanego w kontekście ich przeglądarki i zaufania do witryny.Bezpieczeństwo
Z
zachowanie typuredukcja podmiotuWłasność relacji ewaluacji: jeśli wyrażenie ma dany typ i wykonuje krok obliczenia, wynik zachowuje ten sam typ.Teoria informatyki
zachowanie zależnościWłasność dekompozycji schematu, przy której zbiór zależności funkcyjnych można odtworzyć z zależności obowiązujących w poszczególnych rzutach.Dane i bazy danych
zagłodzenieSytuacja, w której proces gotowy do działania jest nieskończenie odraczany w dostępie do zasobu lub procesora przez politykę szeregowania.Systemy i architektura
zakleszczenieSytuacja, w której zbiór procesów jest trwale zablokowany, bo każdy czeka na zasób utrzymywany przez inny proces z tego zbioru.Systemy i architektura
zakres dynamicznyReguła wiązania nazw, w której widoczność identyfikatora zależy od ciągu wywołań w czasie wykonania, a nie od struktury tekstu.Teoria informatyki
zakres leksykalnyzasięg statycznyReguła wiązania nazw, w której widoczność identyfikatora wyznacza struktura tekstu programu, a nie przebieg wykonania.Teoria informatyki
zależność funkcyjnaFDOgraniczenie między dwoma zbiorami atrybutów relacji: wartość zbioru wyznaczającego jednoznacznie określa wartość zbioru zależnego.Dane i bazy danych
zależność wielowartościowaMVDOgraniczenie zachodzące, gdy obecność pewnych krotek wymusza obecność innych niezależnie od trzeciego atrybutu; podstawa czwartej postaci normalnej.Dane i bazy danych
zależność złączeniowaJDOgraniczenie, w którym relacja jest bezstratnie odtwarzalna ze złączenia swoich rzutów; stanowi podstawę piątej postaci normalnej.Dane i bazy danych
zanikający gradientvanishing gradientProblem, w którym gradienty maleją wykładniczo w głębokich warstwach, uniemożliwiając skuteczną aktualizację wczesnych parametrów sieci.AI / Machine Learning
zapora sieciowafirewallMechanizm kontrolujący ruch między segmentami sieci na podstawie reguł, przepuszczający lub blokujący pakiety zgodnie z polityką bezpieczeństwa.Sieci
zarządzanie konfiguracjąconfiguration managementSystematyczne ustanawianie i utrzymywanie spójnego stanu oprogramowania i ustawień na już istniejących zasobach przez cały ich cykl życia.Chmura i DevOps
zarządzanie sekretamisecrets managementBezpieczne przechowywanie, dystrybucja i rotacja danych poufnych (hasła, klucze, tokeny) używanych przez infrastrukturę i aplikacje, z dala od jawnego kodu.Chmura i DevOps
zasada jednej odpowiedzialnościSRPKlasa lub moduł powinien mieć tylko jeden powód do zmiany, czyli jedną odpowiedzialność wobec aktora.Inżynieria oprogramowania
zasada odwrócenia zależnościDIPModuły wysokopoziomowe nie powinny zależeć od niskopoziomowych; obie warstwy zależą od abstrakcji, a nie od konkretów.Inżynieria oprogramowania
zasada podstawialnościLSPKryterium, w myśl którego obiekt typu podrzędnego musi zachowywać kontrakt typu nadrzędnego, by relacja podtypowania była poprawna.Teoria informatyki
zasada podstawienia LiskovLSPObiekty typu bazowego można zastąpić obiektami podtypu bez naruszenia poprawności programu.Inżynieria oprogramowania
zasób sieciowyDowolny obiekt lub usługa identyfikowana w sieci przez adres, na której wykonuje się operacje pobrania lub modyfikacji.Sieci
zatrucie pamięci podręcznejcache poisoningWprowadzenie sfałszowanych danych do pamięci podręcznej (np. DNS lub HTTP) tak, by były serwowane innym użytkownikom jako autentyczne.Bezpieczeństwo
zatwierdzanie dwufazowe2PCProtokół koordynacji transakcji rozproszonej w dwóch rundach (głosowanie i decyzja), zapewniający, że wszyscy uczestnicy atomowo zatwierdzą albo wycofają operację.Systemy i architektura
zatwierdzanie trójfazowe3PC — three-phase commitNieblokujący protokół atomowego zatwierdzania dodający fazę przygotowania do zatwierdzenia, by uniknąć zawieszenia przy awarii koordynatora.Systemy i architektura
zatwierdzeniecommitOperacja kończąca transakcję pomyślnie i utrwalająca jej skutki w bazie, czyniąc je trwałymi i widocznymi dla innych transakcji.Dane i bazy danych
zaufana strona trzeciaTTPPodmiot, któremu strony protokołu ufają w pełnieniu funkcji bezpieczeństwa, np. poświadczania tożsamości lub dystrybucji kluczy.Bezpieczeństwo
zbiór potęgowyZbiór wszystkich podzbiorów danego zbioru, w tym zbioru pustego i całego zbioru.Teoria informatyki
zbiór przeliczalnyZbiór równoliczny z pewnym podzbiorem liczb naturalnych, tj. skończony lub równoliczny ze zbiorem liczb naturalnych.Teoria informatyki
zbiór roboczyworking setZbiór stron aktywnie używanych przez proces w ostatnim oknie czasowym, stanowiący miarę jego bieżącego zapotrzebowania na pamięć.Systemy i architektura
zbiór testowyNiezależny podzbiór danych, niewidziany podczas uczenia, służący do oceny zdolności uogólniania modelu.AI / Machine Learning
zbiór typowyZbiór ciągów źródła, których empiryczna entropia jest bliska entropii źródła; skupia niemal całe prawdopodobieństwo i ma rozmiar rzędu dwóch do entropii.Teoria informatyki
zbiór uczącyPodzbiór danych użyty do dopasowania parametrów modelu w trakcie uczenia.AI / Machine Learning
zbiór walidacyjnyPodzbiór danych używany do strojenia hiperparametrów i wyboru modelu, oddzielony od zbioru uczącego i testowego.AI / Machine Learning
zdalne wywołanie proceduryRPCMechanizm pozwalający wywołać procedurę wykonywaną na innym komputerze tak, jakby była lokalna, ukrywając przesył parametrów i wyniku przez sieć.Sieci
zdanie logiczneWyrażenie języka, któremu można jednoznacznie przypisać wartość logiczną prawdy lub fałszu.Teoria informatyki
zdolnośćang. capabilityNiepodrabialny żeton wiązany z podmiotem, wskazujący obiekt i nadane na nim prawa; wiersz macierzy dostępu.Bezpieczeństwo
zegar hybrydowy logicznyHLCZegar łączący czas fizyczny ze składnikiem logicznym, dający znaczniki bliskie czasowi rzeczywistemu i jednocześnie zgodne z porządkiem przyczynowym.Systemy i architektura
zegar LamportaSkalarny zegar logiczny inkrementowany przy każdym zdarzeniu i aktualizowany do max przy odbiorze komunikatu; gwarantuje, że relacja przyczynowa implikuje rosnące znaczniki.Systemy i architektura
zegar logicznyMechanizm przypisujący zdarzeniom w systemie rozproszonym wartości liczbowe odzwierciedlające ich przyczynowe następstwo, bez odwołania do czasu fizycznego.Systemy i architektura
zegar wektorowyvector clockWektor liczników (po jednym na proces) pozwalający dokładnie wykryć relację przyczynowości i współbieżności między zdarzeniami w systemie rozproszonym.Systemy i architektura
ziarnoPoziom szczegółowości pojedynczego wiersza tabeli faktów, określający, co dokładnie reprezentuje jeden rekord miary.Dane i bazy danych
zliczanie referencjiTechnika zarządzania pamięcią, w której każdy obiekt przechowuje licznik odwołań; obiekt jest zwalniany, gdy licznik osiąga zero.Teoria informatyki
złączenie haszowaneAlgorytm złączenia budujący tablicę haszującą z jednej relacji po atrybucie złączenia i sondujący ją krotkami drugiej relacji.Dane i bazy danych
złączenie naturalneOperacja łącząca dwie relacje przez zrównanie wartości atrybutów o tych samych nazwach, eliminując zduplikowane kolumny złączeniowe.Dane i bazy danych
złączenie sortowanie-scalanieAlgorytm złączenia sortujący obie relacje po atrybucie złączenia, a następnie scalający posortowane strumienie w jednym przebiegu.Dane i bazy danych
złączenie thetaθ-złączenieOperacja łącząca krotki dwóch relacji spełniające warunek porównania zbudowany z operatora theta na ich atrybutach.Dane i bazy danych
złączenie zagnieżdżonych pętliAlgorytm złączenia porównujący każdą krotkę jednej relacji z każdą krotką drugiej za pomocą dwóch zagnieżdżonych pętli.Dane i bazy danych
złośliwe oprogramowaniemalwareOprogramowanie zaprojektowane do wykonywania nieautoryzowanych, szkodliwych działań w systemie ofiary.Bezpieczeństwo
złożoność cyklomatycznaMiara liczby liniowo niezależnych ścieżek przepływu sterowania w programie, używana do oceny złożoności i testowalności kodu.Inżynieria oprogramowania
złożoność czasowaMiara zasobu obliczeniowego określająca liczbę kroków elementarnych wykonywanych przez maszynę dla danych wejściowych, wyrażana jako funkcja rozmiaru wejścia.Teoria informatyki
złożoność Kołmogorowazłożoność algorytmicznaAlgorytmiczna miara informacji obiektu równa długości najkrótszego programu generującego ten obiekt na uniwersalnej maszynie obliczeniowej.Teoria informatyki
złożoność obliczeniowaMiara ilości zasobów (czasu lub pamięci) potrzebnych do wykonania algorytmu jako funkcja rozmiaru danych wejściowych.Teoria informatyki
złożoność pamięciowaMiara zasobu określająca maksymalną liczbę komórek pamięci roboczej używanych przez maszynę dla danych wejściowych, jako funkcja rozmiaru wejścia.Teoria informatyki
zmęczenie alertamialert fatigueSpadek wrażliwości operatorów na powiadomienia wskutek nadmiaru fałszywych lub niedziałających alertów, prowadzący do ignorowania zgłoszeń.Chmura i DevOps
zmiana nazw rejestrówregister renamingOdwzorowanie rejestrów architektonicznych na większą pulę rejestrów fizycznych w celu usunięcia fałszywych zależności danych ograniczających równoległość.Systemy i architektura
zmiennaNazwany odnośnik wiążący identyfikator z lokalizacją w pamięci lub wartością, której zawartość można odczytywać i zwykle modyfikować w trakcie działania programu.Teoria informatyki
zmienna warunkowaObiekt synchronizacji pozwalający zadaniu zawiesić się do spełnienia warunku i być wznowionym przez sygnał od innego zadania.Systemy i architektura
znaczniktagCzęść adresu przechowywana wraz z linią cache, służąca do identyfikacji, który blok pamięci aktualnie w niej rezyduje.Systemy i architektura
znacznik czasuPoświadczona wartość czasu dołączana do komunikatu, by zapewnić jego świeżość i zapobiec atakom powtórzeniowym w protokole.Bezpieczeństwo
zniszczenie stosustack smashingNadpisanie ramki stosu, w szczególności adresu powrotu, w wyniku przepełnienia bufora, dające atakującemu kontrolę nad wykonaniem.Bezpieczeństwo
zwrotSkumulowana, zwykle zdyskontowana suma nagród otrzymanych przez agenta od danego kroku do końca epizodu lub w nieskończoność.AI / Machine Learning
#
ładunek użytecznypayloadCzęść jednostki danych niosąca właściwą informację użytkownika, w odróżnieniu od dołączanych pól sterujących nagłówka i stopki.Sieci
łańcuch certyfikatówścieżka certyfikacjiUporządkowana sekwencja certyfikatów od certyfikatu podmiotu do zaufanego korzenia, w której każdy poprzedni jest podpisany przez następny.Bezpieczeństwo
łańcuch myślichain-of-thoughtTechnika podpowiadania skłaniająca model do wypisania pośrednich kroków rozumowania przed udzieleniem ostatecznej odpowiedzi.AI / Machine Learning
łańcuch znakówstring → łańcuch znakówSkończony, uporządkowany ciąg znaków z ustalonego alfabetu, traktowany jako liniowa sekwencja.Teoria informatyki
łańcuchowaniechainingMetoda rozwiązywania kolizji polegająca na przechowywaniu wszystkich elementów o tej samej wartości skrótu na liście powiązanej z daną pozycją tablicy.Teoria informatyki
Definicje własne, źródła przy hasłach01