Секция: Naloge za utrjevanje | Principles of Programming Languages | Učilnica FRI 25/26

В начало Календарь

Section outline

- Выбрать элемент Sintaksa in aritmetični izrazi
  
  Sintaksa in aritmetični izrazi Страница
- Выбрать элемент Ukazni programski jezik
  
  Ukazni programski jezik Страница
- Выбрать элемент Dokazovanje pravilnosti
  
  Dokazovanje pravilnosti Страница
- Выбрать элемент λ-račun
  
  λ-račun Страница
- Выбрать элемент Podatkovni tipi
  
  Podatkovni tipi Страница
- Выбрать элемент Rekurzija
  
  Rekurzija Страница
- Выбрать элемент Specifikacija in abstrakcija
  
  Specifikacija in abstrakcija Страница
- Выбрать элемент Logično programiranje
  
  Logično programiranje Страница
- Выбрать элемент Programiranje z omejitvami
  
  Programiranje z omejitvami Страница