Courses currently taught (LS 2016)

• Úvod do programování (ALG110006)

Courses taught in the previous semester

• Model Theory (ALG500009)

Courses taught in the past

• Introduction to General Topology (ALGV00048, 2015)
• Pokročilá témata z programování (ALG110011, 2015)
• Úvod do programování (ALG110006, 2015)
• Umělá inteligence (ALG500008, 2014)
• Forcing (ALGV00054, 2014)
• Teorie Modelů (ALG500009, 2014)
• Booleovy Algebry (ALG110011, 2014)
• Cvičení z topologie (NMAT039, 2009)