Witold Charatonik

Teaching

Poniżej jest lista przedmiotów, w jakie bywałem zaangażowany. Niektóre z nich zawierają materiały dydaktyczne, ale ostatnio raczej korzystam z serwisów skos (dawniej kno) oraz usosweb.

Logika dla informatyków 2016/17
Bazy danych (terminy oddawania projektu) 2010
Teoria i zastosowania automatów skończonych 2010
Logika dla informatyków / Logic for computer science 2009/10
Analiza programów komputerowych 2009
Logic for computer science 2008/09
Logika dla informatyków 2008/09
Bazy danych (cwiczenia) 2008
Programowanie logiczne (cwiczenia) 2008
Metody translacji 2008
Logika dla informatyków 2007/08
Bazy danych (cwiczenia) 2007
Automatyczna weryfikacja 2007
Logika dla informatyków 2006/07
Bazy danych (cwiczenia) 2006
Teoria i zastosowania automatów skończonych 2006
Kurs WWW (pracownia) 2005/06
Logika dla informatyków 2005/06
Analiza programów komputerowych 2005
Matematyka dyskretna 2004/05 (cwiczenia)
Matematyka dla informatyków I (studia wieczorowe)
Automatyczna weryfikacja 2004
Metody translacji 2003/04
Logika dla informatykow (cwiczenia dla grupy zaawansowanej) 2003/04
Metody translacji 2002/03
Programowanie 2003 (cwiczenia)
Jezyki formalne 2003 (cwiczenia)