Pr-1st-1.1-m04-Slajd33: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 5: | Linia 5: | ||
Jeżeli natomiast zachodzi predykat: | Jeżeli natomiast zachodzi predykat: | ||
:<math> M \prec ^+_{i,j} M' \land (\nexistsM'' :: ( M'' \ne M \land M'' \ne M' \land | :<math>M \prec ^+_{i,j} M' \land (\nexistsM'' :: ( M'' \ne M \land M'' \ne M' \land | ||
M \prec ^+_{i,j} M'' \land | M \prec ^+_{i,j} M'' \land | ||
M'' \prec ^+_{i,j} M' | M'' \prec ^+_{i,j} M' | ||
| Linia 12: | Linia 12: | ||
to powiemy, że <math>M</math> '''bezpośrednio poprzedza''' <math>M'</math> i fakt ten oznaczamy | to powiemy, że <math>M</math> '''bezpośrednio poprzedza''' <math>M'</math> i fakt ten oznaczamy | ||
<math>M \prec _{i,j} M'</math>, tym samym: | <math>M \prec _{i,j} M'</math>, tym samym: | ||
:<math> \prec _{i,j} := \{\left \langle M, M' \right \rangle : (M \mbox{ bezpośrednio poprzedza } M')\}</math> | :<math>\prec _{i,j} := \{\left \langle M, M' \right \rangle : (M \mbox{ bezpośrednio poprzedza } M')\}</math> | ||
[[pr-1st-1.1-m04-Slajd32 | << Poprzedni slajd]] | [[pr-1st-1.1-m04-toc|Spis treści ]] | [[pr-1st-1.1-m04-Slajd34 | Następny slajd >>]] | [[pr-1st-1.1-m04-Slajd32 | << Poprzedni slajd]] | [[pr-1st-1.1-m04-toc|Spis treści ]] | [[pr-1st-1.1-m04-Slajd34 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:31, 5 wrz 2023
Bezpośrednie poprzedzanie
Jeżeli natomiast zachodzi predykat:
- Parser nie mógł rozpoznać (nieznana funkcja „\nexistsM”): {\displaystyle M \prec ^+_{i,j} M' \land (\nexistsM'' :: ( M'' \ne M \land M'' \ne M' \land M \prec ^+_{i,j} M'' \land M'' \prec ^+_{i,j} M' }
to powiemy, że bezpośrednio poprzedza i fakt ten oznaczamy , tym samym:
