Predmet: Principi programskih jezikov

Section outline

Izberi poglavje Osnovni podatki o predmetu

Osnovni podatki o predmetu

Skrči vse Razširi vse
- Izberi aktivnost Splošni podatki o predmetuLaboratorijske vaje začn...
  
  Predavanja in vaje se začnejo v ponedeljek 17. februarja 2025 po urniku.
- Izberi aktivnost 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
- Izberi aktivnost Obvestila in vprašanja
  
  Obvestila in vprašanja Forum
  
  Tu objavljamo obvestila o predmetu, študenti pa lahko tudi kaj vprašate.
- Izberi aktivnost Information for exchange students
  
  Information for exchange students Stran
  
  Information for exchange students who do not undertstand Slovene.
- Izberi aktivnost First exam, 2024-06-10
  
  First exam, 2024-06-10 Naloga
- Izberi aktivnost Second exam, 2024-06-20
  
  Second exam, 2024-06-20 Naloga
- Izberi aktivnost Third exam, 2024-09-09
  
  Third exam, 2024-09-09 Naloga
  
  Ni na voljo, razen če velja vse od naštetega: You enter the correct password
- Izberi aktivnost Third exam PDF
  
  Third exam PDF Datoteka
  
  Ni na voljo, razen če velja vse od naštetega: You enter the correct password
  
  Naloženo 9/09/24, 11:26
Izberi poglavje Študijsko gradivo

Študijsko gradivo
- Izberi aktivnost Predavanja
  
  Predavanja
- Izberi aktivnost Skripta »Principi programskih jezikov 2024/25«
  
  Skripta »Principi programskih jezikov 2024/25« URL
- Izberi aktivnost Zapiski in datoteke s predavanj 2024/25
  
  Zapiski in datoteke s predavanj 2024/25 URL
  
  Zapiski s predavanj (tabla in datoteke)
- Izberi aktivnost Video posnetki predavanj 2024/25
  
  Video posnetki predavanj 2024/25 URL
- Izberi aktivnost #### 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!.
- Izberi aktivnost Arhiv 2023/24
  
  Arhiv 2023/24
- Izberi aktivnost Zapiski in datoteke s predavanj 2023/24
  
  Zapiski in datoteke s predavanj 2023/24 URL
- Izberi aktivnost 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.
- Izberi aktivnost Arhiv 2022/23 (kopiraj)
  
  Arhiv 2022/23
- Izberi aktivnost Zapiski in datoteke s predavanj 2022/23
  
  Zapiski in datoteke s predavanj 2022/23 URL
- Izberi aktivnost Video posnetki predavanj 2022/23
  
  Video posnetki predavanj 2022/23 URL
- Izberi aktivnost Arhiv 2021/22
  
  Arhiv 2021/22
- Izberi aktivnost Zapiski in datoteke s predavanj 2021/22
  
  Zapiski in datoteke s predavanj 2021/22 URL
- Izberi aktivnost Video posnetki predavanj 2021/22
  
  Video posnetki predavanj 2021/22 URL
Izberi poglavje Aritmetični izrazi

Aritmetični izrazi
- Izberi aktivnost Vaje 1 (aritmetični izrazi)
  
  Vaje 1 (aritmetični izrazi) Stran
- Izberi aktivnost Kalkulator
  
  Kalkulator Datoteka
- Izberi aktivnost Rešitve
  
  Rešitve Datoteka
Izberi poglavje Ukazni programski jezik

Ukazni programski jezik
- Izberi aktivnost Vaje 2 (ukazni programski jezik)
  
  Vaje 2 (ukazni programski jezik) Stran
- Izberi aktivnost Rešitve
  
  Rešitve Stran
Izberi poglavje Dokazovanje pravilnosti

Dokazovanje pravilnosti
- Izberi aktivnost Vaje 3 (dokazovanje pravilnosti)
  
  Vaje 3 (dokazovanje pravilnosti) Stran
- Izberi aktivnost Rešitve
  
  Rešitve Stran
Izberi poglavje λ-račun

λ-račun
- Izberi aktivnost λ-račun v brskalniku (clean)
  
  λ-račun v brskalniku (clean) Datoteka
- Izberi aktivnost Vaje 4 (λ-račun)
  
  Vaje 4 (λ-račun) Stran
- Izberi aktivnost Rešitve
  
  Rešitve Stran
Izberi poglavje Deklarativno programiranje

Deklarativno programiranje
- Izberi aktivnost OCaml plonklistek
  
  OCaml plonklistek Datoteka
- Izberi aktivnost Vaje: podatkovni tipi
  
  Vaje: podatkovni tipi Stran
- Izberi aktivnost Rešitve
  
  Rešitve Datoteka
- Izberi aktivnost Vaje: AVL drevesa
  
  Vaje: AVL drevesa Stran
- Izberi aktivnost Rešitve
  
  Rešitve Datoteka
- Izberi aktivnost Rekurzija
  
  Rekurzija Stran
- Izberi aktivnost Rešitve
  
  Rešitve Datoteka
- Izberi aktivnost AVL drevesa — notebook
  
  AVL drevesa — notebook Datoteka
  
  Naloženo 13/04/23, 15:45
- Izberi aktivnost Rekurzija — notebook
  
  Rekurzija — notebook Datoteka
  
  Naloženo 20/04/23, 16:17
Izberi poglavje Izpeljava tipov

Izpeljava tipov
- Izberi aktivnost Vaje: izpeljava tipov
  
  Vaje: izpeljava tipov Stran
- Izberi aktivnost Rešitve
  
  Rešitve Stran
Izberi poglavje Logično programiranje

Logično programiranje

Poudarjeno
- Izberi aktivnost Vaje: prolog
  
  Vaje: prolog Stran
- Izberi aktivnost Graf družinskih relacij
  
  Graf družinskih relacij Datoteka
- Izberi aktivnost Baza družinskih relacij (famrel.pl)
  
  Baza družinskih relacij (famrel.pl) Datoteka
- Izberi aktivnost druzinske_relacije.swinb (na spletu)
  
  druzinske_relacije.swinb (na spletu) URL
- Izberi aktivnost SWI notebook (druzinske_relacije.swinb)
  
  SWI notebook (druzinske_relacije.swinb) Datoteka
  
  Spremenjeno 13/04/22, 21:19
- Izberi aktivnost Uvod v prolog 2 (uvod2.pl)
  
  Uvod v prolog 2 (uvod2.pl) Datoteka
  
  Naloženo 10/04/22, 18:06
- Izberi aktivnost Rešitve
  
  Rešitve Datoteka
- Izberi aktivnost Vaje: Turingov stroj
  
  Vaje: Turingov stroj Stran
- Izberi aktivnost SWI notebook (turing.swinb)
  
  SWI notebook (turing.swinb) Datoteka
  
  Spremenjeno 10/05/23, 21:52
- Izberi aktivnost https://prolog.fri.uni-lj.si/p/druzinske_relacije.swinb
  
  https://prolog.fri.uni-lj.si/p/druzinske_relacije.swinb URL
Izberi poglavje Naloge za utrjevanje

Naloge za utrjevanje
- Izberi aktivnost Sintaksa in aritmetični izrazi
  
  Sintaksa in aritmetični izrazi Stran
- Izberi aktivnost Ukazni programski jezik
  
  Ukazni programski jezik Stran
- Izberi aktivnost Dokazovanje pravilnosti
  
  Dokazovanje pravilnosti Stran
- Izberi aktivnost λ-račun
  
  λ-račun Stran
- Izberi aktivnost Podatkovni tipi
  
  Podatkovni tipi Stran
- Izberi aktivnost Rekurzija
  
  Rekurzija Stran
Izberi poglavje Stari izpiti

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

Section outline

Predavanja

Elektronski viri

Dodatna literatura

Arhiv 2023/24

Arhiv 2022/23

Arhiv 2021/22

2018/2019

2017/2018