|
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 October |
Še trije izjavni vezniki. |
|
|
Nepoln nabor (negacija in ekvivalenca) |
|
|
Pravilni in nepravilni sklep. |
|
|
Vaje, 2. teden |
|
|
7 October - 13 October |
izročki, izjavni račun |
|
|
references in English, Propositional Logic |
|
|
Izjavni vezniki. |
|
|
Izjavni izrazi. |
|
|
Zakoni izjavnega računa. |
|
|
14 October - 20 October |
Izročki, predikatni račun |
|
|
references in English, Predicate Logic |
|
|
Pravila sklepanja. |
|
|
Pomožni sklepi. |
|
|
Vaje, 3. teden |
|
|
21 October - 27 October |
Interpretacija in formalizacija. |
|
|
Zakoni predikatnega računa. |
|
|
Vaje, 4. teden |
|
|
28 October - 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 January - 12 January |
Vaje, 14. teden |
|
|
13 January - 19 January |
Grafi, Brooksov izrek |
|
|
Vaje, 15. teden |
|