Diskretne strukture

Section outline

• Izberi poglavje Splošno

  Splošno

  Skrči vse Razširi vse

  Diskretne strukture UNI, 63203

  • Izberi aktivnost Osnovni podatki o predmetu

    

    Osnovni podatki o predmetu Stran
  • Izberi aktivnost Obveznosti študenta

    

    Obveznosti študenta Stran
  • Izberi aktivnost Gradiva

    

    Gradiva Stran
  • Izberi aktivnost References in English

    

    References in English Stran
  • Izberi aktivnost Forum novic

    

    Forum novic
  • Izberi aktivnost Forum vprašanj in odgovorov

    

    Forum vprašanj in odgovorov
  • Izberi aktivnost Tutorske ure

    

    Tutorske ure Stran
• Izberi poglavje 30. september - 6. oktober

  30. september - 6. oktober

  DNO in KNO. 

  Polni nabori izjavnih veznikov. Še trije izjavni vezniki.

  Sklepanje v izjavnem računu, uvod.

  • Izberi aktivnost Še trije izjavni vezniki.

    

    Še trije izjavni vezniki. Datoteka
  • Izberi aktivnost Nepoln nabor (negacija in ekvivalenca)

    

    Nepoln nabor (negacija in ekvivalenca) Datoteka
  • Izberi aktivnost Pravilni in nepravilni sklep.

    

    Pravilni in nepravilni sklep. Datoteka
  • Izberi aktivnost Vaje, 2. teden

    

    Vaje, 2. teden Datoteka

    Uploaded 4/10/24, 17:54
  • Izberi aktivnost Kviz po predavanjih, 2. teden

    

    Kviz po predavanjih, 2. teden
  • Izberi aktivnost Domača naloga, 2. teden

    

    Domača naloga, 2. teden Kviz
• Izberi poglavje 7. oktober - 13. oktober

  7. oktober - 13. oktober

  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.

  • Izberi aktivnost izročki, izjavni račun

    

    izročki, izjavni račun Datoteka

    Spremenjeno 1/10/24, 11:36
  • Izberi aktivnost references in English, Propositional Logic

    

    references in English, Propositional Logic Stran
  • Izberi aktivnost Izjavni vezniki.

    

    Izjavni vezniki. Datoteka
  • Izberi aktivnost Izjavni izrazi.

    

    Izjavni izrazi. Datoteka
  • Izberi aktivnost Zakoni izjavnega računa.

    

    Zakoni izjavnega računa. Datoteka
  • Izberi aktivnost Kviz po predavanjih, 1. teden

    

    Kviz po predavanjih, 1. teden
  • Izberi aktivnost Domača naloga, 1. teden

    

    Domača naloga, 1. teden Kviz
• Izberi poglavje 14. oktober - 20. oktober

  14. oktober - 20. oktober

  Sklepanje v izjavnem računu. Pravila sklepanja.

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

  Predikatni račun, uvod. Notranja zgradba izjav. 

  • Izberi aktivnost Izročki, predikatni račun

    

    Izročki, predikatni račun Datoteka

    Spremenjeno 9/10/24, 14:16
  • Izberi aktivnost references in English, Predicate Logic

    

    references in English, Predicate Logic Stran
  • Izberi aktivnost Pravila sklepanja.

    

    Pravila sklepanja. Datoteka
  • Izberi aktivnost Pomožni sklepi.

    

    Pomožni sklepi. Datoteka
  • Izberi aktivnost Vaje, 3. teden

    

    Vaje, 3. teden Datoteka

    Uploaded 9/10/24, 13:02
  • Izberi aktivnost Kviz po predavanjih, 3. teden

    

    Kviz po predavanjih, 3. teden
  • Izberi aktivnost Domača naloga, 3. teden

    

    Domača naloga, 3. teden Kviz
• Izberi poglavje 21. oktober - 27. oktober

  21. oktober - 27. oktober

  Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.

  Enakovrednosti v predikatnem računu. 

  • Izberi aktivnost Interpretacija in formalizacija.

    

    Interpretacija in formalizacija. Datoteka
  • Izberi aktivnost Zakoni predikatnega računa.

    

    Zakoni predikatnega računa. Datoteka
  • Izberi aktivnost Vaje, 4. teden

    

    Vaje, 4. teden Datoteka

    Uploaded 21/10/24, 10:07
  • Izberi aktivnost Kviz po predavanjih, 4. teden

    

    Kviz po predavanjih, 4. teden
  • Izberi aktivnost Domača naloga, 4. teden

    

    Domača naloga, 4. teden Kviz
• Izberi poglavje 28. oktober - 3. november

  28. oktober - 3. november

  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.
  

  • Izberi aktivnost Izročki, teorija množic

    

    Izročki, teorija množic Datoteka

    Spremenjeno 24/10/24, 23:12
  • Izberi aktivnost references in English, Set theory

    

    references in English, Set theory Stran
  • Izberi aktivnost Sklepanje v predikatnem računu.

    

    Sklepanje v predikatnem računu. Datoteka
  • Izberi aktivnost Omejeni kvantifikatorji

    

    Omejeni kvantifikatorji Datoteka
  • Izberi aktivnost Enakosti z množicami.

    

    Enakosti z množicami. Datoteka
  • Izberi aktivnost Vaje, 5. teden

    

    Vaje, 5. teden Datoteka
  • Izberi aktivnost Posnetek vaj z dne 30.10.2024

    

    Posnetek vaj z dne 30.10.2024 URL
  • Izberi aktivnost Zapiski rešenih nalog z vaj, 30.10.2024

    

    Zapiski rešenih nalog z vaj, 30.10.2024 Datoteka
  • Izberi aktivnost Domača naloga, 5. teden

    

    Domača naloga, 5. teden Kviz
  • Izberi aktivnost Kviz po predavanjih, 5. teden

    

    Kviz po predavanjih, 5. teden
• Izberi poglavje 4. november - 10. november

  4. november - 10. november

  Ta teden

  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.

  • Izberi aktivnost Sistemi enačb z eno neznano množico.

    

    Sistemi enačb z eno neznano množico. Datoteka
  • Izberi aktivnost Lastnosti kartezičnega produkta.

    

    Lastnosti kartezičnega produkta. Datoteka
  • Izberi aktivnost Vaje, 6. teden

    

    Vaje, 6. teden Datoteka

    Uploaded 31/10/24, 11:32
  • Izberi aktivnost Domača naloga, 6. teden

    

    Domača naloga, 6. teden Kviz
  • Izberi aktivnost Kviz po predavanjih, 6. teden

    

    Kviz po predavanjih, 6. teden
• Izberi poglavje 11. november - 17. november

  11. november - 17. november

  Relacije. Lastnosti relacij. 
  

  Operacije z relacijami.
  

  Potence relacij. Graf relacije.

  Ovojnice relacij.
  
  Ekvivalenčna relacija, uvod.
  

  • Izberi aktivnost references in English, Relations and functions (mappings)

    

    references in English, Relations and functions (mappings) Stran
  • Izberi aktivnost Lastnosti relacij.

    

    Lastnosti relacij. Datoteka
  • Izberi aktivnost Operacije z relacijami.

    

    Operacije z relacijami. Datoteka
  • Izberi aktivnost Vaje, 7. teden

    

    Vaje, 7. teden Datoteka

    Uploaded 6/11/24, 17:13
  • Izberi aktivnost Domača naloga, 7. teden

    

    Domača naloga, 7. teden Kviz
  • Izberi aktivnost Kviz po predavanjih, 7. teden

    

    Kviz po predavanjih, 7. teden