Principles of Programming Languages

Topic outline

• 

  Splošno

  • Obvestila in vprašanja Forum

    Tu objavljamo obvestila o predmetu, študenti pa lahko tudi kaj vprašate.
  • Splošni podatki o predmetu

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

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

  • Urnik URL
  • Information for exchange students Page

    Information for exchange students who do not undertstand Slovene.

  • Vaje

  • Discord server URL
• 

  Študijsko gradivo

  • Benjamin Pierce: Types and Programming Languages, MIT Press, 2002.
  • Robert: Practical Foundations for Programming Languages, Cambridge University Press, 2016
  • Ivan Bratko: Prolog Programming for Artificial Intelligence (4th edition), Addison-Wesley, 2012.
  • Markus Triska: The Power of Prolog.
  • Martin Lipovača: Learn You a Haskell for Great Good!.

  • Predavanja

  • Skripta URL
  • Zapiski s predavanj URL
  • Video posnetki predavanja 2022/23 URL
  • Arhiv 2021/22
  • Video posnetki predavanj 2021/22 URL
  • Zapiski in datoteke s predavanj 2021/22 URL
• 

  Aritmetični izrazi

  • Vaje 1 (aritmetični izrazi) Page
  • Kalkulator File
• 

  Ukazni programski jezik

  • Vaje 2 (ukazni programski jezik) Page
  • Rešitve Page
• 

  Dokazovanje pravilnosti

  • Vaje 3 (dokazovanje pravilnosti) Page
  • Rešitve Page
  • Lab works: Hoare logic Page
• 

  λ-račun

  • λ-račun v brskalniku File
  • Vaje 4 (λ-račun) File
• 

  Naloge za utrjevanje

  • Sintaksa in aritmetični izrazi Page
  • Ukazni programski jezik Page
  • Dokazovanje pravilnosti 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
  • Novejši izpiti File Uploaded 6/06/22, 15:09