I przysięgać kiedyś była na sprzedaż koszulka z nieśmiertelnymi słowami:

Jaka część

czy tynie Rozumiesz?

W moim przypadku odpowiedź brzmi ... wszystko!

W szczególności często widuję zapis taki jak w dokumentach Haskella, ale nie mam pojęcia, co to oznacza. Nie mam pojęcia, jaką gałąź matematyki ma być.

Rozpoznaję oczywiście litery alfabetu greckiego i symbole takie jak „∉” (co zwykle oznacza, że ​​coś nie jest elementem zestawu).

Z drugiej strony nigdy wcześniej nie widziałem „⊢” (Wikipedia twierdzi, że może to oznaczać „partycję”). Nie znam tu również zastosowania vinculum. (Zwykle oznacza ułamek, ale tak nie jestzjawić się tak będzie w tym przypadku.)

Gdyby ktoś mógł mi przynajmniej powiedzieć, od czego zacząć, aby zrozumieć, co oznacza to morze symboli, byłoby to pomocne.