Pr-1st-1.1-m04-Slajd36: Różnice pomiędzy wersjami

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

1. Jeżeli jest typu FF, to dla wszystkich $M$ , takich że $M$ nie ma następnika w $≺_{i, j}$ ,

≺_{i, j} : = ≺_{i, j} \cup {⟨ M^{'}, M ⟩}

2. Jeżeli jest typu FF, to dla wszystkich M', takich że M' nie ma następnika w $≺_{i, j}$ ,

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \prec _{i,j := \prec _{i,j} \cup \{\left \langle M', M \right \rangle \}} , następnie,

M_{i, j}^{b} : = M

.

@@ Linia 1: / Linia 1: @@
-==Konstrukcja relacji <math> \prec _{i,j}</math> (3)==
+==Konstrukcja relacji <math>\prec _{i,j}</math> (3)==
-[[Image:pr-1st-1.1-m04-Slajd36.png|Konstrukcja relacji <math> \prec _{i,j}</math>(3)]]
+[[Image:pr-1st-1.1-m04-Slajd36.png|Konstrukcja relacji <math>\prec _{i,j}</math>(3)]]
-. Jeżeli jest typu FF, to dla wszystkich <math>M</math>, takich że <math>M</math> nie ma następnika w <math> \prec _{i,j}</math>,
+. Jeżeli jest typu FF, to dla wszystkich <math>M</math>, takich że <math>M</math> nie ma następnika w <math>\prec _{i,j}</math>,
-:<math> \prec _{i,j} :=  \prec _{i,j} \cup \{\left \langle M', M \right \rangle \}</math>
+:<math>\prec _{i,j} :=  \prec _{i,j} \cup \{\left \langle M', M \right \rangle \}</math>
-. Jeżeli jest typu FF, to dla wszystkich M', takich że M' nie ma następnika w <math> \prec _{i,j}</math>,
+. Jeżeli jest typu FF, to dla wszystkich M', takich że M' nie ma następnika w <math>\prec _{i,j}</math>,
-:<math> \prec _{i,j := \prec _{i,j} \cup \{\left \langle M', M \right \rangle \}</math>, następnie, <math> M_{i,j}^b:=M</math>.
+:<math>\prec _{i,j := \prec _{i,j} \cup \{\left \langle M', M \right \rangle \}</math>, następnie, <math>M_{i,j}^b:=M</math>.
 [[pr-1st-1.1-m04-Slajd35 | << Poprzedni slajd]] | [[pr-1st-1.1-m04-toc|Spis treści ]] | [[pr-1st-1.1-m04-Slajd37 | Następny slajd >>]]