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

Principles of Programming Languages

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

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

Оглавление секции

- Выбрать элемент 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 Страница