주요 내용으로 넘어가기
Side panel
홈
More
검색
닫기
검색
Toggle search input
한국어 (ko)
English (en)
Slovenščina (sl)
Македонски (mk)
Русский (ru)
한국어 (ko)
손님 계정으로 접속
로그인
홈
Course Activities
퀴즈
포럼모음
학습자료
Recent Courses
You are not enrolled in any courses
Open course index
DsVsp
Interpretacija in formalizacija
Interpretacija in formalizacija
파일을 보려면
interpretacija_in_formalizacija.pdf
를 클릭
◄ references in English, Predicate logic
..로 바로 가기
..로 바로 가기
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 ►