주요 내용으로 넘어가기
Side panel
홈
More
검색
닫기
검색
Toggle search input
한국어 (ko)
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) ►