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 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
• Select section 17 November - 23 November

  Collapse Expand

  17 November - 23 November

  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 File

    Uploaded 17/11/25, 16:10
  • Select activity Lastnosti relacij.

    

    Lastnosti relacij. File
  • Select activity Operacije z relacijami.

    

    Operacije z relacijami. File
  • Select activity Vaje, 7. teden

    

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

    

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

    

    Kviz po predavanjih, 7. teden Quiz
• Select section 24 November - 30 November

  Collapse Expand

  24 November - 30 November

  Ekvivalenčna relacija.

  Relacije urejenosti.

  Preslikave.

  Moč množic.

  • Select activity izročki, moč množic

    

    izročki, moč množic File

    Modified 22/11/25, 16:16
  • Select activity references in English, set cardinality

    

    references in English, set cardinality Page
  • Select activity Kompozitum preslikav.

    

    Kompozitum preslikav. File
  • Select activity Inverzna preslikava.

    

    Inverzna preslikava. File
  • Select activity Slike in praslike.

    

    Slike in praslike. File
  • Select activity Dirichletov princip.

    

    Dirichletov princip. File
  • Select activity Kviz po predavanjih, 8. teden

    

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

    

    Vaje, 8. teden File
  • Select activity Domača naloga, 8. teden (relacije)

    

    Domača naloga, 8. teden (relacije) Quiz
• Select section 1 December - 7 December

  Collapse Expand

  1 December - 7 December

  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 File

    Modified 28/11/25, 18:25
  • Select activity references in English, number theory

    

    references in English, number theory Page
  • Select activity Moč neskončnih množic

    

    Moč neskončnih množic File
  • Select activity Celi del realnega števila

    

    Celi del realnega števila File
  • Select activity Razširjeni Evklidov algoritem, ozadje.

    

    Razširjeni Evklidov algoritem, ozadje. File
  • Select activity Eulerjeva metoda za reševanje LDE.

    

    Eulerjeva metoda za reševanje LDE. File
  • Select activity Kviz po predavanjih, 9. teden

    

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

    

    Vaje, 9. teden File
  • Select activity Domača naloga, 9. teden (delne urejenosti, funkcije)

    

    Domača naloga, 9. teden (delne urejenosti, funkcije) Quiz
• Select section 8 December - 14 December

  Collapse Expand

  8 December - 14 December

  Praštevila. Eulerjeva funkcija fi. Kongruence.

  RSA kriptosistem.

  • Select activity Eulerjeva funkcija.

    

    Eulerjeva funkcija. File
  • Select activity Eulerjev, Mali Fermatov izrek in posledice.

    

    Eulerjev, Mali Fermatov izrek in posledice. File
  • Select activity zgled RSA (Python jupyter notebook)

    

    zgled RSA (Python jupyter notebook) File

    Uploaded 16/12/22, 15:42
  • Select activity zgled RSA (pdf)

    

    zgled RSA (pdf) File

    Uploaded 16/12/22, 15:43
  • Select activity Kviz po predavanjih, 10. teden

    

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

    

    Vaje, 10. teden File
  • 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) Quiz