Section: Naloge za utrjevanje | Principles of Programming Languages | Učilnica FRI 24/25

Section outline

- Select activity Sintaksa in aritmetični izrazi
  
  Sintaksa in aritmetični izrazi Page
- Select activity Ukazni programski jezik
  
  Ukazni programski jezik Page
- Select activity Dokazovanje pravilnosti
  
  Dokazovanje pravilnosti Page
- Select activity λ-račun
  
  λ-račun Page
- Select activity Podatkovni tipi
  
  Podatkovni tipi Page
- Select activity Rekurzija
  
  Rekurzija Page
- Select activity Specifikacija in abstrakcija
  
  Specifikacija in abstrakcija Page
- Select activity Logično programiranje
  
  Logično programiranje Page
- Select activity Programiranje z omejitvami
  
  Programiranje z omejitvami Page