Translations for „lambda“ in the Polish » German Dictionary

lambda <gen ‑dy, pl ‑dy, gen pl lambd> [lambda] N f (grecka litera)

lambda

Lambda nt

Monolingual examples (not verified by PONS Editors)

Polish

Zmienna total jest przechowywana jako część domknięcia funkcji lambda.

pl.wikipedia.org

Wyrażenia lambda mogą być używane wewnątrz innej lambdy ze specjalnym operatorem "function".

pl.wikipedia.org

Słaba czołowa postać normalna – wyrażenie w rachunku lambda, w którym główne wyrażenie nie jest redukowalne.

pl.wikipedia.org

Podstawą dla tej operacji jest ugruntowanie systemu typów w językach funkcyjnych na rachunku lambda z typami.

pl.wikipedia.org

Od około 2000 r. sonda lambda jest instalowana także w układach z silnikami wysokoprężnymi.

pl.wikipedia.org

Pike zawiera wiele zaawansowanych struktur danych, takich jak zbiory, typowane tablice asocjacyjne oraz wyrażenia lambda.

pl.wikipedia.org

Mylone są również i inne litery (delta z alfą, lambda z alfą, lambda z deltą).

pl.wikipedia.org

Są określane w nawiasach kwadratowych [i] w deklaracji wyrażenia lambda.

pl.wikipedia.org

Czołowa postać normalna to wyrażenie w rachunku lambda w którym główne wyrażenie nie jest redukowalne, oraz nie jest lambda-wyrażeniem o redukowalnym ciele.

pl.wikipedia.org

Współczynnik lambda został skonstruowany w oparciu o model proporcjonalnej redukcji błędu.

pl.wikipedia.org