|
 Information for exchange students |
Information for exchange students who do not undertstand Slovene.
|
|
| Študijsko gradivo |
 Skripta »Principi programskih jezikov 2024/25« |
|
|
Zapiski in datoteke s predavanj 2024/25 |
Zapiski s predavanj (tabla in datoteke) |
|
Video posnetki predavanj 2024/25 |
|
|
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. |
|
Zapiski in datoteke s predavanj 2022/23 |
Zapiski s predavanj (tabla in datoteke) |
|
Video posnetki predavanj 2022/23 |
|
|
Zapiski in datoteke s predavanj 2021/22 |
|
|
Video posnetki predavanj 2021/22 |
|
|
| Aritmetični izrazi |
Vaje 1 (aritmetični izrazi) |
|
|
 Kalkulator |
|
|
Rešitve |
|
|
| Ukazni programski jezik |
Vaje 2 (ukazni programski jezik) |
|
|
Rešitve |
|
|
| Dokazovanje pravilnosti |
Vaje 3 (dokazovanje pravilnosti) |
|
|
Rešitve |
|
|
| λ-račun |
 λ-račun v brskalniku (clean) |
|
|
Vaje 4 (λ-račun) |
|
|
Rešitve |
|
|
| Deklarativno programiranje |
 OCaml plonklistek |
|
|
Vaje: podatkovni tipi |
|
|
Rešitve |
|
|
Vaje: AVL drevesa |
|
|
Rešitve |
|
|
Rekurzija |
|
|
Rešitve |
|
|
 AVL drevesa — notebook |
|
|
Rekurzija — notebook |
|
|
| Izpeljava tipov |
Vaje: izpeljava tipov |
|
|
Rešitve |
|
|
| Logično programiranje |
Vaje: prolog |
|
|
 Graf družinskih relacij |
|
|
Baza družinskih relacij (famrel.pl) |
|
|
druzinske_relacije.swinb (na spletu) |
|
|
SWI notebook (druzinske_relacije.swinb) |
|
|
Uvod v prolog 2 (uvod2.pl) |
|
|
Rešitve |
|
|
Vaje: Turingov stroj |
|
|
SWI notebook (turing.swinb) |
|
|
https://prolog.fri.uni-lj.si/p/druzinske_relacije.swinb |
|
|
Rešitve |
|
|
| Programiranje z omejitvami |
Vaje: logično programiranje z omejitvami |
|
|
Jedilnik |
|
|
Rešitve: jedilnik |
|
|
Rešitve: 8 dam |
|
|
Dame (nqueens.swinb) |
|
|
dame rešitve |
|
|
https://prolog.fri.uni-lj.si/p/nqueens.swinb |
|
|
| Specifikacija in abstrakcija |
 Primer: prioritetna vrsta |
|
|
Vaje: množice |
|
|
Specifikacija: set.ml |
|
|
Implementacija: avlset.ml |
|
|
OCaml jupyter notebook (ocaml-moduli.ipynb) |
|
|
Rešitve |
|
|
Iztočna datoteka: (vaje12.ml) |
|
|
| Računski učinki |
Haskell na spletu |
|
|
Vaje: Haskell |
|
|
Rešitve |
|
|
Vaje: monade |
|
|
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 |
|
|
Specifikacija in abstrakcija |
|
|
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 |
|
