|
 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 октомври - 15 октомври |
 izročki, izjavni račun |
|
|
references in English, Propositional Logic |
|
|
Izjavni vezniki. |
|
|
Izjavni izrazi. |
|
|
Zakoni izjavnega računa. |
|
|
Vaje, 2. teden |
|
|
| 16 октомври - 22 октомври |
Še trije izjavni vezniki. |
|
|
Nepoln nabor (negacija in ekvivalenca) |
|
|
Vaje, 3. teden |
|
|
| 23 октомври - 29 октомври |
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 октомври - 5 ноември |
Vaje, 5. teden |
|
|
| 6 ноември - 12 ноември |
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 ноември - 19 ноември |
Sistemi enačb z eno neznano množico. |
|
|
Lastnosti kartezičnega produkta. |
|
|
Vaje, 7. teden |
|
|
| 20 ноември - 26 ноември |
izročki, relacije in preslikave |
|
|
references in English, Relations and functions (mappings) |
|
|
Lastnosti relacij. |
|
|
Operacije z relacijami. |
|
|
Vaje, 8. teden |
|
|
| 27 ноември - 3 декември |
Kompozitum preslikav. |
|
|
Inverzna preslikava. |
|
|
Slike in praslike. |
|
|
Vaje, 9. teden |
|
|
| 4 декември - 10 декември |
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 декември - 17 декември |
izročki, permutacije |
|
|
references in English, permutations |
|
|
Permutacije, 1.del. |
|
|
Permutacije, 2.del. |
|
|
Vaje, 11. teden |
|
|
| 18 декември - 24 декември |
Permutacije, enačbe. |
|
|
Vaje, 12. teden |
|
|
| 25 декември - 31 декември |
teorija števil, dodatne vsebine |
|
|
Eulerjeva funkcija. |
|
|
Eulerjev, Mali Fermatov izrek in posledice. |
|
|
| 1 јануари - 7 јануари |
Vaje, 14. teden |
|
|
| 8 јануари - 14 јануари |
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 јануари - 21 јануари |
Grafi, Brooksov izrek |
|