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 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 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