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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycjanastępna edycja →
Mengel (dyskusja | edycje)
1013 edycji
mNie podano opisu zmian
Mengel (dyskusja | edycje)
1013 edycji
(Brak różnic)

Wersja z 12:12, 20 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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Programowanie_współbieżne_i_rozproszone/PWR_Wykład_7&oldid=2297”