Testna Spletna učilnica FRI 25/26 – urejanje vsebine se NE bo preneslo na produkcijsko instanco

FRI E-classroom 25/26 testing instance – edited content will NOT be transferred to the production instance

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