|
 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, 16.1.2024, 12:15-14:00 |
Topic: DS UNI, vaje 16.1.2023, 12h-14h
Join Zoom Meeting
https://uni-lj-si.zoom.us/j/96689991348?pwd=UjdQczBBeFlSQ0RPb0liQ1lKQjJOdz09 Meeting ID: 966 8999 1348
Passcode: 292907 |
|
| 9. oktober - 15. oktober |
 izročki, izjavni račun |
|
|
references in English, Propositional Logic |
|
|
Izjavni vezniki. |
|
|
Izjavni izrazi. |
|
|
Zakoni izjavnega računa. |
|
|
Vaje, 2. teden |
|
|
| 16. oktober - 22. oktober |
Še trije izjavni vezniki. |
|
|
Nepoln nabor (negacija in ekvivalenca) |
|
|
Vaje, 3. teden |
|
|
| 23. oktober - 29. oktober |
predavanja pred 5. tednom, 24. oktober, gradiva |
|
|
Izročki, predikatni račun, osveženi 5.11.2023 |
|
|
references in English, Predicate Logic |
|
|
Pravilni in nepravilni sklep. |
|
|
Pravila sklepanja. |
|
|
Pomožni sklepi. |
|
|
Interpretacija in formalizacija. |
|
|
Zakoni predikatnega računa. |
|
|
Argument Clinic, Monthy Python |
|
|
Vaje, 4. teden |
|
|
| 30. oktober - 5. november |
Vaje, 5. teden |
|
|
| 6. november - 12. november |
Izročki, teorija množic |
|
|
references in English, Set theory |
|
|
Sklepanje v predikatnem računu. |
|
|
Omejeni kvantifikatorji |
|
|
Enakosti z množicami. |
|
|
Vaje, 6. teden |
|
|
| 13. november - 19. november |
Sistemi enačb z eno neznano množico. |
|
|
Lastnosti kartezičnega produkta. |
|
|
Vaje, 7. teden |
|
|
| 20. november - 26. november |
izročki, relacije in preslikave |
|
|
references in English, Relations and functions (mappings) |
|
|
Lastnosti relacij. |
|
|
Operacije z relacijami. |
|
|
Vaje, 8. teden |
|
|
| 27. november - 3. december |
Kompozitum preslikav. |
|
|
Inverzna preslikava. |
|
|
Slike in praslike. |
|
|
Vaje, 9. teden |
|
|
| 4. december - 10. december |
izročki, moč množic in teorija števil |
|
|
references in English, set cardinality |
|
|
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, 10. teden |
|
|
| 11. december - 17. december |
izročki, permutacije |
|
|
references in English, permutations |
|
|
Permutacije, 1.del. |
|
|
Permutacije, 2.del. |
|
|
Vaje, 11. teden |
|
|
| 18. december - 24. december |
Permutacije, enačbe. |
|
|
Vaje, 12. teden |
|
|
| 25. december - 31. december |
teorija števil, dodatne vsebine |
|
|
Eulerjeva funkcija. |
|
|
Eulerjev, Mali Fermatov izrek in posledice. |
|
|
| 1. januar - 7. januar |
Vaje, 14. teden |
|
|
| 8. januar - 14. januar |
izročki, teorija grafov |
|
|
references in English, graph theory |
|
|
Grafi - uvod in malo več |
|
|
Grafi, osnovne definicije. |
|
|
Grafi, operacije. |
|
|
Grafi, osnovne družine |
|
|
Grafi, podgrafi |
|
|
Grafi, sprehodi. |
|
|
Grafi, dvodelni |
|
|
Vaje, 15. teden |
|
|
| 15. januar - 21. januar |
Grafi, Brooksov izrek |
|