Preskoči na glavno vsebino
Stransko polje
Domov
Več
Išči
Zapri
Išči
Preklopi iskalni vnos
Slovenščina (sl)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
Trenutno uporabljate gostujoči dostop
Prijavite se
Domov
Course Activities
Forumi
Kvizi
Viri
Nedavno dostopani predmeti
You are not enrolled in any courses
Odpri kazalo predmeta
DsVsp
Interpretacija in formalizacija
Interpretacija in formalizacija
Klikni na povezavo
interpretacija_in_formalizacija.pdf
za ogled datoteke.
◄ references in English, Predicate logic
Skoči na ...
Skoči na ...
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 ►