Pr-1st-1.1-m03-Slajd15: 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 4: | Linia 4: | ||
Przez <math>\mapsto _i</math> oznaczamy '''relację poprzedzania lokalnego''' zdarzeń procesu <math>P_i</math>, taką że: | Przez <math>\mapsto _i</math> oznaczamy '''relację poprzedzania lokalnego''' zdarzeń procesu <math>P_i</math>, taką że: | ||
<math>E_i^k \mapsto_i E_j^l</math> wtedy i tylko wtedy, gdy <math>i=j</math> oraz <math>k < l</math> (lub gdy <math> i=j</math> | <math>E_i^k \mapsto_i E_j^l</math> wtedy i tylko wtedy, gdy <math>i=j</math> oraz <math>k < l</math> (lub gdy <math>i=j</math> | ||
oraz <math>E_i^k \mapsto E_j^l</math>). | oraz <math>E_i^k \mapsto E_j^l</math>). | ||
[[pr-1st-1.1-m03-Slajd14 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd16 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd14 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd16 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:36, 5 wrz 2023
Relacja poprzedzania lokalnego
Przez oznaczamy relację poprzedzania lokalnego zdarzeń procesu , taką że: wtedy i tylko wtedy, gdy oraz (lub gdy oraz ).
