Preskočiť na obsah

Lambda-operátor

z Wikipédie, slobodnej encyklopédie

Lambda-operátor alebo abstraktor alebo operátor abstrakcie tvorí z výrokovej funkcie (alebo z jej jazykovej formy) meno triedy. Sám je vytvorený z písmena lambda (), za ktorým nasleduje individuová premenná: , čo čítame: tie x, ktoré majú vlastnosť F alebo všetky tie x, pre ktoré platí F (x) a čo označuje triedu indivíduí, ktoré vyhovujú vlastnosti F.

Operátor lambda môže viazať i viac premenných, napr. výraz je menom relácie menší než na príslušnom univerze, t. j. množiny usporiadaných dvojíc čísiel, kde prvé je menšie než druhé.

Externé odkazy

[upraviť | upraviť zdroj]
  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.