Pr-1st-1.1-m10-Slajd19

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dowód twierdzenia 10.1

Dowód twierdzenia 10.1


Dowód Z założenia wynika, że:

(1) RC*=SC**

Z kolei z przedstawionych lematów otrzymujemy, że:

  • SC**SC(τb2) (lemat 10.1.4)
  • SC(τb2)SC(τe1) (lemat 10.1.2)
  • SC(τe1)RC(τe1) (lemat 10.1.5)
  • RC(τe1)RC* (lemat 10.1.3)


<< Poprzedni slajd | Spis treści | Następny slajd >>