Principles of Programming Languages

Topic outline

• Splošno
  

  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
  

  Preverjanje znanja

  • Študent opravi predmet s pisnim izpitom.

• Študijsko gradivo
  

  Š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
• Aritmetični izrazi
  

  Aritmetični izrazi

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

  Ukazni programski jezik

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

  Dokazovanje pravilnosti

  • Vaje: dokazovanje pravilnosti Page
  • Lab works: Hoare logic Page
  • Rešitve Page
  • Rešitve - ponedeljkove vaje Page
  • Solutions Page
• λ-račun
  

  λ-račun

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

  Deklarativno programiranje

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

  Izpeljava tipov

  • Vaje: izpeljava tipov Page
  • Rešitve Page
• Izpeljava tipov in tokovi
  

  Izpeljava tipov in tokovi

  • Vaje: programiranje s tokovi Page
  • Rešitve File
• Specifikacija in abstrakcija
  

  Specifikacija in abstrakcija

  • Primer: prioritetna vrsta File
  • Vaje: množice Page
  • Specifikacija: set.ml File
  • Implementacija: avlset.ml File
• Logično programiranje
  

  Logično programiranje

  • Vaje: prolog Page
  • Graf družinskih relacij File
  • Baza družinskih relacij File
  • Vaje: Turingov stroj Page
• Programiranje z omejitvami
  

  Programiranje z omejitvami

  • Vaje: logično programiranje z omejitvami Page
  • Jedilnik File
• Objektno programiranje
  This topic
  

  Objektno programiranje

  • Vaje: objektno programiranje Page
  • igra.ml File
• Računski učinki
  

  Računski učinki

  • Haskell na spletu URL
  • Vaje: Haskell Page
  • Exercises: Haskell Page

    This is the English version of the Slovenian Haskell exercises.

  • Vaje: monade Page
  • Monade v slikah URL
• Naloge za utrjevanje
  

  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
  • Poskusni izpit Quiz
• Stari izpiti
  

  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