Курс: Principles of Programming Languages

Section outline

Select section Splošno

Splošno

Затвори ги сите Прошири ги сите
- Select activity Obvestila in vprašanja
  
  Obvestila in vprašanja Форум
  
  Tu objavljamo obvestila o predmetu, študenti pa lahko tudi kaj vprašate.
- Select activity Predavatelji: Matija Pretnar, Andrej Bauer Asisten...
  
  Predavatelji: Matija Pretnar, Andrej Bauer
  Asistent: Klemen Klanjšček
- Select activity Študent opravi predmet s pisnim izpitom. Drugih ob...
  
  Študent opravi predmet s pisnim izpitom. Drugih obveznosti pri tem predmetu ni.
- Select activity Urnik
  
  Urnik URL
- Select activity Information for exchange students
  
  Information for exchange students Page
  
  Information for exchange students who do not undertstand Slovene.
- Select activity Vaje
  
  Vaje
- Select activity Discord server
  
  Discord server URL
- Select activity First exam, 2024-06-10
  
  First exam, 2024-06-10 Задача
- Select activity Second exam, 2024-06-20
  
  Second exam, 2024-06-20 Задача
- Select activity Third exam, 2024-09-09
  
  Third exam, 2024-09-09 Задача
  
  Not available unless: You enter the correct password
- Select activity Upload your notes here
  
  Upload your notes here Задача
- Select activity Third exam PDF
  
  Third exam PDF Датотека
  
  Not available unless: You enter the correct password
  
  Прикачено 9/09/2024 11:26
Select section Študijsko gradivo

Š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!.
- Select activity Predavanja
  
  Predavanja
- Select activity Skripta
  
  Skripta URL
- Select activity The Programming Languages Zoo
  
  The Programming Languages Zoo URL
- 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
  
  Arhiv 2022/23
- Select activity Video posnetki predavanj 2022/23
  
  Video posnetki predavanj 2022/23 URL
- Select activity Zapiski in datoteke s predavanj 2022/23
  
  Zapiski in datoteke s predavanj 2022/23 URL
- Select activity Arhiv 2021/22 (kopiraj)
  
  Arhiv 2021/22
- Select activity Video posnetki predavanj 2021/22
  
  Video posnetki predavanj 2021/22 URL
- Select activity Zapiski in datoteke s predavanj 2021/22
  
  Zapiski in datoteke s 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 Датотека
- Select activity Rešitve
  
  Rešitve Датотека
Select section Naloge za utrjevanje

Naloge za utrjevanje
Select section Stari izpiti

Stari izpiti
- Select activity ##### 2018/2019
  
  2018/2019
- Select activity 1. izpit
  
  1. izpit Датотека
- Select activity ##### 2017/2018
  
  2017/2018
- Select activity 1. izpit
  
  1. izpit Датотека
- Select activity Kartica
  
  Kartica Датотека
- Select activity Cezarjeva šifra
  
  Cezarjeva šifra Датотека
- Select activity 2. izpit
  
  2. izpit Датотека
- Select activity Pravilnost
  
  Pravilnost Датотека
- Select activity Tokovi (SML)
  
  Tokovi (SML) Датотека
- Select activity Tokovi (Haskell)
  
  Tokovi (Haskell) Датотека
- Select activity 3. izpit
  
  3. izpit Датотека
- Select activity Rešitve
  
  Rešitve Датотека
- Select activity Števila
  
  Števila Датотека
- Select activity Novejši izpiti
  
  Novejši izpiti Датотека
  
  Прикачено 6/06/2022 15:09
- Select activity Še bolj novi izpiti
  
  Še bolj novi izpiti Датотека
  
  Прикачено 8/09/2024 11:24

Section outline

Splošno

Vaje

Študijsko gradivo

Predavanja

Aritmetični izrazi

Naloge za utrjevanje

Stari izpiti

2018/2019

2017/2018