Preskoči na glavno vsebino
Stransko polje
Učilnica FRI 22/23
Slovenščina (sl)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
Išči
Zapri
Išči
Preklopi iskalni vnos
Trenutno uporabljate gostujoči dostop (
Prijavite se
)
aps1uni
Domov
Koledar
Algoritmi in podatkovne strukture 1
Domov
Predmeti
Prva stopnja
Univerzitetni študij RI in IŠRM
2. letnik
aps1uni
19. december - 25. december
Dokazovanje pravilnosti programov
Dokazovanje pravilnosti programov
Klikni na povezavo
APS1-Dokazovanje pravilnosti programov UVOD.pdf
za ogled datoteke.
◄ Prosojnice s kodo: Kritična pot
Skoči na ...
Skoči na ...
Forum novic
Forum za vprašanja in razprave
Opis predavanj in vaj in obveznosti študenta
Prosojnice predavanj
Opis prve seminarske naloge
Naloga1 - Testni primeri
Naloga2 - Testni primeri
Naloga3 - Testni primeri
Naloga4 - Testni primeri
Naloga5 - Testni primeri
Oddaja naloge 1
Oddaja naloge 2
Oddaja naloge 3
Oddaja naloge 4
Oddaja naloge 5
Naloga1 - Skriti testni primeri
Naloga2 - Skriti testni primeri
Naloga3 - Skriti testni primeri
Naloga4 - Skriti testni primeri
Naloga5 - Skriti testni primeri
Opis druge seminarske naloge
Naloga6 - Testni primeri
Naloga7 - Testni primeri
Naloga8 - Testni primeri
Naloga9 - Testni primeri
Naloga10 - Testni primeri
Oddaja naloge 6
Oddaja naloge 7
Oddaja naloge 8
Oddaja naloge 9
Oddaja naloge 10
Naloga6 - Skriti testni primeri
Naloga7 - Skriti testni primeri
Naloga8 - Skriti testni primeri
Naloga9 - Skriti testni primeri
Naloga10 - Skriti testni primeri
Virtualna predavalnica APS1
Prosojnice s programsko kodo: Rekurzija-iteracija
Prosojnice s kodo: časovna zahtevnost
Vaje: Rekurzija - Naloge
Vaje: Rekurzija - Naloge (Java)
Vaje: Rekurzija - Rešitve nalog (Java)
Vaje 1: video predstavitev rešitve
Prosojnice s kodo: seznami
Merjenje časa izvajanja (prosojnice)
Vaje: Rekurzija - težje naloge
Vaje: Rekurzija - težje naloge (Java)
Vaje: Rekurzija - rešitve težjih nalog (Java)
Vaje 2: razlaga rešitve (video predstavitev)
Prosojnice s kodo: seznami2 in vrsta
Vaje: Linearni seznam s kazalci
Vaje: Linearni seznam s kazalci (Java)
Vaje: Linearni seznam s kazalci - rešitev (Java)
Vaje 3: linearni seznami razlaga (video)
Prosojnice s kodo: preslikava in Javanske zbirke
Vaje 4: predstavitev (video)
Množica - naloge
Množica - naloge
Množica - rešitve
Vaje 4 predstavitev rešitev (video)
Prosojnice: preskočni seznami
Prosojnice s programsko kodo
Vaje 5: predstavitev (video)
Vrsta in sklad - naloge
ADT QUEUE naloge
ADT QUEUE - rešitve
ADT STACK naloge
ADT STACK - rešitve
Vaje 5: razlaga resitev (video)
Prosojnice s kodo: drevesa
Prosojnice s kodo: izrazna drevesa
Preslikava - naloge
Preslikava - naloge
Preslikava - rešitev
Vaje 6. predstavitev rešitve (video)
1. domača naloga - spletni kviz
Rodovnik - naloge
Rodovnik
Rodovnik - Rešitev
Vaje 7 predstavitev rešitve (video)
Prosojnice s kodo - BST
Prosojnice s kodo: rdeče-črna drevesa
Binarna iskalna drevesa - naloge
BST
BST-rešitve
Vaje 8 predstavitev rešitve (video)
Prosojnice s kodo: AVL-drevesa
Prosojnice s kodo: kopica
Dokaz spodnje meje sortiranja s primerjanjem
Vaje 9 - drevesa (video)
RČ, AVL, B-drevesa, vstavljanje v koren BST, kopica
2. domača naloga - spletni kviz
Prosojnice s kodo: disjunktne množice
Prosojnice s kodo: Kritična pot
Prosojnice Dokazovanje pravilnosti programov
Usmerjeni graf - naloge
Usmerjeni graf
Usmerjeni graf - rešitve
Vaje 10 predstavitev rešitve (video)
3. domača naloga - spletni kviz
Vaje: Programerske izpitne naloge
Vaje: Programerske izpitne naloge (rešitve in simulacije poteka)
Vaje 11 predstavitev (video)
Vaje 11 - kritična pot, Dijkstra, Kruskal
4. domača naloga - spletni kviz
Prosojnice Dokazovanje pravilnosti programov ►