Logika dla informatyków/notacje: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
mNie podano opisu zmian |
||
| Linia 10: | Linia 10: | ||
\Delta\vdash -->"e" | \Delta\vdash -->"e" | ||
'''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 "]]" | |||
Wersja z 11:35, 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"
Notacje
