Pr-1st-1.1-m10-Slajd45: Różnice pomiędzy wersjami

Aktualna wersja na dzień 10:48, 5 wrz 2023

$𝒳 [τ_{i}^{k}]$ - jest wartością zmiennej (predykatu) w chwili $τ_{i}^{k}$

$Q_{α}$ - dla ułatwienia zostanie przyjęte, że inicjator jest dodatkowym procesem, nie związanym z procesami aplikacyjnymi.

Wersja z 16:05, 7 wrz 2006 pokaż źródło Szopen (dyskusja \| edycje) 1922 edycje Nie podano opisu zmian		Aktualna wersja na dzień 10:48, 5 wrz 2023 pokaż źródło Luki (dyskusja \| edycje) Biurokraci, Administratorzy interfejsu, Administratorzy 6612 edycji m Zastępowanie tekstu – „ </math>” na „</math>”
Linia 4:		Linia 4:


	<math>\mathcal{X} [\tau _i^k]</math> - jest wartością zmiennej (predykatu) w chwili <math>\tau _i^k </math>		<math>\mathcal{X} [\tau _i^k]</math> - jest wartością zmiennej (predykatu) w chwili <math>\tau _i^k</math>

	<math>Q_{\alpha}</math> - dla ułatwienia zostanie przyjęte, że inicjator jest dodatkowym procesem, nie związanym z procesami aplikacyjnymi.		<math>Q_{\alpha}</math> - dla ułatwienia zostanie przyjęte, że inicjator jest dodatkowym procesem, nie związanym z procesami aplikacyjnymi.