Course: Principles of Programming Languages

Topic outline

Splošno
- Obvestila in vprašanja Forum
  Tu objavljamo obvestila o predmetu, študenti pa lahko tudi kaj vprašate.
- Splošni podatki o predmetu
- Predavatelj: Andrej Bauer
  Asistent: Klemen Klanjšček
- Študent opravi predmet s pisnim izpitom. Drugih obveznosti pri tem predmetu ni.
- Urnik URL
- Information for exchange students Page
  Information for exchange students who do not undertstand Slovene.
- Vaje
- Discord server URL
Študijsko gradivo
- 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!.
- Predavanja
- Skripta URL
- Zapiski s predavanj URL
- Video posnetki predavanja 2022/23 URL
- Arhiv 2021/22
- Video posnetki predavanj 2021/22 URL
- Zapiski in datoteke s predavanj 2021/22 URL
Aritmetični izrazi
- Vaje 1 (aritmetični izrazi) Page
- Kalkulator File
Ukazni programski jezik
- Vaje 2 (ukazni programski jezik) Page
- Rešitve Page
Dokazovanje pravilnosti
λ-račun
- λ-račun v brskalniku File
- Vaje 4 (λ-račun) File
Deklarativno programiranje
- OCaml plonklistek File
- Vaje: podatkovni tipi Page
- Rešitve File
- Vaje: AVL drevesa Page
- Rešitve File
- Rekurzija Page
- Rešitve File
- AVL drevesa — notebook File Uploaded 13/04/23, 15:45
- Rekurzija — notebook File Uploaded 20/04/23, 16:17
Logično programiranje
- Vaje: prolog Page
- Graf družinskih relacij File
- Baza družinskih relacij (famrel.pl) File
- SWI notebook (druzinske_relacije.swinb) File Modified 13/04/22, 21:19
- Uvod v prolog 2 (uvod2.pl) File Uploaded 10/04/22, 18:06
- Rešitve File
- Vaje: Turingov stroj Page
- SWI notebook (turing.swinb) File Modified 10/05/23, 21:52
Programiranje z omejitvami in izpeljava tipov
- Vaje: logično programiranje z omejitvami in izpeljava tipov Page
- Dame (nqueens.swinb) File Modified 18/05/23, 13:19
Specifikacija in abstrakcija
- Primer: prioritetna vrsta File
- Vaje: množice Page
- Specifikacija: set.ml File
- Implementacija: avlset.ml File
- OCaml jupyter notebook (ocaml-moduli.ipynb) File Uploaded 5/05/22, 09:17
- Rešitve File
- Iztočna datoteka: (vaje12.ml) File Uploaded 8/05/22, 14:46
Naloge za utrjevanje
Stari izpiti
- 2018/2019
- 1. izpit File
- 2017/2018
- 1. izpit File
- Kartica File
- Cezarjeva šifra File
- 2. izpit File
- Pravilnost File
- Tokovi (SML) File
- Tokovi (Haskell) File
- 3. izpit File
- Rešitve File
- Števila File
- Novejši izpiti File Uploaded 6/06/22, 15:09