Grażyna Mirkowska dr hab. prof PJWSTK
home
o mnie
badania
publikacje
PUBLIKACJE ELEKTRONICZNE
kontakt
PRACE W TOKU
PROJEKTY BADAWCZE
TEMATYKA BADAŃ
Specyfikacja struktur danych
Systemy wieloagentowe
Procesy współbieżne i rozproszone
Formalne metody weryfikacji programów.
Dydaktyka
Koło naukowe
Prace magisterskie
Projekty studenckie
Wykłady
Matemetyka Dyskretna I -MAD
Metody Analizy Programów -MAP
Algorytmy na grafach
Algorytmy i Struktury Danych -ASD
Programowanie Obiektowe
Wstęp do Informatyki
Logiki Programów
