강좌: Discrete Structures | Učilnica FRI 25/26

섹션 개요

Select section 공통

축소 확대
공통

모두 접기 모두 펼치기
Diskretne strukture UNI, 63203
- Select activity Osnovni podatki o predmetu
  
  Osnovni podatki o predmetu 웹페이지
- Select activity Obveznosti študenta
  
  Obveznosti študenta 웹페이지
- Select activity Gradiva
  
  Gradiva 웹페이지
- Select activity References in English
  
  References in English 웹페이지
- Select activity Forum novic
  
  Forum novic 포럼
- Select activity Forum vprašanj in odgovorov
  
  Forum vprašanj in odgovorov 포럼
Select section 10월6일 - 10월12일

축소 확대
10월6일 - 10월12일
Predstavitev predmeta in ekipe.
Logika. Izjave. Izjavni vezniki. Izjavni izrazi.
Resničnostna tabela izjavnega izraza. Konstrukcijsko drevo izjavnega izraza. Tavtologija, protislovje.
Enakovrednost izjavnih izrazov. Zakoni izjavnega računa.
- Select activity izročki, izjavni račun
  
  izročki, izjavni račun 파일
  
  2025/10/1 10:17 수정됨
- Select activity references in English, Propositional Logic
  
  references in English, Propositional Logic 웹페이지
- Select activity Izjavni vezniki.
  
  Izjavni vezniki. 파일
- Select activity Izjavni izrazi.
  
  Izjavni izrazi. 파일
- Select activity Zakoni izjavnega računa.
  
  Zakoni izjavnega računa. 파일
- Select activity Kviz po predavanjih, 1. teden
  
  Kviz po predavanjih, 1. teden 퀴즈
- Select activity Naloge za vaje, 1. teden
  
  Naloge za vaje, 1. teden 파일
- Select activity Domača naloga, 1. teden
  
  Domača naloga, 1. teden 퀴즈
Select section 10월13일 - 10월19일

축소 확대
10월13일 - 10월19일
DNO in KNO.

Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
- Select activity Še trije izjavni vezniki.
  
  Še trije izjavni vezniki. 파일
- Select activity Nepoln nabor (negacija in ekvivalenca)
  
  Nepoln nabor (negacija in ekvivalenca) 파일
- Select activity Vaje, 2. teden
  
  Vaje, 2. teden 파일
  
  2025/10/11 19:37 업로드됨
- Select activity Domača naloga, 2. teden
  
  Domača naloga, 2. teden 퀴즈
- Select activity Kviz po predavanjih, 2. teden
  
  Kviz po predavanjih, 2. teden 퀴즈
Select section 10월20일 - 10월26일

축소 확대
10월20일 - 10월26일
Sklepanje v izjavnem računu. Pravila sklepanja.

Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov.

Predikatni račun, uvod. Notranja zgradba izjav.
- Select activity Izročki, predikatni račun
  
  Izročki, predikatni račun 파일
  
  2025/10/17 14:52 수정됨
- Select activity references in English, Predicate Logic
  
  references in English, Predicate Logic 웹페이지
- Select activity Pravilni in nepravilni sklep.
  
  Pravilni in nepravilni sklep. 파일
- Select activity Pravila sklepanja.
  
  Pravila sklepanja. 파일
- Select activity Pomožni sklepi.
  
  Pomožni sklepi. 파일
- Select activity Vaje, 3. teden
  
  Vaje, 3. teden 파일
- Select activity Domača naloga, 3. teden
  
  Domača naloga, 3. teden 퀴즈
- Select activity Kviz po predavanjih, 3. teden
  
  Kviz po predavanjih, 3. teden 퀴즈
Select section 10월27일 - 11월2일

축소 확대
10월27일 - 11월2일
Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.

Enakovrednosti v predikatnem računu.
- Select activity Interpretacija in formalizacija.
  
  Interpretacija in formalizacija. 파일
- Select activity Zakoni predikatnega računa.
  
  Zakoni predikatnega računa. 파일
- Select activity Vaje, 4. teden
  
  Vaje, 4. teden 파일
- Select activity Domača naloga, 4. teden
  
  Domača naloga, 4. teden 퀴즈
- Select activity Kviz po predavanjih, 4. teden
  
  Kviz po predavanjih, 4. teden 퀴즈
Select section 11월3일 - 11월9일

축소 확대
11월3일 - 11월9일
Preneksna normalna oblika.

Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah. Operacije z množicami. Lastnosti operacij z množicami.
- Select activity zapisi s tablice s predavanj 3.11.2025
  
  zapisi s tablice s predavanj 3.11.2025 파일
  
  2025/11/3 16:12 업로드됨
- Select activity Izročki, teorija množic
  
  Izročki, teorija množic 파일
  
  2025/10/31 13:10 수정됨
- Select activity references in English, Set theory
  
  references in English, Set theory 웹페이지
- Select activity Sklepanje v predikatnem računu.
  
  Sklepanje v predikatnem računu. 파일
- Select activity Omejeni kvantifikatorji
  
  Omejeni kvantifikatorji 파일
- Select activity Enakosti z množicami.
  
  Enakosti z množicami. 파일
- Select activity Vaje, 5. teden
  
  Vaje, 5. teden 파일
- Select activity Domača naloga, 5. teden
  
  Domača naloga, 5. teden 퀴즈
- Select activity Kviz po predavanjih, 5. teden
  
  Kviz po predavanjih, 5. teden 퀴즈
Select section 11월10일 - 11월16일

축소 확대
11월10일 - 11월16일
Reševanje sistemov enačb z množicami z eno neznanko.

Družine množic. Pokritje in razbitje.

Urejeni pari in kartezični produkt.

Relacije. Lastnosti relacij.
- Select activity zapisi s tablice s predavanj 10.11.2025
  
  zapisi s tablice s predavanj 10.11.2025 파일
  
  2025/11/11 11:06 업로드됨
- Select activity izročki, relacije in preslikave
  
  izročki, relacije in preslikave 파일
  
  2025/11/7 15:45 수정됨
- Select activity references in English, Relations and functions (mappings)
  
  references in English, Relations and functions (mappings) 웹페이지
- Select activity Sistemi enačb z eno neznano množico.
  
  Sistemi enačb z eno neznano množico. 파일
- Select activity Lastnosti kartezičnega produkta.
  
  Lastnosti kartezičnega produkta. 파일
- Select activity Vaje, 6. teden
  
  Vaje, 6. teden 파일
  
  2025/11/9 19:31 업로드됨
- Select activity Domača naloga, 6. teden
  
  Domača naloga, 6. teden 퀴즈
- Select activity Kviz po predavanjih, 6. teden
  
  Kviz po predavanjih, 6. teden 퀴즈
Select section 11월17일 - 11월23일

축소 확대
11월17일 - 11월23일
Relacije. Lastnosti relacij.

Operacije z relacijami.

Potence relacij. Graf relacije.

Ovojnice relacij.
- Select activity zapisi s tablice s predavanj 17.11.2025
  
  zapisi s tablice s predavanj 17.11.2025 파일
  
  2025/11/17 16:10 업로드됨
- Select activity Lastnosti relacij.
  
  Lastnosti relacij. 파일
- Select activity Operacije z relacijami.
  
  Operacije z relacijami. 파일
- Select activity Vaje, 7. teden
  
  Vaje, 7. teden 파일
- Select activity Domača naloga, 7. teden
  
  Domača naloga, 7. teden 퀴즈
- Select activity Kviz po predavanjih, 7. teden
  
  Kviz po predavanjih, 7. teden 퀴즈
Select section 11월24일 - 11월30일

축소 확대
11월24일 - 11월30일
Ekvivalenčna relacija.

Relacije urejenosti.

Preslikave.

Moč množic.
- Select activity izročki, moč množic
  
  izročki, moč množic 파일
  
  2025/11/22 16:16 수정됨
- Select activity references in English, set cardinality
  
  references in English, set cardinality 웹페이지
- Select activity Kompozitum preslikav.
  
  Kompozitum preslikav. 파일
- Select activity Inverzna preslikava.
  
  Inverzna preslikava. 파일
- Select activity Slike in praslike.
  
  Slike in praslike. 파일
- Select activity Dirichletov princip.
  
  Dirichletov princip. 파일
- Select activity Kviz po predavanjih, 8. teden
  
  Kviz po predavanjih, 8. teden 퀴즈
- Select activity Vaje, 8. teden
  
  Vaje, 8. teden 파일
- Select activity Domača naloga, 8. teden (relacije)
  
  Domača naloga, 8. teden (relacije) 퀴즈
Select section 12월1일 - 12월7일

축소 확대
12월1일 - 12월7일
Moč množic.

Deljivost celih števil. Največji skupni delitelj in najmanjši skupni večkratnik. Računanje.

Linearne diofantske enačbe z dvema neznankama.
- Select activity izročki, teorija števil
  
  izročki, teorija števil 파일
  
  2025/11/28 18:25 수정됨
- Select activity references in English, number theory
  
  references in English, number theory 웹페이지
- Select activity Moč neskončnih množic
  
  Moč neskončnih množic 파일
- Select activity Celi del realnega števila
  
  Celi del realnega števila 파일
- Select activity Razširjeni Evklidov algoritem, ozadje.
  
  Razširjeni Evklidov algoritem, ozadje. 파일
- Select activity Eulerjeva metoda za reševanje LDE.
  
  Eulerjeva metoda za reševanje LDE. 파일
- Select activity Kviz po predavanjih, 9. teden
  
  Kviz po predavanjih, 9. teden 퀴즈
- Select activity Vaje, 9. teden
  
  Vaje, 9. teden 파일
- Select activity Domača naloga, 9. teden (delne urejenosti, funkcije)
  
  Domača naloga, 9. teden (delne urejenosti, funkcije) 퀴즈
Select section 12월8일 - 12월14일

축소 확대
12월8일 - 12월14일
Praštevila. Eulerjeva funkcija fi. Kongruence.

RSA kriptosistem.
- Select activity Eulerjeva funkcija.
  
  Eulerjeva funkcija. 파일
- Select activity Eulerjev, Mali Fermatov izrek in posledice.
  
  Eulerjev, Mali Fermatov izrek in posledice. 파일
- Select activity zgled RSA (Python jupyter notebook)
  
  zgled RSA (Python jupyter notebook) 파일
  
  2022/12/16 15:42 업로드됨
- Select activity zgled RSA (pdf)
  
  zgled RSA (pdf) 파일
  
  2022/12/16 15:43 업로드됨
- Select activity Kviz po predavanjih, 10. teden
  
  Kviz po predavanjih, 10. teden 퀴즈
- Select activity Vaje, 10. teden
  
  Vaje, 10. teden 파일
- Select activity Domača naloga, 10. teden (princip vključitve in izključitve, GCD)
  
  Domača naloga, 10. teden (princip vključitve in izključitve, GCD) 퀴즈

월요일	화요일	수요일	목요일	금요일	토요일	일요일
이벤트 없음, 12월 1일, 월요일 이벤트 없음, 12월 1일, 월요일	이벤트 없음, 12월 2일, 화요일 이벤트 없음, 12월 2일, 화요일	1 이벤트, 12월 3일, 수요일 3 1. kolokvij iz DSuni more 1. kolokvij iz DSuni 1 이벤트, 12월 3일, 수요일 3	이벤트 없음, 12월 4일, 목요일 이벤트 없음, 12월 4일, 목요일	이벤트 없음, 12월 5일, 금요일 이벤트 없음, 12월 5일, 금요일	이벤트 없음, 12월 6일, 토요일 이벤트 없음, 12월 6일, 토요일	이벤트 없음, 12월 7일, 일요일 이벤트 없음, 12월 7일, 일요일
이벤트 없음, 12월 8일, 월요일 이벤트 없음, 12월 8일, 월요일	이벤트 없음, 12월 9일, 화요일 이벤트 없음, 12월 9일, 화요일	이벤트 없음, 12월 10일, 수요일 이벤트 없음, 12월 10일, 수요일	이벤트 없음, 12월 11일, 목요일 이벤트 없음, 12월 11일, 목요일	이벤트 없음, 12월 12일, 금요일 이벤트 없음, 12월 12일, 금요일	이벤트 없음, 12월 13일, 토요일 이벤트 없음, 12월 13일, 토요일	이벤트 없음, 12월 14일, 일요일 이벤트 없음, 12월 14일, 일요일
이벤트 없음, 12월 15일, 월요일 이벤트 없음, 12월 15일, 월요일	이벤트 없음, 12월 16일, 화요일 이벤트 없음, 12월 16일, 화요일	이벤트 없음, 12월 17일, 수요일 이벤트 없음, 12월 17일, 수요일	이벤트 없음, 12월 18일, 목요일 이벤트 없음, 12월 18일, 목요일	이벤트 없음, 12월 19일, 금요일 이벤트 없음, 12월 19일, 금요일	이벤트 없음, 12월 20일, 토요일 이벤트 없음, 12월 20일, 토요일	이벤트 없음, 12월 21일, 일요일 이벤트 없음, 12월 21일, 일요일
이벤트 없음, 12월 22일, 월요일 이벤트 없음, 12월 22일, 월요일	이벤트 없음, 12월 23일, 화요일 이벤트 없음, 12월 23일, 화요일	이벤트 없음, 12월 24일, 수요일 이벤트 없음, 12월 24일, 수요일	이벤트 없음, 12월 25일, 목요일 이벤트 없음, 12월 25일, 목요일	이벤트 없음, 12월 26일, 금요일 이벤트 없음, 12월 26일, 금요일	이벤트 없음, 12월 27일, 토요일 이벤트 없음, 12월 27일, 토요일	이벤트 없음, 12월 28일, 일요일 이벤트 없음, 12월 28일, 일요일
이벤트 없음, 12월 29일, 월요일 이벤트 없음, 12월 29일, 월요일	이벤트 없음, 12월 30일, 화요일 이벤트 없음, 12월 30일, 화요일	이벤트 없음, 12월 31일, 수요일 이벤트 없음, 12월 31일, 수요일

2025년 12월

섹션 개요