Skip to main content
Side panel
Home
More
Search
Close
Search
Toggle search input
English (en)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
You are currently using guest access
Log in
Home
Course Activities
Forums
Quizzes
Resources
Recent Courses
You are not enrolled in any courses
Open course index
DsVsp
Interpretacija in formalizacija
Interpretacija in formalizacija
Click
interpretacija_in_formalizacija.pdf
link to view the file.
◄ references in English, Predicate logic
Jump to...
Jump to...
Rešitve 1. kolokvija s točkovnikom
Rešitve 2. kolokvija s točkovnikom
Osnovni podatki o predmetu
Obveznosti študenta
Gradiva
References in English
Tutorske ure
Forum novic
Forum vprašanj in odgovorov
Izročki predavanj, indukcija in izjavni račun
references in English, Induction
references in English, Propositional logic
Kviz po predavanjih v 1. tednu
Domača naloga 1. teden
Predavanja 10. oktobra ob 16h, Zoom link
Predavanja 10. oktobra ob 16h, gradiva
Zakoni izjavnega računa
Naloge za vaje, 2. teden
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
Domača naloga, 3. teden
Kviz po predavanjih v 3. tednu
Predikatni račun - izročki predavanj
references in English, Predicate logic
Zakoni predikatnega računa
Kviz po predavanjih v 4. tednu
Naloge za vaje, 4. teden
Domača naloga, 4. teden
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)
Domača naloga, 5. teden
Kviz po predavanjih v 5. tednu
Moč množic - izročki predavanj
references in English, set cardinality
Lastnosti kartezičnega produkta
Kviz po predavanjih v 6. tednu
Naloge za vaje, 6. teden
Domača naloga, 6. teden
Relacije, izročki predavanj
references in English, relations, functions (mappings)
Lastnosti relacij
Operacije z relacijami
Naloge za vaje, 7. teden
Kviz po predavanjih v 7. tednu
Domača naloga, 7. teden
Inverzna preslikava
Kompozitum preslikav
Moč neskončnih množic.
Naloge za vaje, 8. teden
Kviz po predavanjih v 8. tednu
Domača naloga, 8. teden
Teorija grafov, izročki predavanj
references in English, graph theory
Naloge za vaje, 9. teden
Domača naloga, 9. teden
Kviz po predavanjih v 9. tednu
Naloge za vaje, 10. teden
Kviz po predavanjih v 10. tednu
Domača naloga, 10. teden
Naloge za vaje, 11. teden
Kviz po predavanjih v 11. tednu
Domača naloga, 11. teden
Teorija števil, permutacije - izročki predavanj
references in English, number theory, permutations
Naloge za vaje, 12. teden
Kviz po predavanjih v 12. tednu
Domača naloga, 12. teden
Naloge za vaje, 13. teden
Kviz po predavanjih v 13. tednu
Domača naloga, 13. teden
Izročki, permutacije
Kviz po predavanjih v 14. tednu
Naloge za vaje, 14. teden
Domača naloga, 14. teden
Naloge za vaje, 15. teden
Zakoni predikatnega računa ►