Тема Име Опис
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)
Датотека Kalkulator
Датотека Rešitve
Ukazni programski jezik Page Vaje 2 (ukazni programski jezik)
Датотека Rešitve, četrtek 2024
Dokazovanje pravilnosti Page Vaje 3 (dokazovanje pravilnosti)
Page Rešitve
Page Lab works: Hoare logic
Датотека vaje3.md
Папка Rešitve na vajah
λ-račun Датотека λ-račun v brskalniku (clean)
Page Vaje 4 (λ-račun)
Page Rešitve
Izpeljava tipov Page Vaje: izpeljava tipov
Page Rešitve
Deklarativno programiranje Датотека OCaml plonklistek
Page Vaje: podatkovni tipi
Датотека Rešitve
Page Vaje: AVL drevesa
Датотека Rešitve
Page Rekurzija
Датотека Rešitve
Датотека AVL drevesa — notebook
Датотека Rekurzija — notebook
Logično programiranje Page Vaje: prolog
Датотека Graf družinskih relacij
Датотека Baza družinskih relacij (famrel.pl)
Датотека SWI notebook (druzinske_relacije.swinb)
Датотека Uvod v prolog 2 (uvod2.pl)
Датотека Rešitve
Page Vaje: Turingov stroj
Датотека SWI notebook (turing.swinb)
Датотека Rešitve
Programiranje z omejitvami in izpeljava tipov Page Vaje: logično programiranje z omejitvami
Датотека Jedilnik
Датотека Rešitve: jedilnik
Датотека Rešitve: 8 dam
Датотека Dame (nqueens.swinb)
Датотека dame rešitve
Izpeljava tipov in tokovi Page Vaje: programiranje s tokovi
Датотека Rešitve
Računski učinki URL Haskell na spletu
Page Vaje: Haskell
Датотека Rešitve
Page Vaje: monade
URL Monade v slikah
Датотека 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 Датотека 1. izpit
Датотека 1. izpit
Датотека Kartica
Датотека Cezarjeva šifra
Датотека 2. izpit
Датотека Pravilnost
Датотека Tokovi (SML)
Датотека Tokovi (Haskell)
Датотека 3. izpit
Датотека Rešitve
Датотека Števila
Датотека Novejši izpiti
Датотека Še bolj novi izpiti