Pojem lambda kalkul

» zpět

další>><<předchozí

» hledání

Slovo:

lambda kalkul, λ-kalkul

Upozornění:

vložil uživatel JosefZ

a ověřil editor

Význam:

formální systém pro deklaraci funkcí s pravidly pro jejich vyhodnocování (používaný např. pro studium rekurze a vyčíslitelnosti)

Knihy

Historie analýzy -- autor: Jahnke Hans Niels
Logika pre každého -- autor: Gahér František
Dánske dievča -- autor: Ebershoff David
Kusy -- autor: nehty Zuby
Automobily s pohonem na LPG -- autor: Štěrba Pavel

Komentáře ke slovu lambda kalkul, λ-kalkul

» přidat nový komentář

Zatím žádné komentáře.

» přidat nový komentář

Navigace

předchozí slovo: » lambda
následující slovo: » lambdacizmus, lambdacismus
slovo se nachází na stránce: přidáno-návštěvníky:1510
krok zpět: » zpět
hledat jiné cizí slovo: » hledání
upravit (opravit) toto slovo: » upravit
přidat do slovníku nové slovo: » přidat

Stránky slovníku

  A     B     C     D     E     F     G
  H     I     J     K     L     M     N
  O     P     Q     R     S     T     U
  V     W     X     Y     Z     přidáno

Slovníky ABZ