To arrange an office hour, come to my office 4.35 (Jadranska 21) or send me an e-mail.
Courses
Visit spletna učilnica for complete information about ongoing courses.
Ongoing and recent courses:
- 2024/2025
- Formalized mathematics and proof assistants ‣ lecture notes ‣ videos ‣ class notes
- Symbolic computation and dynamic geometry ‣ videos ‣ class notes
- 2022/2023
- Logic and sets ‣ lecture notes ‣ videos ‣ class notes
- Symbolic computation and dynamic geometry ‣ videos ‣ class notes
- Principles of programming languages ‣ lecture notes ‣ videos ‣ class notes
- Logic in computer science ‣ lecture notes ‣ videos ‣ repository
- 2021/2022
- Logic and sets ‣ lecture notes ‣ videos ‣ class notes
- Principles of programming languages ‣ videos ‣ class notes
- 2020/2021
- Logic and sets ‣ class notes
- Computer practicum ‣ class notes
- Computer science (physics) ‣ class notes
- Principles of programming languages ‣ class notes
- 2019/2020
- Logic and sets ‣ class notes
- Computer practicum ‣ class notes
- Computer science (physics) ‣ class notes
- Principles of programming languages ‣ class notes
- 2018/2019
- Introduction to homotopy type theory ‣ course page ‣ videos ‣ class notes
- Computer practicum ‣ class notes
- Computer science (physics) ‣ class notes
- Principles of programming languages ‣ class notes
Additional resources
- My YouTube channel
- Old video archive, including some of the above courses
- Complete listing of lecture and class notes