abstraktor

[ Previous | Next ] [ Up | First | Last ] (Article 42 of 617)

abstraktor

lat.

– lambda-operátor, operátor abstrakcie – jazykový výraz, ktorý umožňuje pomocou výrokovej funkcie vytvoriť meno triedy: „všetky tie x, pre ktoré platí p(x)“.