Za govorilno ure se dogovorite kar v moji pisarni 4.35 (Jadranska 21) ali po elektronski pošti.
Predmeti
Za dodatne podatke o predmetih, ki se trenutno izvajajo, obiščite spletno učilnico.
Tekoči in nedavni predmeti:
- 2025/2026
- Logika in množice ‣ predavanja ‣ spletna učilnica
- Matematika z računalnikom ‣ spletna učilnica
- Sodobni trendi v izobraževanju matematike ‣ spletna učilnica
- 2024/2025
- Formalizirana matematika in dokazovalni pomočniki ‣ predavanja ‣ video posnetki ‣ zapiski s predavanj
- Simbolično računanje in dinamična geometrija ‣ video posnetki ‣ zapiski s predavanj
- Principi programskih jezikov ‣ predavanja ‣ video posnetki ‣ zapiski s predavanj
- 2022/2023
- Logika in množice ‣ predavanja ‣ video posnetki ‣ zapiski s predavanj
- Simbolično računanje in dinamična geometrija ‣ video posnetki ‣ zapiski s predavanj
- Principi programskih jezikov ‣ predavanja ‣ video posnetki ‣ zapiski s predavanj
- Logika v računalništvu ‣ predavanja ‣ video posnetki ‣ repozitorij
- 2021/2022
- Logika in množice ‣ predavanja ‣ video posnetki ‣ zapiski s predavanj
- Principi programskih jezikov ‣ video posnetki ‣ zapiski s predavanj
- 2020/2021
- Logika in množice ‣ zapiski s predavanj
- Računalniški praktikum ‣ zapiski s predavanj
- Računalništvo (fizika) ‣ zapiski s predavanj
- Principi programskih jezikov ‣ zapiski s predavanj
- 2019/2020
- Logika in množice ‣ zapiski s predavanj
- Računalniški praktikum ‣ zapiski s predavanj
- Računalništvo (fizika) ‣ zapiski s predavanj
- Principi programskih jezikov ‣ zapiski s predavanj
- 2018/2019
- Uvod v homotopsko teorijo tipov ‣ stran predmeta ‣ video posnetki ‣ zapiski s predavanj
- Računalniški praktikum ‣ zapiski s predavanj
- Računalništvo (fizika) ‣ zapiski s predavanj
- Principi programskih jezikov ‣ zapiski s predavanj
Dodatni viri
- Moj YouTube kanal
- Stari video arhiv, ki vključuje nekatere zgoraj omenjene predmete
- Popoln seznam predavanj in zapiskov