Programowanie współbieżne i rozproszone/PWR Wykład 7: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Mengel (dyskusja | edycje)
Nie podano opisu zmian
 
Mengel (dyskusja | edycje)
mNie podano opisu zmian
Linia 7: Linia 7:
=== Warunki poprawności ===
=== Warunki poprawności ===


=== Warunki rozwiązywalności ==-
=== Warunki rozwiązywalności ===


=== Przykład ===
=== Przykład ===

Wersja z 10:00, 14 cze 2006

Problem bizantyjskich generałów

Uogólnienie problemu bizantyjskich generałów

Założenia wstępne

Warunki poprawności

Warunki rozwiązywalności

Przykład

Rekurencyjny algorytm uzgadniania

Przykład

Dowód poprawności