Principi programskih jezikov

Oris poglavij

• Splošni podatki o predmetu
  
  

  Splošni podatki o predmetu

  Izvajalci

  • Predavatelj: Andrej Bauer
  • Asistent: Timotej Lazar
  • Asistent: Peter Gabrovšek

  Pogoji za opravljanje predmeta

  Študent opravi predmet s pisnim izpitom.

  Urnik

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

  • Obvestila in vprašanja Forum

    Na tem forumu objavljamo obvestila v zvezi s predmetom in odgovarjamo na vprašanja študentov.

• Preverjanje znanja
  
  

  Preverjanje znanja

  Termini pisnih izpitov

  • 20. 6. 2018 (ura bo še določena)
  • 5. 7. 2018 (ura bo še določena)
  • 27. 8. 2018 (ura bo še določena)

  Rezultati pisnih izpitov

  Rezultatov še ni.

  Stari izpiti

  Ker smo predmet povsem prenovili, starih izpitov ni. Objavili pa bomo poskusne izpite, da ne boste povsem prepuščeni sami sebi.
• Študijsko gradivo
  
  

  Študijsko gradivo

  Literatura

  • Benjamin Pierce: Types and Programming Languages, MIT Press, 2002.
  • (literaturo bomo še dodali)

  • Video posnetki predavanj URL
  • Zapiski in gradivo s predavanj URL
• Aritmetični izrazi
  
  

  Aritmetični izrazi

  • Zapiski URL
  • Vaje: aritmetični izrazi Stran
  • Kalkulator (Java) Vir
  • Kalkulator (Python) Vir
  • Rešitve (Java) Vir
• Ukazni programski jezik
  
  

  Ukazni programski jezik

  • Zapiski URL
  • Vaje: ukazni programski jezik Stran
  • Rešitve Stran
• Dokazovanje pravilnosti
  
  

  Dokazovanje pravilnosti

  • Zapiski URL
  • Vaje: dokazovanje pravilnosti Stran
  • Rešitve Stran
• λ-račun
  
  

  λ-račun

  • Zapiski URL
  • Vaje: λ-račun Stran
  • Rešitve Stran
• Deklarativno programiranje
  
  

  Deklarativno programiranje

  • Zapiski URL
  • SML plonklistek URL
  • Iskalna drevesa v SML URL
  • Vaje: podatkovni tipi Stran
  • Rešitve Vir
  • Vaje: AVL drevesa Stran
  • Rešitve Vir
• Izpeljava tipov
  
  

  Izpeljava tipov

  • Zapiski URL
  • Vaje: izpeljava tipov Stran
  • Rešitve Stran
  • Vaje: programiranje s tokovi Stran
  • Rešitve Vir
• Specifikacija in abstrakcija
  Trenutna tema
  

  Specifikacija in abstrakcija

  • Zapiski URL
  • Prioritetna vrsta Vir
  • Vaje: množice Stran
  • Množica Vir
  • AVLSet Vir