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
  7. Posnetki predavanj (OneDrive)

Posnetki predavanj (OneDrive)

Kliknite na povezavo https://unilj-my.sharepoint.com/:f:/g/personal/matija_pretnar_fmf_uni-lj_si1/ErWY4OvZf6lHs84fIx5mXiwBcCiIk7ekkx5K7KGvL4uFzw?e=oIrZCM, če želite odpreti vir.
◄ Zoom povezava
Posnetki vaj ►
Preskoči Navigacija
Navigacija

  • Domov

    • Strani spletnega mesta

      • Oznake

      • Koledar

    • Predmeti

      • IŠRM

        • 1. letnik

        • 2. letnik

        • 3. letnik

        • Magistrski študij

          • ŠTUD (IŠRM2)

          • ISEM

          • LOGRAČ

          • TPJ

              • ForumForum novic

              • StranNačrt dela

              • URLZoom povezava

              • URLPosnetki predavanj (OneDrive)

              • URLPosnetki vaj

              • URLZapiski

              • URLGradiva s predavanj in vaj (GitHub)

              • URLDiscord strežnik za vprašanja in pogovore

              • URLTypes and Programming Languages

              • URLICFP Student Volunteers

            • Naloge in izpiti

            • 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

          • VMR

      • 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