|
 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 October - 15 October |
 izročki, izjavni račun |
|
|
references in English, Propositional Logic |
|
|
Izjavni vezniki. |
|
|
Izjavni izrazi. |
|
|
Zakoni izjavnega računa. |
|
|
Vaje, 2. teden |
|
|
| 16 October - 22 October |
Še trije izjavni vezniki. |
|
|
Nepoln nabor (negacija in ekvivalenca) |
|
|
Vaje, 3. teden |
|
|
| 23 October - 29 October |
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 October - 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 January - 7 January |
Vaje, 14. teden |
|
|
| 8 January - 14 January |
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 January - 21 January |
Grafi, Brooksov izrek |
|