## Teaching

- Logic with Elements of Computation Theory (W. Buszkowski, computer science),
- Computation Theory (W. Buszkowski, M. Kandulski, computer science, mathematics),
- Theory of Automata and Mathematical Linguistics (M. Kandulski, computer science, mathematics),
- Foundations of Mathematics (W. Buszkowski, M. Kandulski, mathematics).
- Introduction to Computer Science (M. Kołowska-Gawiejnowicz, J. Marciniec, computer science, mathematics),
- Computers in School Education (M. Kołowska-Gawiejnowicz, mathematics).
- IT Tools (M. Kołowska-Gawiejnowicz, J. Marciniec, computer science, mathematics)

Classes in Mathematical Logic, Philosophy of Mathematics,
Foundations of Mathematics, Computation Theory, Logic for
Philosophers, Methods of Programming and others.