Preskoči na glavno vsebino
 
To je arhiv spletne učilnice za leto 2021/22. Aktualna spletna učilnica je na naslovu https://ucilnica.fmf.uni-lj.si
Učilnica 21/22
  • Slovenščina ‎(sl)‎
    English ‎(en)‎ Slovenščina ‎(sl)‎
Trenutno uporabljate gostujoči dostop (Prijavite se)

Teorija programskih jezikov

  1. Domov
  2. Predmeti
  3. IŠRM
  4. Magistrski študij
  5. TPJ
  6. Naloge in izpiti
  7. 2. domača naloga

2. domača naloga

Zahteve zaključka
Rok za oddajo: nedelja, 8 maj 2022, 23:59 PM

Oddajte datoteke za 2. domačo nalogo. Po oddaji preverite, da so se datoteke pravilno naložile.

◄ 1. domača naloga
3. domača naloga ►
Preskoči Navigacija
Navigacija

  • Domov

    • Strani spletnega mesta

      • Moji predmeti

      • Oznake

    • Moji predmeti

    • Predmeti

      • IŠRM

        • 1. letnik

        • 2. letnik

        • 3. letnik

        • Magistrski študij

          • ISEM

          • LOGRAČ

          • TPJ

            • Naloge in izpiti

              • StranPravila ocenjevanja

              • Naloga1. domača naloga

              • Naloga2. domača naloga

              • Naloga3. domača naloga

            • Praksa programskih jezikov

            • Uvod v Agdo

            • Indukcija

            • Metateorija programskih jezikov

            • λ-račun

            • Tipi

            • Izpeljava tipov

            • Računski učinki

            • Mehanizacija dokazov

            • Denotacijska semantika

            • Domene

            • Monade in algebrajski učinki

            • Prestrezniki učinkov

            • Zanimivosti in dodatna literatura

      • Matematika

      • Finančna matematika

      • Pedagoška matematika

      • Praktična matematika

      • Fizika

      • Aplikativna fizika

      • Fizikalna merilna tehnika

      • Zunanji predmeti

      • Razno

Trenutno uporabljate gostujoči dostop (Prijavite se)
TPJ
  • Slovenščina ‎(sl)‎
    • English ‎(en)‎
    • Slovenščina ‎(sl)‎
Povzetek hrambe podatkov
Pridobi mobilno aplikacijo