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

Section outline

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 activity Tutorske ure
  
  Tutorske ure 웹페이지
Select section 9월30일 - 10월6일

9월30일 - 10월6일
DNO in KNO.

Polni nabori izjavnih veznikov. Še trije izjavni vezniki.

Sklepanje v izjavnem računu, uvod.
- Select activity Še trije izjavni vezniki.
  
  Še trije izjavni vezniki. 파일
- Select activity Nepoln nabor (negacija in ekvivalenca)
  
  Nepoln nabor (negacija in ekvivalenca) 파일
- Select activity Pravilni in nepravilni sklep.
  
  Pravilni in nepravilni sklep. 파일
- Select activity Vaje, 2. teden
  
  Vaje, 2. teden 파일
  
  2024/10/4 17:54 업로드됨
- Select activity Kviz po predavanjih, 2. teden
  
  Kviz po predavanjih, 2. teden 퀴즈
- Select activity Domača naloga, 2. teden
  
  Domača naloga, 2. teden 퀴즈
Select section 10월7일 - 10월13일

10월7일 - 10월13일
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 파일
  
  2024/10/1 11:36 수정됨
- 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 Domača naloga, 1. teden
  
  Domača naloga, 1. teden 퀴즈
Select section 10월14일 - 10월20일

10월14일 - 10월20일
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 파일
  
  2024/10/9 14:16 수정됨
- Select activity references in English, Predicate Logic
  
  references in English, Predicate Logic 웹페이지
- Select activity Pravila sklepanja.
  
  Pravila sklepanja. 파일
- Select activity Pomožni sklepi.
  
  Pomožni sklepi. 파일
- Select activity Vaje, 3. teden
  
  Vaje, 3. teden 파일
  
  2024/10/9 13:02 업로드됨
- Select activity Kviz po predavanjih, 3. teden
  
  Kviz po predavanjih, 3. teden 퀴즈
- Select activity Domača naloga, 3. teden
  
  Domača naloga, 3. teden 퀴즈
Select section 10월21일 - 10월27일

10월21일 - 10월27일
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 파일
  
  2024/10/21 10:07 업로드됨
- Select activity Kviz po predavanjih, 4. teden
  
  Kviz po predavanjih, 4. teden 퀴즈
- Select activity Domača naloga, 4. teden
  
  Domača naloga, 4. teden 퀴즈
Select section 10월28일 - 11월3일

10월28일 - 11월3일
Preimenovanje spremenljivk. Enakovrednosti z omejitvami. 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 Izročki, teorija množic
  
  Izročki, teorija množic 파일
  
  2024/10/24 23:12 수정됨
- 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 Posnetek vaj z dne 30.10.2024
  
  Posnetek vaj z dne 30.10.2024 URL
- Select activity Zapiski rešenih nalog z vaj, 30.10.2024
  
  Zapiski rešenih nalog z vaj, 30.10.2024 파일
- 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월4일 - 11월10일

11월4일 - 11월10일
Lastnosti operacij z množicami, nadaljevanje.
Reševanje sistemov enačb z množicami z eno neznanko.
Družine množic. Pokritje in razbitje.
Urejeni pari in kartezični produkt.
- 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 파일
  
  2024/10/31 11:32 업로드됨
- 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월11일 - 11월17일

11월11일 - 11월17일
Relacije. Lastnosti relacij.

Operacije z relacijami.

Potence relacij. Graf relacije.

Ovojnice relacij.
- Select activity izročki, relacije in preslikave
  
  izročki, relacije in preslikave 파일
  
  2024/11/8 15:19 수정됨
- Select activity references in English, Relations and functions (mappings)
  
  references in English, Relations and functions (mappings) 웹페이지
- Select activity Lastnosti relacij.
  
  Lastnosti relacij. 파일
- Select activity Operacije z relacijami.
  
  Operacije z relacijami. 파일
- Select activity Vaje, 7. teden
  
  Vaje, 7. teden 파일
  
  2024/11/6 17:13 업로드됨
- 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월18일 - 11월24일

11월18일 - 11월24일

이번 주
Ekvivalenčna relacija.

Relacije urejenosti.

Preslikave.

Moč množic.
- Select activity izročki, moč množic
  
  izročki, moč množic 파일
  
  2024/11/15 11:47 업로드됨
- 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 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 (sistemi z množicami, kartezični produkt)
  
  Domača naloga, 8. teden (sistemi z množicami, kartezični produkt) 퀴즈

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

2024년 11월

Section outline