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
)
dsb
Domov
Koledar
Diskretne strukture
Domov
Predmeti
Prva stopnja
Univerzitetni študij RI in IŠRM
1. letnik
dsb
24. oktober - 30. oktober
Izročki, predikatni račun
Izročki, predikatni račun
Spremenjeno 24/10/22, 19:19
Klikni na povezavo
dsuni-predavanje.pdf
za ogled datoteke.
◄ Domača naloga, 3. teden
Skoči na ...
Skoči na ...
Osnovni podatki o predmetu
Obveznosti študenta
Gradiva
References in English
Forum novic
Forum vprašanj in odgovorov
Tutorske ure
izročki, izjavni račun
references in English, Propositional Logic
Izjavni vezniki.
Izjavni izrazi.
Zakoni izjavnega računa.
Kviz po predavanjih, 1. teden
Domača naloga, 1.teden
Še trije izjavni vezniki.
Nepoln nabor (negacija in ekvivalenca)
Kviz po predavanjih, 2. teden
Vaje, 2. teden
Rešitve vaj, 2. teden (2020)
Zapiski z vaj, 2. teden (2022)
Domača naloga, 2. teden
Python: Generator nalog z vitezi in oprodami
Predavanja 17.10.2022
Kviz po predavanjih, 3. teden
Pravilni in nepravilni sklep.
Pravila sklepanja.
Pomožni sklepi.
Argument Clinic, Monthy Python
Vaje, 3. teden
Rešitve vaj, 3. teden
Zapiski z vaj, 3. teden (2022)
Posnetek vaj, četrtek 22.10.2020
Domača naloga, 3. teden
references in English, Predicate Logic
Kviz po predavanjih, 4. teden
Interpretacija in formalizacija.
Zakoni predikatnega računa.
Vaje, 4. teden
Domača naloga, 4. teden
Izročki, teorija množic
references in English, Set theory
Kviz po predavanjih, 5. teden
Sklepanje v predikatnem računu.
Enakosti z množicami.
Vaje, 5. teden
Domača naloga, 5. teden
Kviz po predavanjih, 6. teden
Sistemi enačb z eno neznano množico.
Vaje, 6. teden
Domača naloga, 6. teden
izročki, relacije in preslikave
references in English, Relations and functions (mappings)
Kviz po predavanjih, 7. teden
Lastnosti kartezičnega produkta.
Lastnosti relacij.
Operacije z relacijami.
Vaje, 7. teden
Domača naloga, 7. teden
Kviz po predavanjih, 8. teden
Vaje, 8. teden
Domača naloga, 8. teden (sistemi z množicami, kartezični produkt)
izročki, moč množic
references in English, set cardinality
izročki, teorija števil
references in English, number theory
Kviz po predavanjih, 9. teden
Kompozitum preslikav.
Inverzna preslikava.
Slike in praslike.
Moč neskončnih množic
Dirichletov princip.
Celi del realnega števila
Razširjeni Evklidov algoritem, ozadje.
Vaje, 9. teden
Kviz po predavanjih, 10. teden
Eulerjeva metoda za reševanje LDE.
Eulerjeva funkcija.
Vaje, 10. teden
Domača naloga, 10. teden (delne urejenosti, ekvivalenčne relacije, funkcije)
izročki, permutacije
references in English, permutations
Kviz po predavanjih, 11. teden
Perfect numbers
Eulerjev, Mali Fermatov izrek in posledice.
zgled RSA (jupyter notebook)
zgled RSA (pdf)
Vaje, 11. teden
Domača naloga, 11. teden (spet funkcije, princip vključitve in izključitve)
Kviz po predavanjih, 12. teden
Permutacije, 1.del.
Permutacije, 2.del.
Permutacije, enačbe.
Vaje, 12. teden
Domača naloga, 12. teden (GCD, linearne diofantske enačbe)
references in English, graph theory
Vaje, 13. teden
Posnetek vaj, petek 30.12.2022
Rešitve (nekaterih) nalog z vaj, petek 30.12.2022
Domača naloga, 13. teden
izročki, teorija grafov
Kviz po predavanjih, 14. teden
Grafi, osnovne definicije.
Grafi, operacije.
Grafi, osnovne družine
Grafi, podgrafi
Grafi, sprehodi.
Grafi, dvodelni
Vaje, 14. teden
Domača naloga, 14. teden
Kviz PRED predavanji, 14. teden
Kviz po predavanjih, 15. teden
Grafi, Brooksov izrek
Vaje, 15. teden
Bonus domača naloga, 15. teden
references in English, Predicate Logic ►