Skip to main content
 
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
  • English ‎(en)‎
    English ‎(en)‎ Slovenščina ‎(sl)‎
You are currently using guest access (Log in)

Teorija programskih jezikov

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

1. domača naloga

Completion requirements
Due: Friday, 25 March 2022, 11:59 PM

Oddajte vse datoteke vaše implementacije. Oddate lahko več datotek, zato jih ne kompresirajte v eno samo datoteko.

◄ Pravila ocenjevanja
2. domača naloga ►
Skip Navigation
Navigation

  • Home

    • Site pages

      • My courses

      • Tags

    • My courses

    • Courses

      • IŠRM

        • 1. letnik

        • 2. letnik

        • 3. letnik

        • Magistrski študij

          • ISEM

          • LOGRAČ

          • TPJ

            • Naloge in izpiti

              • PagePravila ocenjevanja

              • Assignment1. domača naloga

              • Assignment2. domača naloga

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

You are currently using guest access (Log in)
TPJ
  • English ‎(en)‎
    • English ‎(en)‎
    • Slovenščina ‎(sl)‎
Data retention summary
Get the mobile app