predykat

[pojęcie] Funkcja orzekająca o spełnieniu warunku.

Predykat (orzecznik) to funkcja orzekająca o spełnieniu jakiegoś warunku (sprawdza go i zwraca prawdę bądź fałsz).

Predykaty mogą być jednoargumentowe (unarne), na przykład funkcja sprawdzająca, czy liczba jest parzysta, lub dwuargumentowe (binarne), przykładowo funkcja sprawdzająca, czy podane argumenty są sobie równe.

Predykatem może być dowolny obiekt, który można wywołać, taki jak wskaźnik na funkcję lub obiekt klasy z przeciążonym operatorem ().

Wszystkie teksty są chronione prawami autorskimi. Kopiowanie lub rozpowszechnianie treści poza niniejszym serwisem jest zabronione.

Powyższe ograniczenie nie dotyczy autora opracowania, któremu przysługuje prawo do rozpowszechniania własnego tekstu wedle własnego uznania.