Přednáška lekce04, porovnani bankerskeho algoritmu a deadlock detection
Algoritmy pro test bezpecnosti stavu (slide 57) a detekci uvaznuti (slide 64) jsou velmi podobne, prislo by mi pro studenty prehlednejsi, kdyby byly na slidu formatovane stejne, aby bylo jednodussi pochopit rozdily.