Rok akademicki 04/05
- Protokoły komunikacyjne (seminarium magisterskie) :
- Praktyczne metody weryfikacji (wykład i laboratorium) :
- Wstęp do teorii mnogości (wykład i ćwiczenia) :
- Języki, automaty i obliczenia (ćwiczenia) :
Konsultacje: piątki, godz. 14:15 - 15:45, pokoj 5730.
- Dawniej:
sl
2004-10-06