|
Osnovni podatki o predmetu |
Še enkrat, osnovno o predmetu. |
|
Obveznosti študenta |
Obveznosti študenta, da opravi izpit iz Diskretnih struktur. |
|
Gradiva |
Literatura in ostala gradiva. Tudi iz arhiva. |
|
References in English |
Links to materials in English. |
|
Tutorske ure |
|
|
Vaje na daljavo, 24.12.2024, 12h-14h |
|
|
30. september - 6. oktober |
Še trije izjavni vezniki. |
|
|
Nepoln nabor (negacija in ekvivalenca) |
|
|
Pravilni in nepravilni sklep. |
|
|
Vaje, 2. teden |
|
|
7. oktober - 13. oktober |
izročki, izjavni račun |
|
|
references in English, Propositional Logic |
|
|
Izjavni vezniki. |
|
|
Izjavni izrazi. |
|
|
Zakoni izjavnega računa. |
|
|
14. oktober - 20. oktober |
Izročki, predikatni račun |
|
|
references in English, Predicate Logic |
|
|
Pravila sklepanja. |
|
|
Pomožni sklepi. |
|
|
Vaje, 3. teden |
|
|
21. oktober - 27. oktober |
Interpretacija in formalizacija. |
|
|
Zakoni predikatnega računa. |
|
|
Vaje, 4. teden |
|
|
28. oktober - 3. november |
Izročki, teorija množic |
|
|
references in English, Set theory |
|
|
Sklepanje v predikatnem računu. |
|
|
Omejeni kvantifikatorji |
|
|
Enakosti z množicami. |
|
|
Vaje, 5. teden |
|
|
Posnetek vaj z dne 30.10.2024 |
|
|
Zapiski rešenih nalog z vaj, 30.10.2024 |
|
|
4. november - 10. november |
Sistemi enačb z eno neznano množico. |
|
|
Lastnosti kartezičnega produkta. |
|
|
Vaje, 6. teden |
|
|
11. november - 17. november |
izročki, relacije in preslikave |
|
|
references in English, Relations and functions (mappings) |
|
|
Lastnosti relacij. |
|
|
Operacije z relacijami. |
|
|
Vaje, 7. teden |
|
|
18. november - 24. november |
izročki, moč množic |
|
|
references in English, set cardinality |
|
|
Kompozitum preslikav. |
|
|
Inverzna preslikava. |
|
|
Slike in praslike. |
|
|
Vaje, 8. teden |
|
|
25. november - 1. december |
izročki, teorija števil |
|
|
references in English, number theory |
|
|
Moč neskončnih množic |
|
|
Dirichletov princip. |
|
|
Celi del realnega števila |
|
|
Razširjeni Evklidov algoritem, ozadje. |
|
|
Eulerjeva metoda za reševanje LDE. |
|
|
Vaje, 9. teden |
|
|
2. december - 8. december |
Eulerjeva funkcija. |
|
|
Eulerjev, Mali Fermatov izrek in posledice. |
|
|
zgled RSA (Python jupyter notebook) |
|
|
zgled RSA (pdf) |
|
|
Vaje, 10. teden |
|
|
9. december - 15. december |
izročki, permutacije |
|
|
references in English, permutations |
|
|
Permutacije, 1.del. |
|
|
Permutacije, 2.del. |
|
|
Vaje, 11. teden |
|
|
16. december - 22. december |
izročki, teorija grafov |
|
|
references in English, graph theory |
|
|
Permutacije, enačbe. |
|
|
Vaje, 12. teden |
|
|
23. december - 29. december |
Vaje, 13. teden |
|
|
Posnetek vaj, 24.12.2024, 12h-14h |
|
|
Zapiski z vaj, 24.12.2024, 12h-14h |
|
|
6. januar - 12. januar |
Vaje, 14. teden |
|
|
13. januar - 19. januar |
Grafi, Brooksov izrek |
|
|
Vaje, 15. teden |
|