Pr-1st-1.1-m03-Slajd16: 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 7: | Linia 7: | ||
<math>E_i^k \mapsto E_j^l</math> albo | <math>E_i^k \mapsto E_j^l</math> albo | ||
<math>E_j^l \mapsto E_i^k</math>. | <math>E_j^l \mapsto E_i^k</math>. | ||
W przeciwnym razie zdarzenie te nazwiemy '''przyczynowo-niezależnymi''' lub '''współbieżnymi''' (ang. ''concurrent'', ''causally independent''), co będziemy oznaczać przez <math>E_i^k \parallel E_j^l </math> | W przeciwnym razie zdarzenie te nazwiemy '''przyczynowo-niezależnymi''' lub '''współbieżnymi''' (ang. ''concurrent'', ''causally independent''), co będziemy oznaczać przez <math>E_i^k \parallel E_j^l</math> | ||
[[pr-1st-1.1-m03-Slajd15 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd17 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd15 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd17 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:47, 5 wrz 2023
Zdarzenia przyczynowo-zależne
Zdarzenia i nazywamy przyczynowo-zależnymi, jeżeli: albo . W przeciwnym razie zdarzenie te nazwiemy przyczynowo-niezależnymi lub współbieżnymi (ang. concurrent, causally independent), co będziemy oznaczać przez
