седмица Име Опис
Датотека Rešitve 1. kolokvija s točkovnikom
Датотека Rešitve 2. kolokvija s točkovnikom
Page Osnovni podatki o predmetu

Osnovni podatki o predmetu

Page Obveznosti študenta
Page Gradiva

Literatura in ostala gradiva. Tudi iz arhiva.

Page References in English
Page Tutorske ure



2. oktober - 8. oktober Датотека Izročki predavanj, indukcija in izjavni račun
Page references in English, Induction
Page references in English, Propositional logic
9. oktober - 15. oktober URL Predavanja 10. oktobra ob 16h, Zoom link
Page 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
Page 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
Page references in English, Set theory
Датотека Enakosti z množicami
Датотека Naloge za vaje, 5. teden
Датотека Vaje 5. teden rešitve
Page Naloge za vaje, 5. teden, rešitve (posnetki)
6. november - 12. november Датотека Moč množic - izročki predavanj
Page references in English, set cardinality
Датотека Lastnosti kartezičnega produkta
Датотека Naloge za vaje, 6. teden
13. november - 19. november Датотека Relacije, izročki predavanj
Page 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
Page 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
Page 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