Discrete Structures

Section outline

• Select section General

  Collapse Expand

  General

  Collapse all Expand all

  Diskretne strukture UNI, 63203

  • Select activity Osnovni podatki o predmetu

    

    Osnovni podatki o predmetu Page
  • Select activity Obveznosti študenta

    

    Obveznosti študenta Page
  • Select activity Gradiva

    

    Gradiva Page
  • Select activity References in English

    

    References in English Page
  • Select activity Forum novic

    

    Forum novic
  • Select activity Forum vprašanj in odgovorov

    

    Forum vprašanj in odgovorov
  • Select activity Sokratski tutor: AI način za učenje

    

    Sokratski tutor: AI način za učenje URL
• Select section 5 October - 11 October

  Collapse Expand

  5 October - 11 October

  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 File

    Modified 4/10/26, 21:07
  • Select activity references in English, Propositional Logic

    

    references in English, Propositional Logic Page
  • Select activity Izjavni vezniki.

    

    Izjavni vezniki. File
  • Select activity Izjavni izrazi.

    

    Izjavni izrazi. File
  • Select activity Zakoni izjavnega računa.

    

    Zakoni izjavnega računa. File
  • Select activity Kviz po predavanjih, 1. teden

    

    Kviz po predavanjih, 1. teden Quiz
  • Select activity Vaje 1

    

    Vaje 1 File
  • Select activity Domača naloga 1

    

    Domača naloga 1 Quiz
• Select section 12 October - 18 October

  Collapse Expand

  12 October - 18 October

  Enakovredni izjavni izrazi, nadaljevanje.

  DNO in KNO. 

  Polni nabori izjavnih veznikov. Še trije izjavni vezniki.

  Sklepanje v izjavnem računu, nepravilen sklep.

  • Select activity Še trije izjavni vezniki.

    

    Še trije izjavni vezniki. File
  • Select activity Nepoln nabor (negacija in ekvivalenca)

    

    Nepoln nabor (negacija in ekvivalenca) File
  • Select activity Vaje 2

    

    Vaje 2 File

    Uploaded 11/10/26, 08:39
  • Select activity Domača naloga 2

    

    Domača naloga 2 Quiz
  • Select activity Kviz po predavanjih, 2. teden

    

    Kviz po predavanjih, 2. teden Quiz
• Select section 19 October - 25 October

  Collapse Expand

  19 October - 25 October

  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 File

    Modified 16/10/26, 14:28
  • Select activity references in English, Predicate Logic

    

    references in English, Predicate Logic Page
  • Select activity Pravilni in nepravilni sklep.

    

    Pravilni in nepravilni sklep. File
  • Select activity Pravila sklepanja.

    

    Pravila sklepanja. File
  • Select activity Pomožni sklepi.

    

    Pomožni sklepi. File
  • Select activity Vaje 3

    

    Vaje 3 File
  • Select activity Domača naloga 3

    

    Domača naloga 3 Quiz
  • Select activity Kviz po predavanjih, 3. teden

    

    Kviz po predavanjih, 3. teden Quiz
• Select section 26 October - 1 November

  Collapse Expand

  26 October - 1 November

  Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.

  Enakovrednosti v predikatnem računu. 

  • Select activity Interpretacija in formalizacija.

    

    Interpretacija in formalizacija. File
  • Select activity Zakoni predikatnega računa.

    

    Zakoni predikatnega računa. File
  • Select activity Vaje 4

    

    Vaje 4 File
  • Select activity Domača naloga 4

    

    Domača naloga 4 Quiz
  • Select activity Kviz po predavanjih, 4. teden

    

    Kviz po predavanjih, 4. teden Quiz
• Select section 2 November - 8 November

  Collapse Expand

  2 November - 8 November

  Preneksna normalna oblika.

  Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah. Operacije z množicami. Lastnosti operacij z množicami.

  Reševanje sistemov enačb z množicami z eno neznanko, uvod.

  • Select activity Izročki, teorija množic

    

    Izročki, teorija množic File

    Modified 30/10/26, 14:08
  • Select activity references in English, Set theory

    

    references in English, Set theory Page
  • Select activity Sklepanje v predikatnem računu.

    

    Sklepanje v predikatnem računu. File
  • Select activity Omejeni kvantifikatorji

    

    Omejeni kvantifikatorji File
  • Select activity Enakosti z množicami.

    

    Enakosti z množicami. File
  • Select activity Kviz po predavanjih, 5. teden

    

    Kviz po predavanjih, 5. teden Quiz
  • Select activity Vaje 5

    

    Vaje 5 File
  • Select activity Domača naloga 5

    

    Domača naloga 5 Quiz
• Select section 9 November - 15 November

  Collapse Expand

  9 November - 15 November

  Current week

  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 izročki, relacije in preslikave

    

    izročki, relacije in preslikave File

    Modified 5/11/26, 15:30
  • Select activity references in English, Relations and functions (mappings)

    

    references in English, Relations and functions (mappings) Page
  • Select activity Sistemi enačb z eno neznano množico.

    

    Sistemi enačb z eno neznano množico. File
  • Select activity Lastnosti kartezičnega produkta.

    

    Lastnosti kartezičnega produkta. File
  • Select activity Lastnosti relacij.

    

    Lastnosti relacij. File
  • Select activity Vaje 6

    

    Vaje 6 File

    Uploaded 4/11/26, 12:41
  • Select activity Domača naloga 6

    

    Domača naloga 6 Quiz
  • Select activity Kviz po predavanjih, 6. teden

    

    Kviz po predavanjih, 6. teden Quiz
• Select section 16 November - 22 November

  Collapse Expand

  16 November - 22 November

  Operacije z relacijami.

  Potence relacij. Graf relacije.

  Ovojnice relacij.

  Ekvivalenčna relacija.

  • Select activity Operacije z relacijami.

    

    Operacije z relacijami. File
  • Select activity Vaje 7

    

    Vaje 7 File
  • Select activity Domača naloga 7

    

    Domača naloga 7 Quiz
  • Select activity Kviz po predavanjih, 7. teden

    

    Kviz po predavanjih, 7. teden Quiz