Materiały archiwalne
Notatki do wykładu ze złożoności obliczeniowej (1999)
Materiały do wstępu do semantyki języków programowania (1999)
Materiały do zajęć z programowania w logice (1999 i 2000)
Materiały do zajęć z kodowania (2001)
Równania i nierówności liniowe (2001/02)
Równania i nierówności liniowe (2002/03)
Rownania w slowach (2003)