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 section 6 October - 12 October

  Collapse Expand

  6 October - 12 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 1/10/25, 10:17
  • 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 Naloge za vaje, 1. teden

    

    Naloge za vaje, 1. teden File
  • Select activity Domača naloga, 1. teden

    

    Domača naloga, 1. teden Quiz
• Select section 13 October - 19 October

  Collapse Expand

  13 October - 19 October

  DNO in KNO. 

  Polni nabori izjavnih veznikov. Še trije izjavni vezniki.

  • 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. teden

    

    Vaje, 2. teden File

    Uploaded 11/10/25, 19:37
  • Select activity Domača naloga, 2. teden

    

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

    

    Kviz po predavanjih, 2. teden Quiz
• Select section 20 October - 26 October

  Collapse Expand

  20 October - 26 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 17/10/25, 14:52
  • 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. teden

    

    Vaje, 3. teden File
  • Select activity Domača naloga, 3. teden

    

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

    

    Kviz po predavanjih, 3. teden Quiz
• Select section 27 October - 2 November

  Collapse Expand

  27 October - 2 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. teden

    

    Vaje, 4. teden File
  • Select activity Domača naloga, 4. teden

    

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

    

    Kviz po predavanjih, 4. teden Quiz
• Select section 3 November - 9 November

  Collapse Expand

  3 November - 9 November

  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 File

    Uploaded 3/11/25, 16:12
  • Select activity Izročki, teorija množic

    

    Izročki, teorija množic File

    Modified 31/10/25, 13:10
  • 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 Vaje, 5. teden

    

    Vaje, 5. teden File
  • Select activity Domača naloga, 5. teden

    

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

    

    Kviz po predavanjih, 5. teden Quiz
• Select section 10 November - 16 November

  Collapse Expand

  10 November - 16 November

  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 File

    Uploaded 11/11/25, 11:06
  • Select activity izročki, relacije in preslikave

    

    izročki, relacije in preslikave File

    Modified 7/11/25, 15:45
  • 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. teden

    

    Vaje, 6. teden File

    Uploaded 9/11/25, 19:31
  • Select activity Domača naloga, 6. teden

    

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

    

    Kviz po predavanjih, 6. teden Quiz