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