|
Urnik |
|
|
Information for exchange students |
Information for exchange students who do not undertstand Slovene.
|
|
Discord server |
|
|
Študijsko gradivo |
Skripta |
|
|
The Programming Languages Zoo |
|
|
Zapiski in datoteke s predavanj 2023/24 |
Zapiski s predavanj (tabla in datoteke) |
|
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. |
|
Video posnetki predavanj 2022/23 |
|
|
Zapiski in datoteke s predavanj 2022/23 |
Zapiski s predavanj (tabla in datoteke) |
|
Video posnetki predavanj 2021/22 |
|
|
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 |
|
|
Dame (nqueens.swinb) |
|
|
Izpeljava tipov in tokovi |
Vaje: programiranje s tokovi |
|
|
Rešitve |
|
|
Računski učinki |
Haskell na spletu |
|
|
Vaje: Haskell |
|
|
Rešitve |
|
|
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 |
|