주제 이름 모듈 소개
URL Urnik
웹페이지 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 웹페이지 Vaje 1 (aritmetični izrazi)
파일 Kalkulator
파일 Rešitve
Ukazni programski jezik 웹페이지 Vaje 2 (ukazni programski jezik)
파일 Rešitve, četrtek 2024
Dokazovanje pravilnosti 웹페이지 Vaje 3 (dokazovanje pravilnosti)
웹페이지 Rešitve
웹페이지 Lab works: Hoare logic
파일 vaje3.md
폴더 Rešitve na vajah
λ-račun 파일 λ-račun v brskalniku (clean)
웹페이지 Vaje 4 (λ-račun)
웹페이지 Rešitve
Izpeljava tipov 웹페이지 Vaje: izpeljava tipov
웹페이지 Rešitve
Deklarativno programiranje 파일 OCaml plonklistek
웹페이지 Vaje: podatkovni tipi
파일 Rešitve
웹페이지 Vaje: AVL drevesa
파일 Rešitve
웹페이지 Rekurzija
파일 Rešitve
파일 AVL drevesa — notebook
파일 Rekurzija — notebook
Logično programiranje 웹페이지 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
웹페이지 Vaje: Turingov stroj
파일 SWI notebook (turing.swinb)
파일 Rešitve
Programiranje z omejitvami in izpeljava tipov 웹페이지 Vaje: logično programiranje z omejitvami
파일 Jedilnik
파일 Rešitve: jedilnik
파일 Rešitve: 8 dam
파일 Dame (nqueens.swinb)
파일 dame rešitve
Izpeljava tipov in tokovi 웹페이지 Vaje: programiranje s tokovi
파일 Rešitve
Računski učinki URL Haskell na spletu
웹페이지 Vaje: Haskell
파일 Rešitve
웹페이지 Vaje: monade
URL Monade v slikah
파일 Monadi za vhod / izhod
Naloge za utrjevanje 웹페이지 Sintaksa in aritmetični izrazi
웹페이지 Ukazni programski jezik
웹페이지 Dokazovanje pravilnosti
웹페이지 λ-račun
웹페이지 Podatkovni tipi
웹페이지 Rekurzija
웹페이지 Logično programiranje
웹페이지 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