Logika dla informatyków/notacje: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
mNie podano opisu zmian |
Nie podano opisu zmian |
||
Linia 1: | Linia 1: | ||
'''upierdliwości''' | |||
Upierdliwości, których parser nie rusza (format: upierdliwość --> "na co zamienić") | Upierdliwości, których parser nie rusza (format: upierdliwość --> "na co zamienić") | ||
Wersja z 11:35, 20 wrz 2006
upierdliwości Upierdliwości, których parser nie rusza (format: upierdliwość --> "na co zamienić")
\begin{eqnarray*} --> "("
\end{eqnarray*} --> ")"
\boldsymbol{s}}\def\blank{\hbox{\sf B -->" u"
\/ -> ""
\Delta\vdash -->"e"
Notacje