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