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''' | |||
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" | |||
'''Notacje''' | '''Notacje''' | ||
# W rozdziale 1 autor uzyl znaku podobnego do [[ i ]] (coś jak te nawiasy, tylko zlepione). Zastąpiłem go właśnie znakami "[[" i "]]" | # W rozdziale 1 autor uzyl znaku podobnego do [[ i ]] (coś jak te nawiasy, tylko zlepione). Zastąpiłem go właśnie znakami "[[" i "]]" | ||
Wersja z 11:36, 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
