Teden Ime Opis
Datoteka Rešitve 1. kolokvija s točkovnikom
Datoteka Rešitve 2. kolokvija s točkovnikom
Stran Osnovni podatki o predmetu

Osnovni podatki o predmetu

Stran Obveznosti študenta
Stran Gradiva

Literatura in ostala gradiva. Tudi iz arhiva.

Stran References in English
Stran Tutorske ure



2. oktober - 8. oktober Datoteka Izročki predavanj, indukcija in izjavni račun
Stran references in English, Induction
Stran references in English, Propositional logic
9. oktober - 15. oktober URL Predavanja 10. oktobra ob 16h, Zoom link
Stran Predavanja 10. oktobra ob 16h, gradiva
Datoteka Zakoni izjavnega računa
Datoteka Naloge za vaje, 2. teden
16. oktober - 22. oktober Datoteka Pravila sklepanja
Datoteka Pravilni in nepravilni sklep
Datoteka Pomožni sklepi
Datoteka Naloge za vaje, 3. teden
23. oktober - 29. oktober Datoteka Predikatni račun - izročki predavanj
Stran references in English, Predicate logic
Datoteka Interpretacija in formalizacija
Datoteka Zakoni predikatnega računa
Datoteka Naloge za vaje, 4. teden
30. oktober - 5. november Datoteka Teorija množic - izročki predavanj
Stran references in English, Set theory
Datoteka Enakosti z množicami
Datoteka Naloge za vaje, 5. teden
Datoteka Vaje 5. teden rešitve
Stran Naloge za vaje, 5. teden, rešitve (posnetki)
6. november - 12. november Datoteka Moč množic - izročki predavanj
Stran references in English, set cardinality
Datoteka Lastnosti kartezičnega produkta
Datoteka Naloge za vaje, 6. teden
13. november - 19. november Datoteka Relacije, izročki predavanj
Stran references in English, relations, functions (mappings)
Datoteka Lastnosti relacij
Datoteka Operacije z relacijami
Datoteka Naloge za vaje, 7. teden
20. november - 26. november Datoteka Inverzna preslikava
Datoteka Kompozitum preslikav
Datoteka Moč neskončnih množic.
Datoteka Naloge za vaje, 8. teden
27. november - 3. december Datoteka Teorija grafov, izročki predavanj
Stran references in English, graph theory
Datoteka Naloge za vaje, 9. teden
4. december - 10. december Datoteka Naloge za vaje, 10. teden
11. december - 17. december Datoteka Naloge za vaje, 11. teden
18. december - 24. december Datoteka Teorija števil, permutacije - izročki predavanj
Stran references in English, number theory, permutations
Datoteka Naloge za vaje, 12. teden
1. januar - 7. januar Datoteka Naloge za vaje, 13. teden
Datoteka Izročki, permutacije
8. januar - 14. januar Datoteka Naloge za vaje, 14. teden
15. januar - 21. januar Datoteka Naloge za vaje, 15. teden