Preskoči na glavno vsebino
Stransko polje
Učilnica FRI 21/22
Slovenščina (sl)
English (en)
Slovenščina (sl)
Русский (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
3. januar - 9. januar
Prosojnice Dokazovanje pravilnosti programov
Prosojnice Dokazovanje pravilnosti programov
Klikni na povezavo
P12 DOKAZOVANJE PRAVILNOSTI PROGRAMOV.pdf
za ogled datoteke.
◄ Dokazovanje pravilnosti programov
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
Vhod / izhod (prosojnice)
Testni primeri Naloga1
Testni primeri Naloga1 (novi)
Testni primeri Naloga2
Testni primeri Naloga3
Testni primeri Naloga4
Testni primeri Naloga5
Oddaja naloge 1
Oddaja naloge 2
Oddaja naloge 3
Oddaja naloge 4
Oddaja naloge 5
Opis druge seminarske naloge
Testni primeri Naloga6
Testni primeri Naloga7
Testni primeri Naloga8
Testni primeri Naloga9
Testni primeri Naloga10
Oddaja naloge 6
Oddaja naloge 7
Oddaja naloge 8
Oddaja naloge 9
Oddaja naloge 10
Podatki za Zoom povezavo (zagovor druge seminarske naloge)
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 - Prezentacija (video) z razlago
Uporaba Eclipse. (video)
Vaje 1: video predstavitev rešitve
Prosojnice s kodo: seznami
Merjenje časa izvajanja (prosojnice)
Vaje 2: predstavitev (video)
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 3: predstavitev (video)
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)
Vrsta - naloge
ADT QUEUE naloge
ADT QUEUE - rešitve
Sklad - naloge
ADT STACK naloge
ADT STACK - rešitve
Vaje 4: razlaga resitev (video)
Prosojnice: preskočni seznami
Prosojnice s programsko kodo
Vaje 5: predstavitev (video)
Množica - naloge
Množica - naloge
Množica - rešitve
Vaje 5 predstavitev rešitev (video)
Prosojnice s kodo: drevesa
Prosojnice s kodo: izrazna drevesa
Vaje 6 - predstavitev (video) POZOR! Razlaga na koncu videa se nanaša na lansko seminarsko nalogo!
Preslikava - naloge
Preslikava - naloge
Preslikava - rešitev
Vaje 6. predstavitev rešitve (video)
1. domača naloga - spletni kviz
Vaje 7 predstavitev (video)
Rodovnik - naloge
Rodovnik
Rodovnik - Rešitev
Vaje 7 predstavitev rešitve (video)
Prosojnice s kodo - BST
Prosojnice s kodo: rdeče-črna drevesa
Vaje: Programerske izpitne naloge
Vaje: Programerske izpitne naloge (rešitve in simulacije poteka)
Vaje: Programerske izpitne naloge (dodatna naloga)
Prosojnice s kodo: AVL-drevesa
Prosojnice s kodo: kopica
Dokaz spodnje meje sortiranja s primerjanjem
2. domača naloga - spletni kviz
Prosojnice s kodo: disjunktne množice
Prosojnice s kodo: Kritična pot
Vaje 8. predstavitev (video)
Binarna iskalna drevesa - naloge
BST
BST-rešitve
Vaje 8 predstavitev rešitve (video)
Vaje 10 predstavitev (video)
Usmerjeni graf - naloge
Usmerjeni graf
Usmerjeni graf - rešitve
Vaje 10 predstavitev rešitve (video)
Vaje 9 - drevesa (video)
RČ, AVL, B-drevesa, vstavljanje v koren BST, kopica
3. domača naloga - spletni kviz
Dokazovanje pravilnosti programov
Vaje 11 predstavitev (video)
Vaje 11 - kritična pot, Dijkstra, Kruskal
4. domača naloga - spletni kviz
Vaje 11 predstavitev (video) ►