Predmet: Principi programskih jezikov

You are currently viewing this course as gost.

Oris teme

Splošno

Skrči vse Razširi vse
- Obvestila in vprašanja Forum
  
  Tu objavljamo obvestila o predmetu, študenti pa lahko tudi kaj vprašate.
- Predavatelji: Matija Pretnar, Andrej Bauer
  Asistent: Klemen Klanjšček
- Študent opravi predmet s pisnim izpitom. Drugih obveznosti pri tem predmetu ni.
- Urnik URL
- Information for exchange students Stran
  
  Information for exchange students who do not undertstand Slovene.
- Vaje
- Discord server URL
- First exam, 2024-06-10 Naloga
- Second exam, 2024-06-20 Naloga
- Third exam, 2024-09-09 Naloga
  
  Ni na voljo, razen če velja vse od naštetega: You enter the correct password
- Upload your notes here Naloga
- Third exam PDF Datoteka
  
  Uploaded 9/09/24, 11:26
  
  Ni na voljo, razen če velja vse od naštetega: You enter the correct password
Š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
- The Programming Languages Zoo URL
- Zapiski in datoteke s predavanj 2023/24 URL
- 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.
- Arhiv 2022/23
- Video posnetki predavanj 2022/23 URL
- Zapiski in datoteke s predavanj 2022/23 URL
- Arhiv 2021/22
- Video posnetki predavanj 2021/22 URL
- Zapiski in datoteke s predavanj 2021/22 URL
Aritmetični izrazi
Ukazni programski jezik
- Vaje 2 (ukazni programski jezik) Stran
- Rešitve, četrtek 2024 Datoteka
  
  Uploaded 10/03/24, 23:19
Dokazovanje pravilnosti
- Vaje 3 (dokazovanje pravilnosti) Stran
- Rešitve Stran
- Lab works: Hoare logic Stran
- vaje3.md Datoteka
  
  Uploaded 10/03/24, 23:21
- Rešitve na vajah Mapa
λ-račun
Izpeljava tipov
- Vaje: izpeljava tipov Stran
- Rešitve Stran
Deklarativno programiranje
- OCaml plonklistek Datoteka
- Vaje: podatkovni tipi Stran
- Rešitve Datoteka
- Vaje: AVL drevesa Stran
- Rešitve Datoteka
- Rekurzija Stran
- Rešitve Datoteka
- AVL drevesa — notebook Datoteka
  
  Uploaded 13/04/23, 15:45
- Rekurzija — notebook Datoteka
  
  Uploaded 20/04/23, 16:17
Logično programiranje

Poudarjeno
- Vaje: prolog Stran
- Graf družinskih relacij Datoteka
- Baza družinskih relacij (famrel.pl) Datoteka
- SWI notebook (druzinske_relacije.swinb) Datoteka
  
  Spremenjeno 13/04/22, 21:19
- Uvod v prolog 2 (uvod2.pl) Datoteka
  
  Uploaded 10/04/22, 18:06
- Rešitve Datoteka
- Vaje: Turingov stroj Stran
- SWI notebook (turing.swinb) Datoteka
  
  Spremenjeno 10/05/23, 21:52
- Rešitve Datoteka
Programiranje z omejitvami in izpeljava tipov
- Vaje: logično programiranje z omejitvami Stran
- Jedilnik Datoteka
- Rešitve: jedilnik Datoteka
- Rešitve: 8 dam Datoteka
- Dame (nqueens.swinb) Datoteka
  
  Spremenjeno 18/05/23, 13:19
- dame rešitve Datoteka
  
  Uploaded 24/04/22, 21:06
Izpeljava tipov in tokovi
- Vaje: programiranje s tokovi Stran
- Rešitve Datoteka
Računski učinki
Naloge za utrjevanje
Stari izpiti
- 2018/2019
- 1. izpit Datoteka
- 2017/2018
- 1. izpit Datoteka
- Kartica Datoteka
- Cezarjeva šifra Datoteka
- 2. izpit Datoteka
- Pravilnost Datoteka
- Tokovi (SML) Datoteka
- Tokovi (Haskell) Datoteka
- 3. izpit Datoteka
- Rešitve Datoteka
- Števila Datoteka
- Novejši izpiti Datoteka
  
  Uploaded 6/06/22, 15:09
- Še bolj novi izpiti Datoteka
  
  Uploaded 8/09/24, 11:24