2 kontakty: Kwantyfikator, Operator (logika).
Kwantyfikator
Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążącym zmienne w formułach.
Nowy!!: Zmienna związana i Kwantyfikator · Zobacz więcej »
Operator (logika)
Operator – termin, za pomocąktórego zazwyczaj określa się wyrażenie wiążące zmienne, przy czym zakłada się, że pojęcie wiązania zmiennej zostało wcześniej zdefiniowane.
Nowy!!: Zmienna związana i Operator (logika) · Zobacz więcej »