Перейти к основному содержанию
Боковая панель
В начало
Дополнительно
Найти
Закрыть
Найти
Изменить данные поисковой строки
Русский (ru)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
Вы используете гостевой доступ
Вход
В начало
Course Activities
Задания
Ресурсы
Форумы
Recent Courses
You are not enrolled in any courses
Открыть оглавление курса
ppj
Baza družinskih relacij (famrel.pl)
Baza družinskih relacij (famrel.pl)
Нажмите на ссылку
famrel.pl
, чтобы просмотреть файл.
◄ Graf družinskih relacij
Перейти на...
Перейти на...
Obvestila in vprašanja
Urnik
Information for exchange students
Discord server
First exam, 2024-06-10
Second exam, 2024-06-20
Upload your notes here
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
Rešitve na vajah
λ-račun v brskalniku (clean)
Vaje 4 (λ-račun)
Rešitve
Vaje: izpeljava tipov
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
SWI notebook (druzinske_relacije.swinb)
Uvod v prolog 2 (uvod2.pl)
Rešitve
Vaje: Turingov stroj
SWI notebook (turing.swinb)
Rešitve
Vaje: logično programiranje z omejitvami
Jedilnik
Rešitve: jedilnik
Rešitve: 8 dam
Dame (nqueens.swinb)
dame rešitve
Vaje: programiranje s tokovi
Rešitve
Haskell na spletu
Vaje: Haskell
Rešitve
Vaje: monade
Monade v slikah
Monadi za vhod / izhod
Sintaksa in aritmetični izrazi
Ukazni programski jezik
Dokazovanje pravilnosti
λ-račun
Podatkovni tipi
Rekurzija
Logično programiranje
Programiranje z omejitvami
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
SWI notebook (druzinske_relacije.swinb) ►