Topic Name Description
URL Urnik
Page Information for exchange students

Information for exchange students who do not undertstand Slovene.
URL Discord server
Študijsko gradivo URL Skripta
URL The Programming Languages Zoo
URL Zapiski in datoteke s predavanj 2023/24
Zapiski s predavanj (tabla in datoteke)
URL Video posnetki predavanj 2023/24

Ker predavanja 2023/24 ne potekajo izključno prek računalnika, nekatere stvari niso posnete in kakovost zvoka je včasih precej slaba. Posnetek je tako tu zgolj, če komu pride prav. Če ste manjkali na predavanjih si je bolje ogledati predavanja 2022/23, ki pokrivajo enako vsebino in so skoraj v celoti posneta.
URL Video posnetki predavanj 2022/23
URL Zapiski in datoteke s predavanj 2022/23
Zapiski s predavanj (tabla in datoteke)
URL Video posnetki predavanj 2021/22
URL Zapiski in datoteke s predavanj 2021/22
Aritmetični izrazi Page Vaje 1 (aritmetični izrazi)
File Kalkulator
File Rešitve
Ukazni programski jezik Page Vaje 2 (ukazni programski jezik)
File Rešitve, četrtek 2024
Dokazovanje pravilnosti Page Vaje 3 (dokazovanje pravilnosti)
Page Rešitve
Page Lab works: Hoare logic
File vaje3.md
Folder Rešitve na vajah
λ-račun File λ-račun v brskalniku (clean)
Page Vaje 4 (λ-račun)
Page Rešitve
Izpeljava tipov Page Vaje: izpeljava tipov
Page Rešitve
Deklarativno programiranje File OCaml plonklistek
Page Vaje: podatkovni tipi
File Rešitve
Page Vaje: AVL drevesa
File Rešitve
Page Rekurzija
File Rešitve
File AVL drevesa — notebook
File Rekurzija — notebook
Logično programiranje Page Vaje: prolog
File Graf družinskih relacij
File Baza družinskih relacij (famrel.pl)
File SWI notebook (druzinske_relacije.swinb)
File Uvod v prolog 2 (uvod2.pl)
File Rešitve
Page Vaje: Turingov stroj
File SWI notebook (turing.swinb)
File Rešitve
Programiranje z omejitvami in izpeljava tipov Page Vaje: logično programiranje z omejitvami
File Jedilnik
File Rešitve: jedilnik
File Rešitve: 8 dam
File Dame (nqueens.swinb)
File dame rešitve
Izpeljava tipov in tokovi Page Vaje: programiranje s tokovi
File Rešitve
Računski učinki URL Haskell na spletu
Page Vaje: Haskell
File Rešitve
Page Vaje: monade
URL Monade v slikah
File Monadi za vhod / izhod
Naloge za utrjevanje Page Sintaksa in aritmetični izrazi
Page Ukazni programski jezik
Page Dokazovanje pravilnosti
Page λ-račun
Page Podatkovni tipi
Page Rekurzija
Page Logično programiranje
Page Programiranje z omejitvami
Stari izpiti File 1. izpit
File 1. izpit
File Kartica
File Cezarjeva šifra
File 2. izpit
File Pravilnost
File Tokovi (SML)
File Tokovi (Haskell)
File 3. izpit
File Rešitve
File Števila
File Novejši izpiti
File Še bolj novi izpiti