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. 3. domača naloga

3. domača naloga

Zahteve zaključka
Odprto: ponedeljek, 30 maj 2022, 00:00 AM
Rok za oddajo: nedelja, 26 junij 2022, 23:59 PM

Oddajte datoteko za 3. domačo nalogo. Po oddaji preverite, da se je pravilno naložila.

◄ 2. domača naloga
The language of languages ►
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