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:
- 2024/2025
- Formalizirana matematika in dokazovalni pomočniki ‣ predavanja ‣ videi ‣ zapiski s predavanj
- Simbolično računanje in dinamična geometrija ‣ videi ‣ zapiski s predavanj
- 2022/2023
- Logika in množice ‣ predavanja ‣ videi ‣ zapiski s predavanj
- Simbolično računanje in dinamična geometrija ‣ videi ‣ zapiski s predavanj
- Principi programskih jezikov ‣ predavanja ‣ videi ‣ zapiski s predavanj
- Logika v računalništvu ‣ predavanja ‣ videi ‣ repozitorij
- 2021/2022
- Logika in množice ‣ predavanja ‣ videi ‣ zapiski s predavanj
- Principi programskih jezikov ‣ videi ‣ 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 ‣ videi ‣ 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