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

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

  • Discord server URL
• 

  Preverjanje znanja

  • 1. Izpit - oddaja programskih datotek Assignment
• 

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

  Aritmetični izrazi

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

  Ukazni programski jezik

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

  Dokazovanje pravilnosti

  • Vaje 3 (dokazovanje pravilnosti) Page
  • Rešitve Page
• 

  λ-račun

  • λ-račun v brskalniku File
  • Vaje 4 (λ-račun) File
  • Rešitve Page
• 

  Deklarativno programiranje

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

  Logično programiranje

  • Vaje: prolog Page
  • Graf družinskih relacij File
  • Baza družinskih relacij (famrel.pl) File
  • SWI notebook (druzinske_relacije.swinb) File Modified 13/04/22, 21:19
  • Uvod v prolog 2 (uvod2.pl) File Uploaded 10/04/22, 18:06
  • Rešitve File
  • Vaje: Turingov stroj Page
  • SWI notebook (turing.swinb) File Uploaded 13/04/22, 21:16
  • Rešitve File
• 

  Programiranje z omejitvami

  • Vaje: logično programiranje z omejitvami Page
  • Jedilnik File
  • Rešitve: jedilnik File
  • Rešitve: 8 dam File
  • dame rešitve File Uploaded 24/04/22, 21:06
  • Dame (queens2.swinb) File Uploaded 24/04/22, 21:37
• 

  Izpeljava tipov

  • Vaje: izpeljava tipov Page
  • Rešitve Page
• 

  Specifikacija in abstrakcija

  • Primer: prioritetna vrsta File
  • Vaje: množice Page
  • Specifikacija: set.ml File
  • Implementacija: avlset.ml File
  • OCaml jupyter notebook (ocaml-moduli.ipynb) File Uploaded 5/05/22, 09:17
  • Rešitve File
  • Iztočna datoteka: (vaje12.ml) File Uploaded 8/05/22, 14:46
• This topic
  

  Objektno programiranje

  • Vaje: objektno programiranje Page
  • igra.ml File
  • Resitve File Uploaded 17/05/22, 16:48
• 

  Računski učinki

  • Haskell na spletu URL
  • Vaje: Haskell Page
  • Rešitve File
• 

  Naloge za utrjevanje

  • Sintaksa in aritmetični izrazi Page
  • Ukazni programski jezik Page
  • Dokazovanje pravilnosti Page
  • λ-račun Page
  • Podatkovni tipi Page
  • Rekurzija Page
  • Specifikacija in abstrakcija Page
  • Logično programiranje Page
  • Programiranje z omejitvami 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