Principi programskih jezikov

Section outline

• Izberi poglavje Splošno

  Splošno

  Skrči vse Razširi vse

  • 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 Predavatelji: Matija Pretnar, Andrej Bauer Asisten...

    Predavatelji: Matija Pretnar, Andrej Bauer
    Asistent: Klemen Klanjšček

  • Izberi aktivnost Študent opravi predmet s pisnim izpitom. Drugih ob...

    Študent opravi predmet s pisnim izpitom. Drugih obveznosti pri tem predmetu ni.

  • Izberi aktivnost Urnik

    

    Urnik URL
  • Izberi aktivnost Information for exchange students

    

    Information for exchange students Stran

    Information for exchange students who do not undertstand Slovene.

  • Izberi aktivnost Vaje

    Vaje

  • Izberi aktivnost Discord server

    

    Discord server URL
  • 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 Upload your notes here

    

    Upload your notes here Naloga
  • Izberi aktivnost Third exam PDF

    

    Third exam PDF Datoteka

    Ni na voljo, razen če velja vse od naštetega: You enter the correct password

    Uploaded 9/09/24, 11:26
• Izberi poglavje Š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!.

  • Izberi aktivnost Predavanja

    Predavanja

  • Izberi aktivnost Skripta

    

    Skripta URL
  • Izberi aktivnost The Programming Languages Zoo

    

    The Programming Languages Zoo URL
  • 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

    Arhiv 2022/23
  • Izberi aktivnost Video posnetki predavanj 2022/23

    

    Video posnetki predavanj 2022/23 URL
  • Izberi aktivnost Zapiski in datoteke s predavanj 2022/23

    

    Zapiski in datoteke s predavanj 2022/23 URL
  • Izberi aktivnost Arhiv 2021/22 (kopiraj)

    Arhiv 2021/22
  • Izberi aktivnost Video posnetki predavanj 2021/22

    

    Video posnetki predavanj 2021/22 URL
  • Izberi aktivnost Zapiski in datoteke s predavanj 2021/22

    

    Zapiski in datoteke s 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 Naloge za utrjevanje

  Naloge za utrjevanje
• 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

    Uploaded 6/06/22, 15:09
  • Izberi aktivnost Še bolj novi izpiti

    

    Še bolj novi izpiti Datoteka

    Uploaded 8/09/24, 11:24