Discrete Structures

Weekly outline

• General
  

  General

  Diskretne strukture UNI, 63203

  • Osnovni podatki o predmetu Page
  • Obveznosti študenta Page
  • Gradiva Page
  • References in English Page
  • Tutorske ure Page
  • Forum novic
  • Forum vprašanj in odgovorov
  • Slo - Eng slovarček pojmov Glossary
  • domača naloga, 0. teden Quiz
• 7 October - 13 October
  

  7 October - 13 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.

  • izročki, izjavni račun File Modified 3/10/19, 23:58
  • references in English, Propositional Logic Page
  • Izjavni vezniki. File
  • Izjavni izrazi. File
  • Zakoni izjavnega računa. File
  • Kviz po predavanjih, 1. teden Quiz
  • Vaje, 1. teden File Uploaded 5/10/19, 11:10
  • Domača naloga, 1.teden Quiz
• 14 October - 20 October
  

  14 October - 20 October

  DNO in KNO. Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
  

  Sklepanje v izjavnem računu.
  

  • Še trije izjavni vezniki. File
  • Nepoln nabor (negacija in ekvivalenca) File
  • Kviz po predavanjih, 2. teden Quiz
  • Vaje, 2. teden File Uploaded 10/10/19, 09:55
  • Domača naloga, 2. teden Quiz
• 21 October - 27 October
  

  21 October - 27 October

  Sklepanje v izjavnem računu, nadaljevanje.

  Pravila sklepanja.

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

  Notranja zgradba izjav. 
  

  • Izročki, predikatni račun File Modified 20/10/19, 11:10
  • references in English, Predicate Logic Page
  • Pravilni in nepravilni sklep. File
  • Pravila sklepanja. File
  • Pomožni sklepi. File
  • Argument Clinic, Monthy Python URL
  • Kviz po predavanjih, 3. teden Quiz
  • Vaje, 3. teden File Uploaded 17/10/19, 10:02
  • Domača naloga, 3. teden Quiz
• 28 October - 3 November
  

  28 October - 3 November

  Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.
  

  Enakovrednosti v predikatnem računu.
  

  
  

  
  

  • Interpretacija in formalizacija. File
  • Zakoni predikatnega računa. File
  • Kviz po predavanjih, 4. teden Quiz
  • Vaje, 4. teden File Uploaded 23/10/19, 11:01
  • Domača naloga, 4. teden Quiz
• 4 November - 10 November
  

  4 November - 10 November

  Zakoni predikatnega računa z omejitvami. Preneksna normalna oblika.

  Sklepanje v predikatnem računu.

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

  • izročki, teorija množic File Modified 3/11/19, 15:08
  • references in English, Set theory Page
  • Sklepanje v predikatnem računu. File
  • Vaje, 5. teden File Uploaded 30/10/19, 13:26
  • Kviz po predavanjih, 5. teden Quiz
  • Domača naloga, 5. teden Quiz
• 11 November - 17 November
  

  11 November - 17 November

  Operacije z množicami. Lastnosti operacij. Potenčna množica. 
  

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

  Družine množic. Pokritje in razbitje.

  
  

  
  

  • Enakosti z množicami. File
  • Sistemi enačb z eno neznano množico. File
  • Kviz po predavanjih, 6. teden Quiz
  • Vaje, 6. teden File Uploaded 6/11/19, 13:53
  • Domača naloga, 6. teden Quiz
• 18 November - 24 November
  

  18 November - 24 November

  Urejeni pari in kartezični produkt. 

  Lastnosti kartezičnega produkta.

  Relacije. Lastnosti relacij. 
  

  Operacije z relacijami.

  Potence relacij. Graf relacije.
  

  
  

  
  

  • izročki, relacije in preslikave File Uploaded 15/11/19, 14:13
  • references in English, Relations and functions (mappings) Page
  • Lastnosti kartezičnega produkta. File
  • Lastnosti relacij. File
  • Operacije z relacijami. File
  • Kviz po predavanjih, 7. teden Quiz
  • Vaje, 7. teden File Uploaded 13/11/19, 13:23
  • Domača naloga, 7. teden Quiz
• 25 November - 1 December
  

  25 November - 1 December

  Potence relacij na grafu relacije. Ovojnice.
  

  Ekvivalenčna relacija. Relacije urejenosti.

  
  

  
  

  • Kviz po predavanjih, 8. teden Quiz
  • Vaje, 8. teden File Uploaded 25/11/19, 21:50
  • Domača naloga, 8. teden Quiz
• 2 December - 8 December
  

  2 December - 8 December

  Preslikave. Lastnosti. 
  Kompozitum preslikav. Inverzna preslikava.
  

  Moč množic. Princip vključitev in izključitev. Dirichletov princip.
  

  Deljivost celih števil. Največji skupni delitelj in najmanjši skupni večkratnik. Računanje.

  • izročki, moč množic in teorija števil File Uploaded 30/11/19, 23:01
  • references in English, set cardinality Page
  • references in English, number theory Page
  • Kompozitum preslikav. File
  • Slike in praslike. File
  • Inverzna preslikava. File
  • Dirichletov princip. File
  • Moč neskončnih množic File
  • Kviz po predavanjih, 9. teden Quiz
  • Vaje, 9. teden File Uploaded 2/12/19, 15:06
  • Domača naloga, 9. teden Quiz
• 9 December - 15 December
  This week
  

  9 December - 15 December

  Linearne diofantske enačbe z dvema neznankama.

  Praštevila. Eulerjeva funkcija fi.

  Modulska aritmetika. 

  • Celi del realnega števila File
  • Razširjeni Evklidov algoritem, ozadje. File
  • Eulerjeva metoda za reševanje LDE. File
  • Eulerjeva funkcija. File
  • Kviz po 10. predavanjih Quiz
  • Vaje, 10. teden File Uploaded 10/12/19, 09:05
  • Perfect numbers URL