Predmet: Principi programskih jezikov | Učilnica FRI 25/26

Osnutek odseka

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

    

    Tu objavljamo obvestila o predmetu, študenti pa lahko tudi kaj vprašate.

  • Izberi aktivnost Information for exchange students

    

    Information for exchange students who do not undertstand Slovene.

  • Izberi aktivnost Tekoči izpit

    Tekoči izpit

  • Izberi aktivnost Upload your notes here

    

  • Izberi aktivnost Second exam, 2025-06-30

    

  • Izberi aktivnost Last exam, 2025-08-19

    

    Last exam, 2025-08-19 Naloga

• • Izberi aktivnost Predavanja

    Predavanja

  • Izberi aktivnost Skripta »Principi programskih jezikov 2024/25«

    

  • Izberi aktivnost Zapiski in datoteke s predavanj 2024/25

    

    Zapiski s predavanj (tabla in datoteke)

  • Izberi aktivnost Video posnetki predavanj 2024/25

    

  • Izberi aktivnost Arhiv 2023/24

    Arhiv 2023/24

  • Izberi aktivnost Zapiski in datoteke s predavanj 2023/24

    

  • Izberi aktivnost Video posnetki predavanj 2023/24

    

    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

    

  • Izberi aktivnost Video posnetki predavanj 2022/23

    

  • Izberi aktivnost Arhiv 2021/22

    Arhiv 2021/22

  • Izberi aktivnost Zapiski in datoteke s predavanj 2021/22

    

  • Izberi aktivnost Video posnetki predavanj 2021/22

    

• • Izberi aktivnost Vaje 1 (aritmetični izrazi)

    

  • Izberi aktivnost Kalkulator

    

  • Izberi aktivnost Rešitve

    

• • Izberi aktivnost Vaje 2 (ukazni programski jezik)

    

  • Izberi aktivnost Rešitve

    

• • Izberi aktivnost Vaje 3 (dokazovanje pravilnosti)

    

  • Izberi aktivnost Rešitve

    

• • Izberi aktivnost λ-račun v brskalniku (clean)

    

  • Izberi aktivnost Vaje 4 (λ-račun)

    

  • Izberi aktivnost Rešitve

    

• • Izberi aktivnost OCaml plonklistek

    

  • Izberi aktivnost Vaje: podatkovni tipi

    

  • Izberi aktivnost Rešitve

    

  • Izberi aktivnost Vaje: AVL drevesa

    

  • Izberi aktivnost Rešitve

    

  • Izberi aktivnost Rekurzija

    

  • Izberi aktivnost Rešitve

    

  • Izberi aktivnost AVL drevesa — notebook

    

    Naloženo 13/04/23, 15:45

  • Izberi aktivnost Rekurzija — notebook

    

    Naloženo 20/04/23, 16:17

• • Izberi aktivnost Vaje: izpeljava tipov

    

  • Izberi aktivnost Rešitve

    

• • Izberi aktivnost Vaje: prolog

    

  • Izberi aktivnost Graf družinskih relacij

    

  • Izberi aktivnost Baza družinskih relacij (famrel.pl)

    

  • Izberi aktivnost druzinske_relacije.swinb (na spletu)

    

  • Izberi aktivnost SWI notebook (druzinske_relacije.swinb)

    

    Spremenjeno 13/04/22, 21:19

  • Izberi aktivnost Uvod v prolog 2 (uvod2.pl)

    

    Naloženo 10/04/22, 18:06

  • Izberi aktivnost Rešitve

    

  • Izberi aktivnost Vaje: Turingov stroj

    

  • Izberi aktivnost SWI notebook (turing.swinb)

    

    Spremenjeno 10/05/23, 21:52

  • Izberi aktivnost https://prolog.fri.uni-lj.si/p/druzinske_relacije.swinb

    

  • Izberi aktivnost Rešitve

    

• • Izberi aktivnost Vaje: logično programiranje z omejitvami

    

  • Izberi aktivnost Jedilnik

    

  • Izberi aktivnost Rešitve: jedilnik

    

  • Izberi aktivnost Rešitve: 8 dam

    

  • Izberi aktivnost Dame (nqueens.swinb)

    

    Spremenjeno 18/05/23, 13:19

  • Izberi aktivnost dame rešitve

    

    Naloženo 24/04/22, 21:06

  • Izberi aktivnost https://prolog.fri.uni-lj.si/p/nqueens.swinb

    

• • Izberi aktivnost Primer: prioritetna vrsta

    

  • Izberi aktivnost Vaje: množice

    

  • Izberi aktivnost Specifikacija: set.ml

    

  • Izberi aktivnost Implementacija: avlset.ml

    

  • Izberi aktivnost OCaml jupyter notebook (ocaml-moduli.ipynb)

    

    Naloženo 5/05/22, 09:17

  • Izberi aktivnost Rešitve

    

  • Izberi aktivnost Iztočna datoteka: (vaje12.ml)

    

    Naloženo 8/05/22, 14:46

• • Izberi aktivnost Haskell na spletu

    

  • Izberi aktivnost Vaje: Haskell

    

  • Izberi aktivnost Rešitve

    

  • Izberi aktivnost Vaje: monade

    

  • Izberi aktivnost Monade v slikah

    

  • Izberi aktivnost Monadi za vhod / izhod

    

• • Izberi aktivnost Sintaksa in aritmetični izrazi

    

  • Izberi aktivnost Ukazni programski jezik

    

  • Izberi aktivnost Dokazovanje pravilnosti

    

  • Izberi aktivnost λ-račun

    

  • Izberi aktivnost Podatkovni tipi

    

  • Izberi aktivnost Rekurzija

    

  • Izberi aktivnost Specifikacija in abstrakcija

    

  • Izberi aktivnost Logično programiranje

    

  • Izberi aktivnost Programiranje z omejitvami

    

• • Izberi aktivnost ##### 2018/2019

    2018/2019

  • Izberi aktivnost 1. izpit

    

  • Izberi aktivnost ##### 2017/2018

    2017/2018

  • Izberi aktivnost 1. izpit

    

  • Izberi aktivnost Kartica

    

  • Izberi aktivnost Cezarjeva šifra

    

  • Izberi aktivnost 2. izpit

    

  • Izberi aktivnost Pravilnost

    

  • Izberi aktivnost Tokovi (SML)

    

  • Izberi aktivnost Tokovi (Haskell)

    

  • Izberi aktivnost 3. izpit

    

  • Izberi aktivnost Rešitve

    

  • Izberi aktivnost Števila

    

  • Izberi aktivnost Novejši izpiti

    

    Naloženo 6/06/22, 15:09

  • Izberi aktivnost Še bolj novi izpiti

    

    Naloženo 8/09/24, 11:24