Перейти к основному содержанию
Боковая панель
В начало
Дополнительно
Найти
Закрыть
Найти
Изменить данные поисковой строки
Русский (ru)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
Вы используете гостевой доступ
Вход
В начало
Course Activities
Задания
Ресурсы
Форумы
Recent Courses
You are not enrolled in any courses
Открыть оглавление курса
ppj
Video posnetki predavanj 2021/22
Video posnetki predavanj 2021/22
Нажмите на ссылку
Video posnetki predavanj 2021/22
, чтобы открыть ресурс.
◄ Zapiski in datoteke s predavanj 2022/23
Перейти на...
Перейти на...
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
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
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
Vaje: logično programiranje z omejitvami
Jedilnik
Dame (nqueens.swinb)
Vaje: programiranje s tokovi
Rešitve
Haskell na spletu
Vaje: Haskell
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
Zapiski in datoteke s predavanj 2021/22 ►