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

섹션 개요

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