Pr-1st-1.1-m03-Slajd05: 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: | ||
Zbiór globalnych stanów początkowych <math>\boldsymbol{\Sigma}^0</math> jest podzbiorem iloczynu kartezjańskiego | Zbiór globalnych stanów początkowych <math>\boldsymbol{\Sigma}^0</math> jest podzbiorem iloczynu kartezjańskiego | ||
<math>\mathcal{S}_1^0 \times \mathcal{S}_2^0 \times \ldots \times \mathcal{S}_n^0 </math> | <math>\mathcal{S}_1^0 \times \mathcal{S}_2^0 \times \ldots \times \mathcal{S}_n^0</math> | ||
zbiorów stanów początkowych procesów składowych. | zbiorów stanów początkowych procesów składowych. | ||
Zbiór zdarzeń globalnych <math>\mathit{\Lambda}</math> jest sumą mnogościową | Zbiór zdarzeń globalnych <math>\mathit{\Lambda}</math> jest sumą mnogościową | ||
<math>\mathcal{E}_1 \cup \mathcal{E}_2 \cup \ldots \cup \mathcal{E}_n </math> zbiorów zdarzeń procesów składowych. | <math>\mathcal{E}_1 \cup \mathcal{E}_2 \cup \ldots \cup \mathcal{E}_n</math> zbiorów zdarzeń procesów składowych. | ||
[[pr-1st-1.1-m03-Slajd04 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd06 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd04 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd06 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:47, 5 wrz 2023
Zbiór stanów globalnych (2)
Zbiór globalnych stanów początkowych jest podzbiorem iloczynu kartezjańskiego zbiorów stanów początkowych procesów składowych.
Zbiór zdarzeń globalnych jest sumą mnogościową zbiorów zdarzeń procesów składowych.
