Skip to main content
◄ zapisi s table, predavanja 13.11.2025
Jump to...
Jump to...
Osnovni podatki o predmetu
Obveznosti študenta
Gradiva
References in English
Forum novic
Forum vprašanj in odgovorov
1. kolokvij, rešitve
Izročki predavanj, indukcija in izjavni račun
references in English, Induction
references in English, Propositional logic
Kviz po predavanjih 1. teden
Domača naloga 1. teden
Predavanja 7. oktobra ob 14h, Zoom link
Predavanja 7. oktobra ob 14h, gradiva
Zakoni izjavnega računa
Naloge za vaje, 2. teden
Posnetek 1. vaj iz leta 2020
Kviz po predavanjih v 2. tednu
Domača naloga, 2. teden
Pravila sklepanja
Pravilni in nepravilni sklep
Pomožni sklepi
Naloge za vaje, 3. teden
Kviz po predavanjih v 3. tednu
Domača naloga, 3. teden
Predikatni račun - izročki predavanj
references in English, Predicate logic
Interpretacija in formalizacija
Zakoni predikatnega računa
Naloge za vaje, 4. teden
Kviz po predavanjih v 4. tednu
Domača naloga, 4. teden
predavanja 30.10.2025, materiali
Teorija množic - izročki predavanj
references in English, Set theory
Enakosti z množicami
Kviz po predavanjih v 5. tednu
Naloge za vaje, 5. teden
Vaje 5. teden rešitve
Naloge za vaje, 5. teden, rešitve (posnetki)
Domača naloga, 5. teden
zapisi s table, predavanja 6.11.2025
Moč množic, relacije, preslikave, izročki predavanj
references in English, set cardinality
references in English, relations, functions (mappings)
Lastnosti kartezičnega produkta
Lastnosti relacij
Moč neskončnih množic.
Naloge za vaje, 6. teden
Domača naloga, 6. teden
Kviz po predavanjih v 6. tednu
zapisi s table, predavanja 13.11.2025
Naloge za vaje, 7. teden
Domača naloga, 7. teden
Kviz po predavanjih v 7. tednu
Inverzna preslikava
Kompozitum preslikav
Naloge za vaje, 8. teden
Domača naloga, 8. teden
Kviz po predavanjih v 8. tednu
Teorija grafov, izročki predavanj
references in English, graph theory
Naloge za vaje, 9. teden
Kviz po predavanjih v 9. tednu
Domača naloga, 9. teden
Naloge za vaje, 10. teden
Kviz po predavanjih v 10. tednu
Domača naloga, 10. teden
Teorija števil, permutacije - izročki predavanj
references in English, number theory, permutations
Naloge za vaje, 11. teden
Kviz po predavanjih v 11. tednu
Domača naloga, 11. teden
Naloge za vaje, 12. teden
Kviz po predavanjih v 12. tednu
Domača naloga, 12. teden
Naloge za vaje, 13. teden
Rešitve - vaje 13. teden
Posnetek vaj - REA in LDE
Domača naloga, 13. teden
Kviz po predavanjih v 14. tednu
Naloge za vaje, 14. teden
posnetek vaj
Domača naloga, 14. teden
Naloge za vaje, 15. teden
Bonus domača naloga, 15. teden
Naloge za vaje, 7. teden ►
Obvestilo o avtorskih pravicah