Zajęcia prowadzone przez Aleksego Schuberta
(Classes given by Aleksy Schubert)
Zajęcia w roku 2007/08
(Classes in the year 2007/08)
- Seminarium programowanie funkcyjne i logika (seminarium - magisterskie studia dzienne, I-II semestr)
-
Semantyka i weryfikacja programow - ćwiczenia
- Gościnny wykład o JML-u PDF część I
- Podstawy matematyki - ćwiczenia
- Sieci komputerowe
Zajęcia prowadzone wcześniej
(Past classes)
- Sieci komputerowe (laboratorium) Proponowane protokoły:
- Logika (ćwiczenia)
-
Zaawansowane zagadnienia sieciowe
(wykład - magisterskie studia dzienne, II semestr
2006/2007)
- Pisanie bezpiecznych programów w Javie (wykład i laboratorium - magisterskie studia dzienne, II semestr 2006/2007)
- Seminarium programowanie funkcyjne i logika (seminarium - magisterskie studia dzienne, I-II semestr, stara strona)
- Laboratorium Sieci komputerowe (laboratorium - III r. studia dzienne, II semestr)
- Laboratorium Zespołowy Projekt Programistyczny (laboratorium - III r. studia dzienne, I-II semest
- Programowanie WWW 2004/2005 (wykład - magisterskie studia dzienne, II semestr)r)
- Sieci komputerowe II (wykład i laboratorium - II r. MSUI, II trymestr)
- Wstęp do logiki 2004/2005 (ćwiczenia do wykładu - magisterskie studia dzienne, II semestr)
- Wstęp do sieci komputerowych (wykład - I r. MSUI, II trymestr)
- Algorytmiczne sieci komputerowe 2003/2004 (wykład - magisterskie studia dzienne, I semestr)
- Bezpieczeństwo sieci komputerowych 2003/2004 (wyklad - II r. MSUI, III trymestr)
- Komputerowo wspomagane dowodzenie twierdzeń 2003/2004 (wykład - magisterskie studia dzienne, I semestr)
- Laboratorium UNIX 2001/2002 (laboratorium - II r. ZSI, I/II trymestr)
- Sieci komputerowe I (wykład i laboratorium - II r. MSUI, I trymestr)
- Wstęp do logiki 2003/2004 (wykład - I r. magisterskich studiów dziennych, II semestr)
- Wstęp do teorii mnogości (ćwiczenia do wykładu - magisterskie studia dzienne, I semestr)
Ostatnia modyfikacja: 30.04.2008
