Course: Principles of Programming Languages

Section outline

Select section Osnovni podatki o predmetu

Osnovni podatki o predmetu

Collapse all Expand all
- Select activity Splošni podatki o predmetuLaboratorijske vaje začn...
  
  Predavanja in vaje se začnejo v ponedeljek 17. februarja 2025 po urniku.
- Select activity Osnovni podatki o predmetu
  
  Predavatelj: Andrej Bauer
  
  Asistent: Klemen Klanjšček
  
  Urnik predavanj in vaj 2024/25
  
  Govorilne ure: po dogovoru z asistentom in predavateljem
  
  Obveznosti pri predmetu:
  
  študent opravi predmet s pisnim izpitom
  
  prisotnost na predavanjih in vajah je priporočena in zaželena
  
  Discord: https://discord.gg/YkpXsKzG9p
- Select activity Obvestila in vprašanja
  
  Obvestila in vprašanja Forum
  
  Tu objavljamo obvestila o predmetu, študenti pa lahko tudi kaj vprašate.
- Select activity Information for exchange students
  
  Information for exchange students Page
  
  Information for exchange students who do not undertstand Slovene.
- Select activity Tekoči izpit
  
  Tekoči izpit
- Select activity Upload your notes here
  
  Upload your notes here Assignment
- Select activity Second exam, 2025-06-30
  
  Second exam, 2025-06-30 Assignment
Select section Študijsko gradivo

Študijsko gradivo
- Select activity Predavanja
  
  Predavanja
- Select activity Skripta »Principi programskih jezikov 2024/25«
  
  Skripta »Principi programskih jezikov 2024/25« URL
- Select activity Zapiski in datoteke s predavanj 2024/25
  
  Zapiski in datoteke s predavanj 2024/25 URL
  
  Zapiski s predavanj (tabla in datoteke)
- Select activity Video posnetki predavanj 2024/25
  
  Video posnetki predavanj 2024/25 URL
- Select activity #### Elektronski viri * [Virtualka za vaje](http:/...
  
  Elektronski viri
  
  Virtualka za vaje
  
  Programming Languages Zoo
  
  Dodatna literatura
  
  Benjamin Pierce: Types and Programming Languages, MIT Press, 2002.
  
  Robert: Practical Foundations for Programming Languages, Cambridge University Press, 2016
  
  Ivan Bratko: Prolog Programming for Artificial Intelligence (4th edition), Addison-Wesley, 2012.
  
  Markus Triska: The Power of Prolog.
  
  Martin Lipovača: Learn You a Haskell for Great Good!.
- Select activity Arhiv 2023/24
  
  Arhiv 2023/24
- Select activity Zapiski in datoteke s predavanj 2023/24
  
  Zapiski in datoteke s predavanj 2023/24 URL
- Select activity Video posnetki predavanj 2023/24
  
  Video posnetki predavanj 2023/24 URL
  
  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.
- Select activity Arhiv 2022/23 (kopiraj)
  
  Arhiv 2022/23
- Select activity Zapiski in datoteke s predavanj 2022/23
  
  Zapiski in datoteke s predavanj 2022/23 URL
- Select activity Video posnetki predavanj 2022/23
  
  Video posnetki predavanj 2022/23 URL
- Select activity Arhiv 2021/22
  
  Arhiv 2021/22
- Select activity Zapiski in datoteke s predavanj 2021/22
  
  Zapiski in datoteke s predavanj 2021/22 URL
- Select activity Video posnetki predavanj 2021/22
  
  Video posnetki predavanj 2021/22 URL
Select section Aritmetični izrazi

Aritmetični izrazi
- Select activity Vaje 1 (aritmetični izrazi)
  
  Vaje 1 (aritmetični izrazi) Page
- Select activity Kalkulator
  
  Kalkulator File
- Select activity Rešitve
  
  Rešitve File
Select section Ukazni programski jezik

Ukazni programski jezik
- Select activity Vaje 2 (ukazni programski jezik)
  
  Vaje 2 (ukazni programski jezik) Page
- Select activity Rešitve
  
  Rešitve Page
Select section Dokazovanje pravilnosti

Dokazovanje pravilnosti
- Select activity Vaje 3 (dokazovanje pravilnosti)
  
  Vaje 3 (dokazovanje pravilnosti) Page
- Select activity Rešitve
  
  Rešitve Page
Select section λ-račun

λ-račun
- Select activity λ-račun v brskalniku (clean)
  
  λ-račun v brskalniku (clean) File
- Select activity Vaje 4 (λ-račun)
  
  Vaje 4 (λ-račun) Page
- Select activity Rešitve
  
  Rešitve Page
Select section Deklarativno programiranje

Deklarativno programiranje
- Select activity OCaml plonklistek
  
  OCaml plonklistek File
- Select activity Vaje: podatkovni tipi
  
  Vaje: podatkovni tipi Page
- Select activity Rešitve
  
  Rešitve File
- Select activity Vaje: AVL drevesa
  
  Vaje: AVL drevesa Page
- Select activity Rešitve
  
  Rešitve File
- Select activity Rekurzija
  
  Rekurzija Page
- Select activity Rešitve
  
  Rešitve File
- Select activity AVL drevesa — notebook
  
  AVL drevesa — notebook File
  
  Uploaded 13/04/23, 15:45
- Select activity Rekurzija — notebook
  
  Rekurzija — notebook File
  
  Uploaded 20/04/23, 16:17
Select section Izpeljava tipov

Izpeljava tipov
- Select activity Vaje: izpeljava tipov
  
  Vaje: izpeljava tipov Page
- Select activity Rešitve
  
  Rešitve Page
Select section Logično programiranje

Logično programiranje

Highlighted
- Select activity Vaje: prolog
  
  Vaje: prolog Page
- Select activity Graf družinskih relacij
  
  Graf družinskih relacij File
- Select activity Baza družinskih relacij (famrel.pl)
  
  Baza družinskih relacij (famrel.pl) File
- Select activity druzinske_relacije.swinb (na spletu)
  
  druzinske_relacije.swinb (na spletu) URL
- Select activity SWI notebook (druzinske_relacije.swinb)
  
  SWI notebook (druzinske_relacije.swinb) File
  
  Modified 13/04/22, 21:19
- Select activity Uvod v prolog 2 (uvod2.pl)
  
  Uvod v prolog 2 (uvod2.pl) File
  
  Uploaded 10/04/22, 18:06
- Select activity Rešitve
  
  Rešitve File
- Select activity Vaje: Turingov stroj
  
  Vaje: Turingov stroj Page
- Select activity SWI notebook (turing.swinb)
  
  SWI notebook (turing.swinb) File
  
  Modified 10/05/23, 21:52
- Select activity https://prolog.fri.uni-lj.si/p/druzinske_relacije.swinb
  
  https://prolog.fri.uni-lj.si/p/druzinske_relacije.swinb URL
- Select activity Rešitve
  
  Rešitve File
Select section Programiranje z omejitvami

Programiranje z omejitvami
- Select activity Vaje: logično programiranje z omejitvami
  
  Vaje: logično programiranje z omejitvami Page
- Select activity Jedilnik
  
  Jedilnik File
- Select activity Rešitve: jedilnik
  
  Rešitve: jedilnik File
- Select activity Rešitve: 8 dam
  
  Rešitve: 8 dam File
- Select activity Dame (nqueens.swinb)
  
  Dame (nqueens.swinb) File
  
  Modified 18/05/23, 13:19
- Select activity dame rešitve
  
  dame rešitve File
  
  Uploaded 24/04/22, 21:06
- Select activity https://prolog.fri.uni-lj.si/p/nqueens.swinb
  
  https://prolog.fri.uni-lj.si/p/nqueens.swinb URL
Select section Specifikacija in abstrakcija

Specifikacija in abstrakcija
- Select activity Primer: prioritetna vrsta
  
  Primer: prioritetna vrsta File
- Select activity Vaje: množice
  
  Vaje: množice Page
- Select activity Specifikacija: set.ml
  
  Specifikacija: set.ml File
- Select activity Implementacija: avlset.ml
  
  Implementacija: avlset.ml File
- Select activity OCaml jupyter notebook (ocaml-moduli.ipynb)
  
  OCaml jupyter notebook (ocaml-moduli.ipynb) File
  
  Uploaded 5/05/22, 09:17
- Select activity Rešitve
  
  Rešitve File
- Select activity Iztočna datoteka: (vaje12.ml)
  
  Iztočna datoteka: (vaje12.ml) File
  
  Uploaded 8/05/22, 14:46
Select section Računski učinki

Računski učinki
- Select activity Haskell na spletu
  
  Haskell na spletu URL
- Select activity Vaje: Haskell
  
  Vaje: Haskell Page
- Select activity Rešitve
  
  Rešitve File
- Select activity Vaje: monade
  
  Vaje: monade Page
- Select activity Monade v slikah
  
  Monade v slikah URL
- Select activity Monadi za vhod / izhod
  
  Monadi za vhod / izhod File
Select section Naloge za utrjevanje

Naloge za utrjevanje
- Select activity Sintaksa in aritmetični izrazi
  
  Sintaksa in aritmetični izrazi Page
- Select activity Ukazni programski jezik
  
  Ukazni programski jezik Page
- Select activity Dokazovanje pravilnosti
  
  Dokazovanje pravilnosti Page
- Select activity λ-račun
  
  λ-račun Page
- Select activity Podatkovni tipi
  
  Podatkovni tipi Page
- Select activity Rekurzija
  
  Rekurzija Page
- Select activity Specifikacija in abstrakcija
  
  Specifikacija in abstrakcija Page
- Select activity Logično programiranje
  
  Logično programiranje Page
- Select activity Programiranje z omejitvami
  
  Programiranje z omejitvami Page
Select section Stari izpiti

Stari izpiti
- Select activity ##### 2018/2019
  
  2018/2019
- Select activity 1. izpit
  
  1. izpit File
- Select activity ##### 2017/2018
  
  2017/2018
- Select activity 1. izpit
  
  1. izpit File
- Select activity Kartica
  
  Kartica File
- Select activity Cezarjeva šifra
  
  Cezarjeva šifra File
- Select activity 2. izpit
  
  2. izpit File
- Select activity Pravilnost
  
  Pravilnost File
- Select activity Tokovi (SML)
  
  Tokovi (SML) File
- Select activity Tokovi (Haskell)
  
  Tokovi (Haskell) File
- Select activity 3. izpit
  
  3. izpit File
- Select activity Rešitve
  
  Rešitve File
- Select activity Števila
  
  Števila File
- Select activity Novejši izpiti
  
  Novejši izpiti File
  
  Uploaded 6/06/22, 15:09
- Select activity Še bolj novi izpiti
  
  Še bolj novi izpiti File
  
  Uploaded 8/09/24, 11:24

Section outline

Tekoči izpit

Predavanja

Elektronski viri

Dodatna literatura

Arhiv 2023/24

Arhiv 2022/23

Arhiv 2021/22

2018/2019

2017/2018