Lambda-operátor

Z Wikipédie

Lambda-operátor

lambda-operátor = abstraktor = operátor abstrakcie je 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á:

(/\,x) F(x)

č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

lambda xy(x < y)

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é.


[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.