1. Modele wspolbieżności.

(a) Część teoretyczna
Omówić różne matematyczne modele równoległości (sieci Petri, systemy przyczyn i skutków, systemy tranzycji) .
(b) Część programistyczna
System do tworzenia i symulacji Sieci Periego.
(c) Dokumentacja systemu.

Literatura

Ben-Ari M., Podstawy programowania wspolbieznego i rozproszonego, WNT 1996
Czaja L., Systemy przyczyn i skutkow
Suraj Z., Sieci Petriego
Arnold A., Systemy tranzycji

2. Przegląd algorytmów grafowych
- Pomoc dydaktyczna do wykładu Algorytmy i Struktury Danych

(a) Podstawowe pojecia i fakty z teorii grafow. Przegląd algorytmow wyszukiwania, sortowania z użyciem grafów, drzewa rozpinające, cykle, ścieżki. Analiza poprawności i kosztów.

(b) Realizacja systemu, ktory pozwolilby pokazać wybrane algorytmy w działaniu, pokazał ich zastosowania, umożliwiał aktywne uczestnictwo użytkownika np. w modelowaniu parametrów wykonywanych algorytmów, zadawanie pytań itp. System mógłby być w rzeczywistosci 'lekcją" w internecie wspomagającą wykład Algorytmy i struktury danych.

(c) Dokumentacja systemu.

Literatura

Cormen Leiserson, Rivest, Wprowadzenie do algorytmow
Sedgewick R., Algorithmics, Addison-Wesley 1983
Aho, Hopcroft, Ullman, Struktury Danych i algorytmy, 1983
Banachowski L., Diks K., Rytter W., Algorytmy i struktury danych, WNT 1999