Discrete Structures

Weekly outline

• 

  General

  Diskretne strukture UNI, 63203

  • Osnovni podatki o predmetu Page
  • Obveznosti študenta Page
  • Gradiva Page
  • References in English Page
  • Forum novic
  • Forum vprašanj in odgovorov
  • Tutorske ure Page
  • Izvedba preskusov znanja na daljavo Page
• 

  4 October - 10 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.

  • izročki, izjavni račun File Modified 3/10/21, 13:07
  • references in English, Propositional Logic Page
  • Izjavni vezniki. File
  • Izjavni izrazi. File
  • Zakoni izjavnega računa. File
  • Kviz po predavanjih, 1. teden Quiz
  • Domača naloga, 1.teden Quiz
• 

  11 October - 17 October

  DNO in KNO. 

  Polni nabori izjavnih veznikov. Še trije izjavni vezniki.

  • Kviz po predavanjih, 2. teden Quiz
  • Še trije izjavni vezniki. File
  • Nepoln nabor (negacija in ekvivalenca) File
  • Vaje, 2. teden File Uploaded 6/10/21, 09:37
  • Domača naloga, 2. teden Quiz
  • Python: Generator nalog z vitezi in oprodami URL
• 

  18 October - 24 October

  Sklepanje v izjavnem računu.

  Pravila sklepanja.

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

  • Kviz po predavanjih, 3. teden Quiz
  • Pravilni in nepravilni sklep. File
  • Pravila sklepanja. File
  • Pomožni sklepi. File
  • Argument Clinic, Monthy Python URL
  • Vaje, 3. teden File Uploaded 18/10/21, 13:15
  • Domača naloga, 3. teden Quiz
  • Posnetek vaj, četrtek 22.10.2020 URL
• 

  25 October - 31 October

  Notranja zgradba izjav. Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.
  

  Enakovrednosti v predikatnem računu. Enakovrednosti z omejitvami.

  
  

  • Kviz po predavanjih, 4. teden Quiz
  • Izročki, predikatni račun File Modified 19/10/21, 15:02
  • references in English, Predicate Logic Page
  • Interpretacija in formalizacija. File
  • Zakoni predikatnega računa. File
  • Vaje, 4. teden File Uploaded 23/10/21, 10:06
  • Domača naloga, 4. teden Quiz
  • Posnetek predavanj, 30.10.2020 URL
  • Posnetek vaj, torek 27.10.2020 URL
• 

  1 November - 7 November

  Smola, predavanja odpadejo. 

  • Vaje, 5. teden File Uploaded 23/10/21, 10:07
  • Domača naloga, 5. teden Quiz
  • Posnetek vaj, torek 03.11.2020 URL
  • Rešitve (nekaterih) nalog z vaj, torek 03.11.2020 File Uploaded 7/11/20, 22:35
• 

  8 November - 14 November

  Preneksna normalna oblika.

  Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah. 
  

  Operacije z množicami. Lastnosti operacij. 
  

  
  

  • Kviz po predavanjih, 6. teden Quiz
  • izročki, teorija množic File Modified 5/11/21, 16:28
  • references in English, Set theory Page
  • Sklepanje v predikatnem računu. File
  • Enakosti z množicami. File
  • Vaje, 6. teden File Uploaded 3/11/21, 18:42
  • Domača naloga, 6. teden Quiz
• 

  15 November - 21 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. 

  Lastnosti kartezičnega produkta.

  
  

  
  

  • Kviz po predavanjih, 7. teden Quiz
  • Sistemi enačb z eno neznano množico. File
  • Lastnosti kartezičnega produkta. File
  • Vaje, 7. teden File Uploaded 12/11/21, 16:26
  • Posnetek vaj, četrtek 18.11.2021 URL
  • Rešitve (nekaterih) nalog z vaj, četrtek 18.11.2021 File Uploaded 19/11/21, 21:58
  • Domača naloga, 7. teden Quiz
• 

  22 November - 28 November

  Relacije. Lastnosti relacij. 

  Operacije z relacijami.
  

  Potence relacij. Graf relacije.

  Potence relacij na grafu relacije. Ovojnice.
  

  
  

  
  

  • Kviz po predavanjih, 8. teden Quiz
  • izročki, relacije in preslikave File Modified 19/11/21, 23:18
  • references in English, Relations and functions (mappings) Page
  • Lastnosti relacij. File
  • Operacije z relacijami. File
  • Vaje, 8. teden File Uploaded 16/11/21, 18:23
  • Domača naloga, 8. teden (sistemi z množicami, kartezični produkt) Quiz
• This week
  

  29 November - 5 December

  Ekvivalenčna relacija.

  Relacije urejenosti.
  

  Preslikave. Lastnosti. 
  Kompozitum preslikav. Inverzna preslikava.
  

  
  

  
  

  • Kviz po predavanjih, 9. teden Quiz
  • Kompozitum preslikav. File
  • Inverzna preslikava. File
  • Dirichletov princip. File
  • Vaje, 9. teden File Uploaded 27/11/21, 21:21
  • Domača naloga, 9. teden (relacije) Quiz
• 

  posnetki 2020

  • Posnetek predavanj, 9.10.2020 URL
  • Posnetek predavanj, 16.10.2020 URL
  • Posnetek predavanj, 23.10.2020 URL
  • Posnetek predavanj, 6.11.2020 URL
  • Posnetek predavanj, 13.11.2020 URL
  • Posnetek predavanj, 20.11.2020 URL