Оди до главна содржина
Страничен панел
Дома
More
Пребарување
Затвори
Пребарување
Toggle search input
Македонски (mk)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
Моментално користите гостински пристап
Најави се
Дома
Course Activities
Задачи
Ресурси
Форуми
Recent Courses
You are not enrolled in any courses
Open course index
ppj
Rešitve na vajah
Rešitve na vajah
Download folder
vaje3_cetrtek_2024.md
vaje3_vaje_ponedeljek_900_2024.md
vaje3_vaje_ponedeljek_1100_2024.md
vaje3_vaje_torek_900_2024.md
vaje3_vaje_torek_1100_2024.md
◄ vaje3.md
Оди до...
Оди до...
Obvestila in vprašanja
Urnik
Information for exchange students
Discord server
Shramba lastnih datotek
Skripta
The Programming Languages Zoo
Zapiski in datoteke s predavanj 2023/24
Video posnetki predavanj 2023/24
Video posnetki predavanj 2022/23
Zapiski in datoteke s predavanj 2022/23
Video posnetki predavanj 2021/22
Zapiski in datoteke s predavanj 2021/22
Vaje 1 (aritmetični izrazi)
Kalkulator
Rešitve
Vaje 2 (ukazni programski jezik)
Rešitve, četrtek 2024
Vaje 3 (dokazovanje pravilnosti)
Rešitve
Lab works: Hoare logic
vaje3.md
λ-račun v brskalniku (clean)
Vaje 4 (λ-račun)
Rešitve
OCaml plonklistek
Vaje: podatkovni tipi
Rešitve
Vaje: AVL drevesa
Rešitve
Rekurzija
Rešitve
AVL drevesa — notebook
Rekurzija — notebook
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)
Vaje: izpeljava tipov
Rešitve
Vaje: programiranje s tokovi
Rešitve
Sintaksa in aritmetični izrazi
Ukazni programski jezik
Dokazovanje pravilnosti
λ-račun
Podatkovni tipi
Rekurzija
1. izpit
1. izpit
Kartica
Cezarjeva šifra
2. izpit
Pravilnost
Tokovi (SML)
Tokovi (Haskell)
3. izpit
Rešitve
Števila
Novejši izpiti
λ-račun v brskalniku (clean) ►