|
Rešitve 1. kolokvija s točkovnikom |
|
|
Rešitve 2. kolokvija s točkovnikom |
|
|
Osnovni podatki o predmetu |
Osnovni podatki o predmetu |
|
Obveznosti študenta |
|
|
Gradiva |
Literatura in ostala gradiva. Tudi iz arhiva. |
|
References in English |
|
|
Tutorske ure |
|
|
2. oktober - 8. oktober |
Izročki predavanj, indukcija in izjavni račun |
|
|
references in English, Induction |
|
|
references in English, Propositional logic |
|
|
9. oktober - 15. oktober |
Predavanja 10. oktobra ob 16h, Zoom link |
|
|
Predavanja 10. oktobra ob 16h, gradiva |
|
|
Zakoni izjavnega računa |
|
|
Naloge za vaje, 2. teden |
|
|
16. oktober - 22. oktober |
Pravila sklepanja |
|
|
Pravilni in nepravilni sklep |
|
|
Pomožni sklepi |
|
|
Naloge za vaje, 3. teden |
|
|
23. oktober - 29. oktober |
Predikatni račun - izročki predavanj |
|
|
references in English, Predicate logic |
|
|
Interpretacija in formalizacija |
|
|
Zakoni predikatnega računa |
|
|
Naloge za vaje, 4. teden |
|
|
30. oktober - 5. november |
Teorija množic - izročki predavanj |
|
|
references in English, Set theory |
|
|
Enakosti z množicami |
|
|
Naloge za vaje, 5. teden |
|
|
Vaje 5. teden rešitve |
|
|
Naloge za vaje, 5. teden, rešitve (posnetki) |
|
|
6. november - 12. november |
Moč množic - izročki predavanj |
|
|
references in English, set cardinality |
|
|
Lastnosti kartezičnega produkta |
|
|
Naloge za vaje, 6. teden |
|
|
13. november - 19. november |
Relacije, izročki predavanj |
|
|
references in English, relations, functions (mappings) |
|
|
Lastnosti relacij |
|
|
Operacije z relacijami |
|
|
Naloge za vaje, 7. teden |
|
|
20. november - 26. november |
Inverzna preslikava |
|
|
Kompozitum preslikav |
|
|
Moč neskončnih množic. |
|
|
Naloge za vaje, 8. teden |
|
|
27. november - 3. december |
Teorija grafov, izročki predavanj |
|
|
references in English, graph theory |
|
|
Naloge za vaje, 9. teden |
|
|
4. december - 10. december |
Naloge za vaje, 10. teden |
|
|
11. december - 17. december |
Naloge za vaje, 11. teden |
|
|
18. december - 24. december |
Teorija števil, permutacije - izročki predavanj |
|
|
references in English, number theory, permutations |
|
|
Naloge za vaje, 12. teden |
|
|
1. januar - 7. januar |
Naloge za vaje, 13. teden |
|
|
Izročki, permutacije |
|
|
8. januar - 14. januar |
Naloge za vaje, 14. teden |
|
|
15 јануари - 21 јануари |
Naloge za vaje, 15. teden |
|