From Wikipedia, the free encyclopedia
Lambda-arvutus (λ-arvutus) on formaalne arvutuste esitusviis. Seda kasutatakse matemaatilises loogikas ja funktsionaalprogrammeerimises.
Avaldis λ-arvutuses koosneb kolme tüüpi λ-termidest:
Abstraktsioon on λ-arvutustes funktsiooni kirjeldus kujul , kus on funktsiooni sisend ja avaldis, mida arvutatakse. Näiteks tähistab funktsiooni . Kirjeldatud funktsioon on anonüümne ehk nimetu.
Aplikatsioon tähistab funktsiooni väljakutsumist sisendiga . Näiteks tähistab funktsiooni väljakutset sisendiga : .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.