주요 내용으로 넘어가기
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
dsb
Argument Clinic, Monthy Python
Argument Clinic, Monthy Python
자원을 열려면
Argument Clinic, Monthy Python
링크를 클릭
◄ Zakoni predikatnega računa.
..로 바로 가기
..로 바로 가기
Osnovni podatki o predmetu
Obveznosti študenta
Gradiva
References in English
Forum novic
Forum vprašanj in odgovorov
Tutorske ure
Vaje na daljavo, 16.1.2024, 12:15-14:00
izročki, izjavni račun
references in English, Propositional Logic
Izjavni vezniki.
Izjavni izrazi.
Zakoni izjavnega računa.
Kviz po predavanjih, 2. teden
Vaje, 2. teden
Domača naloga, 2.teden
Še trije izjavni vezniki.
Nepoln nabor (negacija in ekvivalenca)
Kviz po predavanjih, 3. teden
Domača naloga, 3. teden
Vaje, 3. teden
predavanja pred 5. tednom, 24. oktober, gradiva
Izročki, predikatni račun, osveženi 5.11.2023
references in English, Predicate Logic
Pravilni in nepravilni sklep.
Pravila sklepanja.
Pomožni sklepi.
Interpretacija in formalizacija.
Zakoni predikatnega računa.
Vaje, 4. teden
Domača naloga, 4. teden
Kviz po predavanjih, 4. teden
Kviz po predpredavanjih 5. tedna
Vaje, 5. teden
Domača naloga, 5. teden
Izročki, teorija množic
references in English, Set theory
Sklepanje v predikatnem računu.
Omejeni kvantifikatorji
Enakosti z množicami.
Vaje, 6. teden
Domača naloga, 6. teden
Kviz po predavanjih, 6. teden
Sistemi enačb z eno neznano množico.
Lastnosti kartezičnega produkta.
Vaje, 7. teden
Domača naloga, 7. teden
Kviz po predavanjih, 7. teden
izročki, relacije in preslikave
references in English, Relations and functions (mappings)
Lastnosti relacij.
Operacije z relacijami.
Kviz po predavanjih, 8. teden
Vaje, 8. teden
Domača naloga, 8. teden (sistemi z množicami, kartezični produkt)
Kompozitum preslikav.
Inverzna preslikava.
Slike in praslike.
Kviz po predavanjih, 9. teden
Vaje, 9. teden
izročki, moč množic in teorija števil
references in English, set cardinality
references in English, number theory
Kviz po predavanjih, 10. teden
Moč neskončnih množic
Dirichletov princip.
Celi del realnega števila
Razširjeni Evklidov algoritem, ozadje.
Eulerjeva metoda za reševanje LDE.
Vaje, 10. teden
Domača naloga, 10. teden (delne urejenosti, ekvivalenčne relacije)
izročki, permutacije
references in English, permutations
Permutacije, 1.del.
Permutacije, 2.del.
Kviz po predavanjih, 11. teden
Vaje, 11. teden
Domača naloga, 11. teden (funkcije, princip vključitve in izključitve)
Permutacije, enačbe.
Kviz po predavanjih, 12. teden
Vaje, 12. teden
Domača naloga, 12. teden (GCD, linearne diofantske enačbe)
teorija števil, dodatne vsebine
Eulerjeva funkcija.
Eulerjev, Mali Fermatov izrek in posledice.
Praznična domača naloga (bonus)
Vaje, 14. teden
Domača naloga, 14. teden
Kviz PRED predavanji, 15. teden
izročki, teorija grafov
references in English, graph theory
Kviz po predavanjih, 15. teden
Grafi - uvod in malo več
Grafi, osnovne definicije.
Grafi, operacije.
Grafi, osnovne družine
Grafi, podgrafi
Grafi, sprehodi.
Grafi, dvodelni
Vaje, 15. teden
Domača naloga, 15. teden
Kviz po predavanjih, 16. teden
Grafi, Brooksov izrek
Vaje, 4. teden ►