Tema Ime Opis
URL Urnik
Stran 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 Stran Vaje 1 (aritmetični izrazi)
Datoteka Kalkulator
Datoteka Rešitve
Ukazni programski jezik Stran Vaje 2 (ukazni programski jezik)
Datoteka Rešitve, četrtek 2024
Dokazovanje pravilnosti Stran Vaje 3 (dokazovanje pravilnosti)
Stran Rešitve
Stran Lab works: Hoare logic
Datoteka vaje3.md
Mapa Rešitve na vajah
λ-račun Datoteka λ-račun v brskalniku (clean)
Stran Vaje 4 (λ-račun)
Stran Rešitve
Izpeljava tipov Stran Vaje: izpeljava tipov
Stran Rešitve
Deklarativno programiranje Datoteka OCaml plonklistek
Stran Vaje: podatkovni tipi
Datoteka Rešitve
Stran Vaje: AVL drevesa
Datoteka Rešitve
Stran Rekurzija
Datoteka Rešitve
Datoteka AVL drevesa — notebook
Datoteka Rekurzija — notebook
Logično programiranje Stran Vaje: prolog
Datoteka Graf družinskih relacij
Datoteka Baza družinskih relacij (famrel.pl)
Datoteka SWI notebook (druzinske_relacije.swinb)
Datoteka Uvod v prolog 2 (uvod2.pl)
Datoteka Rešitve
Stran Vaje: Turingov stroj
Datoteka SWI notebook (turing.swinb)
Datoteka Rešitve
Programiranje z omejitvami in izpeljava tipov Stran Vaje: logično programiranje z omejitvami
Datoteka Jedilnik
Datoteka Rešitve: jedilnik
Datoteka Rešitve: 8 dam
Datoteka Dame (nqueens.swinb)
Datoteka dame rešitve
Izpeljava tipov in tokovi Stran Vaje: programiranje s tokovi
Datoteka Rešitve
Računski učinki URL Haskell na spletu
Stran Vaje: Haskell
Datoteka Rešitve
Stran Vaje: monade
URL Monade v slikah
Datoteka Monadi za vhod / izhod
Naloge za utrjevanje Stran Sintaksa in aritmetični izrazi
Stran Ukazni programski jezik
Stran Dokazovanje pravilnosti
Stran λ-račun
Stran Podatkovni tipi
Stran Rekurzija
Stran Logično programiranje
Stran Programiranje z omejitvami
Stari izpiti Datoteka 1. izpit
Datoteka 1. izpit
Datoteka Kartica
Datoteka Cezarjeva šifra
Datoteka 2. izpit
Datoteka Pravilnost
Datoteka Tokovi (SML)
Datoteka Tokovi (Haskell)
Datoteka 3. izpit
Datoteka Rešitve
Datoteka Števila
Datoteka Novejši izpiti
Datoteka Še bolj novi izpiti