Principles of Programming Languages

Topic outline

• 

  Splošno

  • Predavatelj: Andrej Bauer
    Asistenta: Klemen Klanjšček, Marcel Čampa

    Predavanja: sreda od 8h do 11h, učilnica PA

  • Urnik URL
  • Obvestila in vprašanja Forum
  • IRC (#fri @ freenode) URL
  • Information for exchange students Page
• 

  Preverjanje znanja

  • Študent opravi predmet s pisnim izpitom.

• 

  Š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!.

  • Predavanja na spletu v živo URL

    Na tej povezavi bo vsako sredo ob 8:30 spletno predavanje.

  • Video posnetki predavanj URL
  • Zapiski in gradivo s predavanj URL
  • Gradivo za šolsko leto 2017/18
  • Zapiski in gradivo s predavanj 2018/19 URL
  • Video posnetki predavanj 2018/19 URL