Uvod u matematičku logiku Matematička logika u računarstvu Logic and Probability Teorija algoritama (izborni) Teorijsko računarstvo (izborni, master) Teorija algoritama R Metodika nastave matematike i računarstva