Тема Название Описание
Гиперссылка Urnik
Страница Information for exchange students

Information for exchange students who do not undertstand Slovene.

Гиперссылка Discord server
Študijsko gradivo Гиперссылка Skripta
Гиперссылка The Programming Languages Zoo
Гиперссылка Zapiski in datoteke s predavanj 2023/24
Zapiski s predavanj (tabla in datoteke)
Гиперссылка Video posnetki predavanj 2023/24

Ker predavanja 2023/24 ne potekajo izključno prek računalnika, nekatere stvari niso posnete in kakovost zvoka je včasih precej slaba. Posnetek je tako tu zgolj, če komu pride prav. Če ste manjkali na predavanjih si je bolje ogledati predavanja 2022/23, ki pokrivajo enako vsebino in so skoraj v celoti posneta.

Гиперссылка Video posnetki predavanj 2022/23
Гиперссылка Zapiski in datoteke s predavanj 2022/23
Zapiski s predavanj (tabla in datoteke)
Гиперссылка Video posnetki predavanj 2021/22
Гиперссылка Zapiski in datoteke s predavanj 2021/22
Aritmetični izrazi Страница Vaje 1 (aritmetični izrazi)
Файл Kalkulator
Файл Rešitve
Ukazni programski jezik Страница Vaje 2 (ukazni programski jezik)
Файл Rešitve, četrtek 2024
Dokazovanje pravilnosti Страница Vaje 3 (dokazovanje pravilnosti)
Страница Rešitve
Страница Lab works: Hoare logic
Файл vaje3.md
Папка Rešitve na vajah
λ-račun Файл λ-račun v brskalniku (clean)
Страница Vaje 4 (λ-račun)
Страница Rešitve
Izpeljava tipov Страница Vaje: izpeljava tipov
Страница Rešitve
Deklarativno programiranje Файл OCaml plonklistek
Страница Vaje: podatkovni tipi
Файл Rešitve
Страница Vaje: AVL drevesa
Файл Rešitve
Страница Rekurzija
Файл Rešitve
Файл AVL drevesa — notebook
Файл Rekurzija — notebook
Logično programiranje Страница Vaje: prolog
Файл Graf družinskih relacij
Файл Baza družinskih relacij (famrel.pl)
Файл SWI notebook (druzinske_relacije.swinb)
Файл Uvod v prolog 2 (uvod2.pl)
Файл Rešitve
Страница Vaje: Turingov stroj
Файл SWI notebook (turing.swinb)
Файл Rešitve
Programiranje z omejitvami in izpeljava tipov Страница Vaje: logično programiranje z omejitvami
Файл Jedilnik
Файл Rešitve: jedilnik
Файл Rešitve: 8 dam
Файл Dame (nqueens.swinb)
Файл dame rešitve
Izpeljava tipov in tokovi Страница Vaje: programiranje s tokovi
Файл Rešitve
Računski učinki Гиперссылка Haskell na spletu
Страница Vaje: Haskell
Файл Rešitve
Страница Vaje: monade
Гиперссылка Monade v slikah
Файл Monadi za vhod / izhod
Naloge za utrjevanje Страница Sintaksa in aritmetični izrazi
Страница Ukazni programski jezik
Страница Dokazovanje pravilnosti
Страница λ-račun
Страница Podatkovni tipi
Страница Rekurzija
Страница Logično programiranje
Страница Programiranje z omejitvami
Stari izpiti Файл 1. izpit
Файл 1. izpit
Файл Kartica
Файл Cezarjeva šifra
Файл 2. izpit
Файл Pravilnost
Файл Tokovi (SML)
Файл Tokovi (Haskell)
Файл 3. izpit
Файл Rešitve
Файл Števila
Файл Novejši izpiti
Файл Še bolj novi izpiti