Discrete Structures

Календарный план

• 

  Общее

  Diskretne strukture VSŠ 63705

  • Osnovni podatki o predmetu Страница
  • Obveznosti študenta Страница
  • Gradiva Страница
  • References in English Страница
  • Tutorske ure Страница
  • Forum novic Форум
  • Forum vprašanj in odgovorov Форум
  • Izvedba oddaljenih izpitov Страница
  • Kako naj skeniram svoj izdelek? Задание
  • DS VSP izpit, 2.2.2021 (računski del) Задание
  • DS VSP, računski del izpita, 02.02.2021 - rešitve Файл Загружено 7/02/21, 14:43
  • DS VSP izpit, 2.2.2021 (računski del), utemeljene pritožbe Задание
  • (podaljšan čas) DS VSP predrok, teoretični del Задание

    Ограничено Недоступно, пока не выполнено одно из:

    • Ваше поле Адрес электронной почты имеет значение al6878@student.uni-lj.si
    • Ваше поле Адрес электронной почты имеет значение mk8054@student.uni-lj.si
    • Ваше поле Адрес электронной почты имеет значение jz6085@student.uni-lj.si
  • Vaje DS VSP, torek 8.15 - 10.00, 10.15 - 12.00 ali 12.15 - 14.00 Собрание Zoom
  • Vaje DS VSP, sreda 13:15 - 15:00 ali petek 11:15 - 13:00 Собрание Zoom
  • Predavanja, petek 13:15-16:00 Собрание Zoom
  • Vprašanja za teoretični izpit - 1. del Файл Загружено 23/11/20, 10:21
  • Seznam tematik za teoretični del izpita Файл Загружено 4/01/21, 08:14
  • Poskusni kolokvij Файл Загружено 1/12/20, 18:42
  • Rešitve poskusnega kolokvija Файл Загружено 1/12/20, 19:13
  • Rešitve in točkovnik računskega dela predroka Файл Загружено 16/01/21, 20:18
  • Rešitve in točkovnik teoretičnega dela predroka Файл Загружено 16/01/21, 19:34
  • Rešitve in točkovnik računskega dela prvega izpitnega roka Файл Загружено 23/01/21, 18:27
  • Rešitve in točkovnik teoretičnega dela prvega izpitnega roka Файл Загружено 23/01/21, 18:25
  • Rešitve in točkovnik računskega dela drugega izpitnega roka Файл Изменено 7/02/21, 14:41
  • Rešitve in točkovnik teoretičnega dela drugega izpitnega roka Файл Загружено 7/02/21, 14:31
  • Rezultati drugega roka Файл Загружено 7/02/21, 14:34
• 

  5 October - 11 October

  Predavanja: Matematična indukcija. Izjave, izjavni vezniki, izjavni izrazi, resničnostna tabela, enakovredni izjavni izrazi.

  Lectures: Mathematical induction (pages 5-7); Introduction into propositional logic: atoms, logical connectives, logical formulas, truth tables, equivalence of formulas (pages 95-99).
  

  
  

  • 1. predavanja - izročki Файл Загружено 6/10/20, 20:51
  • 1. del predavanj: Matematična indukcija Гиперссылка
  • 2. del predavanj: Izjave in izjavni vezniki Гиперссылка
  • 3. del predavanj: Izjavni izrazi in enakovrednost Гиперссылка
• 

  12 October - 18 October

  Predavanja: Zakoni izjavnega računa. DNO in KNO. Polni nabori izjavnih veznikov.
  

  Lectures: Laws of propositional logic (pages 11-15); Disjunctive and conjuctive normal form (pages 4-6); Functionally complete sets of logical operators (pdf; the proof of Theorem 2.7 is not required). 

  • Naloge za vaje, 2. teden Файл
  • Rešitve (nekaterih) nalog z vaj, 16.10.2020 Файл Загружено 17/10/20, 09:38
  • Posnetek vaj, petek 16.10., 11:15-13:00 Гиперссылка
  • Domača naloga, 2. teden Тест
  • 2. predavanja - izročki Файл Загружено 15/10/20, 17:49
  • Zakoni izjavnega računa Файл
  • 1. del predavanj: Zakoni izjavnega računa Гиперссылка
  • 2. del predavanj: Disjunktivna normalna oblika Гиперссылка
  • 3. del predavanj: Konjunktivna normalna oblika Гиперссылка
  • 4. del predavanj: Polni nabori izjavnih veznikov Гиперссылка
• 

  19 October - 25 October

  Predavanja: Sklepanje v izjavnem računu. Formalizacija sklepov, definicija pravilnega sklepa, pravila sklepanja, dokaz pravilnosti sklepa, pomožni sklep - sklep s protislovjem. 

  Lectures: Logical inference - formalization, rules of inferece, derivation of rules (pages 100-104), proof by contradiction (section 8 - on this link you can freely download the book).

  • Naloge za vaje, 3. teden Файл
  • Rešitve (nekaterih) nalog z vaj, 20.10.2020 Файл Загружено 24/10/20, 06:16
  • Rešitve (nekaterih) nalog z vaj, 23.10.2020 Файл Загружено 24/10/20, 08:03
  • Posnetek vaj, torek 20.10. Гиперссылка
  • Posnetek vaj, petek 23.10., 11:15-13:00 Гиперссылка
  • Domača naloga, 3. teden Тест
  • 3. predavanja - izročki Файл Загружено 22/10/20, 16:12
  • Posnetek predavanj, 23.10.2020 Гиперссылка
  • Neobvezen kviz: Izjavni račun Тест
• 

  26. oktober - 1. november

  Predavanja: Pogojni sklep, sklep z analizo primerov. Predikatni račun - jezik predikatnega računa, izjavne formule, doseg kvantifikatorjev, vezane in proste spremenljivke.

  Lectures: Proof by conditional derivation (section 6.2), proof by cases (explained at the bottom of section 3.2). Predicate logic: predicates (link); universe of discourse, universal and existential quantifier, free and bound variables, scope of quantifier, order of quantifiers (link to all afforementioned topics), well-formed formula (link).

  
  

  • Naloge za vaje, 4. teden Файл
  • Pravila sklepanja Файл
  • Domača naloga, 4. teden Тест
  • Rešitve nalog z vaj, 27.10.2020 Файл Загружено 28/10/20, 17:31
  • Posnetek vaj, 27.10.2020 Гиперссылка
  • Rešitve (nekaterih) nalog z vaj, 28.10.2020 Файл Загружено 31/10/20, 15:16
  • Posnetek vaj, sreda 28.10., 11:15-13:00 Гиперссылка
  • 4. predavanja - izročki Файл Загружено 17/11/20, 16:32
  • Posnetek predavanj, 30.10.2020 Гиперссылка
  • Neobvezen kviz: izjavni in predikatni račun Тест
• 

  2 November - 8 November

  Predavanja: Interpretacija izjavne formule, enakovrednost izjavnih formul, preimenovanje spremenljivk, zakoni predikatnega računa, preneksna normalna oblika.

  Lectures: Interpretation of the formula (link), equivalence of formulas (link), renaming of variables, laws of predicate logic, prenex normal form (link to the notes for the last three topics).

  • Pomožni sklepi Файл
  • Naloge za vaje, 5. teden Файл
  • Domača naloga, 5. teden Тест
  • Rešitve nalog z vaj, 3.11.2020 Файл Загружено 4/11/20, 17:54
  • Posnetek vaj, 3.11.2020 Гиперссылка
  • Rešitve (nekaterih) nalog z vaj, 04.11.2020 Файл Загружено 7/11/20, 22:52
  • Posnetek vaj, sreda 04.11., 11:15-13:00 Гиперссылка
  • 5. predavanja - izročki Файл Загружено 6/11/20, 12:50
  • Posnetek predavanj, 06.11.2020 Гиперссылка
  • Predavanja 06.11.2020, zapiski Файл Загружено 6/11/20, 19:28
  • Neobvezen kviz: predikatni račun Тест
• 

  9 November - 15 November

  Predavanja: Množice, Russellov paradoks, univerzalna množica, enakost množic, podmnožice, osnovne operacije z množicami ($\cap, \cup, +, \setminus, ^c$), lastnosti komplementiranja, prednostni red operacij, lastnosti operacij z množicami, potenčna množica, kartezični produkt.
  

  Lectures: Sets, Russell's paradox, equality and inclusion of sets, basic operations with sets ($\cap, \cup, +, \setminus, ^c$), order of operations, laws for operations with sets, cartesian product and properties. (notes, laws of set theory, on this link there are some proof of some laws of set theory).

   
  

  • Zakoni predikatnega računa. Файл
  • Naloge za vaje, 6. teden Файл
  • Rešitve nalog z vaj 10.11.2020 Файл Загружено 13/11/20, 18:05
  • Posnetek vaj, 10.11.2020 Гиперссылка
  • Rešitve (nekaterih) nalog z vaj, 11.11.2020 Файл Загружено 22/11/20, 07:00
  • Posnetek vaj, petek 13.11., 11:15-13:00 Гиперссылка
  • Domača naloga, 6. teden Тест
  • 6. predavanja - izročki Файл Загружено 13/11/20, 12:33
  • Posnetek predavanj, 13.11.2020 Гиперссылка
  • Zapiski predavanj Файл Загружено 13/11/20, 18:58
• 

  16 November - 22 November

  Predavanja: Lastnosti kartezičnega produkta, družina množic, unija in presek družine, pokritje in razbitje množice. Definicija relacije, grafična predstavitev relacij, lastnosti relacij, operacije z relacijami.
  

  Lectures: Properties of cartesian product (link), family of sets, union and intersection of the family, covering of a set. (link to last three topics) Relations: definition and examples, graphical representation (link to last two topics), properties of relations (link), operations with relations (link).
  

  
  

  • Naloge za vaje, 7. teden Файл
  • Rešitve nalog z vaj 17.11.2020 Файл Загружено 20/11/20, 14:46
  • Posnetek vaj, 17.11.2020 Гиперссылка
  • Rešitve (nekaterih) nalog z vaj, 18.11.2020 Файл Загружено 22/11/20, 07:02
  • Posnetek vaj, sreda 18.11., 13:15-15:00 Гиперссылка
  • Domača naloga, 7. teden Тест
  • Enakosti z množicami. Файл
  • 7. predavanja: izročki Файл Загружено 20/11/20, 13:03
  • Posnetek predavanj, 20.11.2020 Гиперссылка
  • Zapiski predavanj Файл Загружено 23/11/20, 10:13
• 

  23 November - 29 November

  Predavanja: Potence relacij, tranzitivna in tranzitivno-refleksivna ovojnica relacije, ekvivalenčna relacija, ekvivalenčni razredi, faktorska množica.
  

  Lectures: Powers of relations, transitive closure and reflexive-transitive closure (pages 28-30), equivalence relation (link), equivalence classes, factor set. (link)

  • Naloge za vaje, 8. teden Файл
  • Rešitve nalog z vaj, 24.11.2020 Файл Загружено 27/11/20, 08:11
  • Posnetek vaj, 24.11.2020 Гиперссылка
  • Rešitve (nekaterih) nalog z vaj, 25.11.2020 Файл Загружено 30/11/20, 23:06
  • Posnetek vaj, sreda 25.11., 13:15-15:00 Гиперссылка
  • Domača naloga, 8. teden Тест
  • 8. predavanja: izročki Файл Изменено 27/11/20, 19:24
  • Posnetek predavanja, 27.11.2020 Гиперссылка
  • Zapiski predavanj Файл Загружено 27/11/20, 20:14
  • Kolokvij 1, 2013, 3. naloga Файл Загружено 30/11/20, 08:55
  • Naloge za vajo Тест
• 

  30 November - 6 December

  Predavanja: Preslikave, lastnosti preslikav, inverzna preslikava, kompozitum preslikav.

  Lectures: Mappings (link), properties (link), inverse mapping (link), composition of functions and properties (link).

  • Naloge za vaje, 9. teden Файл
  • Rešitve nalog z vaj, 1.12.2020 Файл Загружено 4/12/20, 15:04
  • Posnetek vaj, 1.12.2020 Гиперссылка
  • Rešitve (nekaterih) nalog z vaj, 4.12.2020 Файл Загружено 5/12/20, 07:19
  • Posnetek vaj, petek 4.12., 11:15-13:00 Гиперссылка
  • Domača naloga, 9. teden Тест
  • Deveti sklop izročkov Файл Изменено 4/12/20, 20:57
  • Posnetek predavanj, 04.12.2020 Гиперссылка
  • Zapiski predavanj Файл Загружено 4/12/20, 21:00
• 

  7 December - 13 December

  Predavanja: Moč končnih množic. Dirichletov princip. Načelo vključitev in izključitev. Definicija grafa, stopnja točke, lema o rokovanju, grafična zaporedja, požrešna metoda, izomorfizem grafov.
  
  Lectures: Cardinality of finite sets. (link) Pigeonhole principle. (link) Principle of inclusion and exclusion. (link) Definition of a graph (link), degree of a vertex, handshaking lemma (Theorem 5.1.1), graphical sequences (link), isomorphism of graphs (link)
  

  • Naloge za vaje, 10. teden Файл
  • Rešitve nalog z vaj, 8.12.2020 Файл Загружено 11/12/20, 17:06
  • Posnetek vaj, 8.12.2020 Гиперссылка
  • Rešitve (nekaterih) nalog z vaj, 9.12.2020 Файл Загружено 15/12/20, 22:59
  • Posnetek vaj, sreda 9.12., 13:15-15:00 Гиперссылка
  • Domača naloga, 10. teden Тест
  • Deseti sklop izročkov Файл Изменено 11/12/20, 18:42
  • Posnetek predavanj, 11.12.2020 Гиперссылка
  • Zapiski predavanj Файл Загружено 11/12/20, 18:49
• 

  14 December - 20 December

  Predavanja: Družine grafov (polni in prazni grafi, polni dvodelni grafi, cikli, poti). Podgrafi. Sprehod, pot, obhod, cikel. Povezanost in komponente za povezanost. Razdalja v grafu. Karakterizacija dvodelnih grafov. Eulerjev problem.
  
  Lectures: Families of graphs (complete and empty graphs, complete bipartite graphs, cycles, paths). (Definition 4) Subgraphs. (link) Walk, path, closed walk, cycle. Connected graphs and components. Distance in graphs. (Definition 3) Characterization of bipartite graphs. (link) Euler's problem (link).
  

  • Naloge za vaje, 11. teden Файл
  • Rešitve (nekaterih) nalog z vaj, 16.12.2020 Файл Загружено 16/12/20, 18:36
  • Posnetek vaj, sreda 16.12., 13:15-15:00 Гиперссылка
  • Rešitve nalog z vaj, 15.12.2020 Файл Загружено 18/12/20, 06:47
  • Posnetek vaj, 15.12.2020 Гиперссылка
  • Domača naloga, 11. teden Тест
  • Enajsti sklop izročkov Файл Изменено 18/12/20, 20:14
  • Posnetek predavanj, 18.12.2020 Гиперссылка
  • Zapiski predavanj Файл Загружено 21/12/20, 07:51
• 

  21 December - 27 December

  Predavanja: Hamiltonovi grafi, barvanja grafov.
  

  Lectures: Hamiltonian graphs (link), chromatic number (link).

  • Naloge za vaje, 12. teden Файл
  • Rešitve nalog z vaj, 22.12.2020 Файл Загружено 23/12/20, 17:23
  • Posnetek vaj, 22.12.2020 Гиперссылка
  • Rešitve (nekaterih) nalog z vaj, 23.12.2020 Файл Загружено 3/01/21, 22:35
  • Posnetek vaj, sreda 23.12., 13:15-15:00 Гиперссылка
  • Bonus domača naloga, 12. teden Тест
  • 12. sklop izročkov Файл Загружено 24/12/20, 14:13
  • 1. del predavanj: Hamiltonovi grafi Гиперссылка
  • 2. del predavanj: (Ne)hamiltonskost Grotzschevega in Petersenovega grafa Гиперссылка
  • 3. del predavanj: Barvanje grafov Гиперссылка
  • 4. del predavanj: Kromatično število Petersenovega in Grotzschevega grafa Гиперссылка
• 

  4 January - 10 January

  Srečno Novo leto!

  Predavanja: Razširjeni Evklidov algoritem, linearne diofantske enačbe.

  Lectures: Extended Euclidean algorithm (link), linear diophantine equations (link).

  • Naloge za vaje, 14. teden Файл
  • Domača naloga, 14. teden Тест
  • Posnetek vaj, 5.1.2021 Гиперссылка
  • Rešitve nalog z vaj, 5.1.2021 Файл Загружено 7/01/21, 20:20
  • Rešitve (nekaterih) nalog z vaj, 6.1.2021 Файл Загружено 7/01/21, 19:11
  • Posnetek vaj, sreda 6.1., 13:15-15:00 Гиперссылка
  • 13. sklop izročkov Файл Изменено 9/01/21, 00:24
  • Posnetek predavanj, 08.01.2021 Гиперссылка
• 

  11 January - 17 January

  
  

  • Naloge za vaje, 15. teden Файл
  • Rešitve nalog z vaj, 12.1.2021 Файл Загружено 14/01/21, 08:20
  • Posnetek vaj, 12.1.2021 Гиперссылка
  • Rešitve (nekaterih) nalog z vaj, 13.1.2021 Файл Загружено 15/01/21, 22:48
  • Posnetek vaj, sreda 13.1., 13:15-15:00 Гиперссылка
  • Bonus domača naloga, 15. teden Тест
  • Kviz za vajo Тест