Principles of Programming Languages

Topic outline

• 

  Splošno

  • Obvestila in vprašanja Forum
  • Splošni podatki o predmetu

  • Predavatelj: Andrej Bauer
    Asistent: Klemen Klanjšček

  • Urnik URL
  • Študent opravi predmet s pisnim izpitom. Drugih obveznosti pri tem predmetu ni.

  • Predavanja

  • Spletna predavanja: Zoom ID 978 5413 2204 URL

    Predavanja so (zaenkrat) ob četrtkih od 8:15 do 10:00.

  • Video posnetki predavanj URL
  • Zapiski in datoteke s predavanj URL
  • Vaje

  • Discord server URL
  • Laboratorijske vaje: Zoom povezava URL
• 

  Preverjanje znanja
• 

  Študijsko gradivo

  • Benjamin Pierce: Types and Programming Languages, MIT Press, 2002.
  • Ivan Bratko: Prolog Programming for Artificial Intelligence.
  • Markus Triska: The Power of Prolog.
  • Martin Lipovača: Learn You a Haskell for Great Good!.

  • Arhiv 2019/2020

  • Video posnetki predavanj 2019/20 URL
  • Zapiski in gradivo s predavanj 2019/20 URL
• 

  Aritmetični izrazi

  • Vaje: aritmetični izrazi Page
  • Kalkulator File
  • Rešitve File
• 

  Ukazni programski jezik

  • Vaje: ukazni programski jezik Page
  • Rešitve Page
• 

  Dokazovanje pravilnosti

  • Vaje: dokazovanje pravilnosti Page
  • Rešitve Page
• 

  λ-račun

  • λ-račun v brskalniku File
  • Vaje: λ-račun Page
  • Rešitve Page
• 

  Deklarativno programiranje

  • OCaml plonklistek File
  • Vaje: podatkovni tipi Page
  • Rešitve File
  • Vaje: AVL drevesa Page
  • Rekurzija Page
• 

  Izpeljava tipov

  • Vaje: izpeljava tipov Page
• 

  Izpeljava tipov in tokovi

  • Vaje: programiranje s tokovi Page
• 

  Stari izpiti

  • 2018/2019

  • 1. izpit File
  • 2017/2018

  • 1. izpit File
  • Kartica File
  • Cezarjeva šifra File
  • 2. izpit File
  • Pravilnost File
  • Tokovi (SML) File
  • Tokovi (Haskell) File
  • 3. izpit File
  • Rešitve File
  • Števila File