Discrete Structures

Section outline

• Select section Основно

  Затвори Зголеми

  Основно

  Затвори ги сите Прошири ги сите

  Diskretne strukture VSŠ 63705

  • 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 29. september - 5. oktober

  Затвори Зголеми

  29. september - 5. oktober

  Predavanja: Matematična indukcija. Izjave, izjavni vezniki.

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

  • Select activity Izročki predavanj, indukcija in izjavni račun

    

    Izročki predavanj, indukcija in izjavni račun Датотека

    Изменето 1/10/2025 10:50
  • Select activity references in English, Induction

    

    references in English, Induction Page
  • Select activity references in English, Propositional logic

    

    references in English, Propositional logic Page
  • Select activity Kviz po predavanjih 1. teden

    

    Kviz po predavanjih 1. teden Квиз
  • Select activity Domača naloga 1. teden

    

    Domača naloga 1. teden Квиз
• Select section 6. oktober - 12. oktober

  Затвори Зголеми

  6. oktober - 12. oktober

  Predavanja: Izjavni izrazi, resničnostna tabela, enakovredni izjavni izrazi. 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 connectives 

  • Select activity Predavanja 7. oktobra ob 14h, Zoom link

    

    Predavanja 7. oktobra ob 14h, Zoom link URL
  • Select activity Predavanja 7. oktobra ob 14h, gradiva

    

    Predavanja 7. oktobra ob 14h, gradiva Page
  • Select activity Zakoni izjavnega računa

    

    Zakoni izjavnega računa Датотека
  • Select activity Naloge za vaje, 2. teden

    

    Naloge za vaje, 2. teden Датотека
  • Select activity Posnetek 1. vaj iz leta 2020

    

    Posnetek 1. vaj iz leta 2020 URL
  • Select activity Kviz po predavanjih v 2. tednu

    

    Kviz po predavanjih v 2. tednu Квиз
  • Select activity Domača naloga, 2. teden

    

    Domača naloga, 2. teden Квиз
• Select section 13. oktober - 19. oktober

  Затвори Зголеми

  13. oktober - 19. oktober

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

  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), proof by conditional derivation (section 6.2), proof by cases (explained at the bottom of section 3.2). 

  • Select activity Pravila sklepanja

    

    Pravila sklepanja Датотека
  • Select activity Pravilni in nepravilni sklep

    

    Pravilni in nepravilni sklep Датотека
  • Select activity Pomožni sklepi

    

    Pomožni sklepi Датотека
  • Select activity Naloge za vaje, 3. teden

    

    Naloge za vaje, 3. teden Датотека
  • Select activity Kviz po predavanjih v 3. tednu

    

    Kviz po predavanjih v 3. tednu Квиз
  • Select activity Domača naloga, 3. teden

    

    Domača naloga, 3. teden Квиз
• Select section 20. oktober - 26. oktober

  Затвори Зголеми

  20. oktober - 26. oktober

  Predikatni račun - jezik predikatnega računa, izjavne formule. Doseg kvantifikatorjev, proste in vezane spremenljivke. Interpretacija izjavne formule, enakovrednost izjavnih formul, preimenovanje spremenljivk, zakoni predikatnega računa,

  Predicate logic: predicates; universe of discourse, universal and existential quantifier. (link) Scope of quantifiers. Free and bound variables. Well-formed formulas. Interpretation of formulas, equivalence of formulas. Laws of predicate calculus.

  • Select activity Predikatni račun - izročki predavanj

    

    Predikatni račun - izročki predavanj Датотека

    Изменето 17/10/2025 11:00
  • Select activity references in English, Predicate logic

    

    references in English, Predicate logic Page
  • Select activity Interpretacija in formalizacija

    

    Interpretacija in formalizacija Датотека
  • Select activity Zakoni predikatnega računa

    

    Zakoni predikatnega računa Датотека

    Прикачено 7/12/2022 16:14
  • Select activity Naloge za vaje, 4. teden

    

    Naloge za vaje, 4. teden Датотека
  • Select activity Kviz po predavanjih v 4. tednu

    

    Kviz po predavanjih v 4. tednu Квиз
  • Select activity Domača naloga, 4. teden

    

    Domača naloga, 4. teden Квиз
• Select section 27. oktober - 2. november

  Затвори Зголеми

  27. oktober - 2. november

  Preneksna normalna oblika izjavne formule.

  Množice, osnovne operacije z množicami, lastnosti komplementiranja, osnovne enakosti množic. 

  Prenex normal form.

  Sets, basic operations with sets, laws for operations with sets. (notes, on this link there are some proofs of laws of set theory).

  • Select activity predavanja 30.10.2025, materiali

    

    predavanja 30.10.2025, materiali Page
  • Select activity Teorija množic - izročki predavanj

    

    Teorija množic - izročki predavanj Датотека

    Изменето 24/10/2025 08:43
  • Select activity references in English, Set theory

    

    references in English, Set theory Page
  • Select activity Enakosti z množicami

    

    Enakosti z množicami Датотека
  • Select activity Kviz po predavanjih v 5. tednu

    

    Kviz po predavanjih v 5. tednu Квиз
  • Select activity Naloge za vaje, 5. teden

    

    Naloge za vaje, 5. teden Датотека
  • Select activity Vaje 5. teden rešitve

    

    Vaje 5. teden rešitve Датотека
  • Select activity Naloge za vaje, 5. teden, rešitve (posnetki)

    

    Naloge za vaje, 5. teden, rešitve (posnetki) Page
  • Select activity Domača naloga, 5. teden

    

    Domača naloga, 5. teden Квиз
• Select section 3. november - 9. november

  Затвори Зголеми

  3. november - 9. november

  Družine množic. Kartezični produkt.

  Moč končnih množic.

  Definicija relacije, lastnosti relacij.

  Families of sets. Cartesian product.

  Cardinality of finite sets.

  Relations, definition and examples, properties of relations (link), 

  • Select activity zapisi s table, predavanja 6.11.2025

    

    zapisi s table, predavanja 6.11.2025 Датотека

    Прикачено 6/11/2025 15:17
  • Select activity Moč množic, relacije, preslikave, izročki predavanj

    

    Moč množic, relacije, preslikave, izročki predavanj Датотека

    Изменето 31/10/2025 18:17
  • Select activity references in English, set cardinality

    

    references in English, set cardinality Page
  • Select activity references in English, relations, functions (mappings)

    

    references in English, relations, functions (mappings) Page
  • Select activity Lastnosti kartezičnega produkta

    

    Lastnosti kartezičnega produkta Датотека
  • Select activity Lastnosti relacij

    

    Lastnosti relacij Датотека
  • Select activity Moč neskončnih množic.

    

    Moč neskončnih množic. Датотека
  • Select activity Naloge za vaje, 6. teden

    

    Naloge za vaje, 6. teden Датотека
  • Select activity Domača naloga, 6. teden

    

    Domača naloga, 6. teden Квиз
  • Select activity Kviz po predavanjih v 6. tednu

    

    Kviz po predavanjih v 6. tednu Квиз
• Select section 10. november - 16. november

  Затвори Зголеми

  10. november - 16. november

  Predavanja: Grafična predstavitev relacije, operacije z relacijami, potence relacij, tranzitivna in tranzitivno-refleksivna ovojnica relacije.

  Preslikave, njihove lastnosti.

  Lectures: Graphical representation of relations, operations with relations (link), transitive closure and reflexive-transitive closure (pages 28-30)

  Mappings (link), properties (link).

  • Select activity zapisi s table, predavanja 13.11.2025

    

    zapisi s table, predavanja 13.11.2025 Датотека

    Прикачено 13/11/2025 15:43
  • Select activity Operacije z relacijami

    

    Operacije z relacijami Датотека
  • Select activity Naloge za vaje, 7. teden

    

    Naloge za vaje, 7. teden Датотека
  • Select activity Domača naloga, 7. teden

    

    Domača naloga, 7. teden Квиз
  • Select activity Kviz po predavanjih v 7. tednu

    

    Kviz po predavanjih v 7. tednu Квиз
• Select section 17. november - 23. november

  Затвори Зголеми

  17. november - 23. november

  Preslikave,  kompozitum preslikav, inverzna preslikava. Lastnosti kompozituma preslikav. Ekvivalenčna relacija, ekvivalenčni razredi, faktorska množica.

  Lectures: Mappings, inverse mapping (link), composition of functions (link). Properties of a composition of functions (link). Equivalence relation (link), equivalence classes, factor set. (link)

  • Select activity Inverzna preslikava

    

    Inverzna preslikava Датотека
  • Select activity Kompozitum preslikav

    

    Kompozitum preslikav Датотека
  • Select activity Naloge za vaje, 8. teden

    

    Naloge za vaje, 8. teden Датотека
  • Select activity Domača naloga, 8. teden

    

    Domača naloga, 8. teden Квиз
  • Select activity Kviz po predavanjih v 8. tednu

    

    Kviz po predavanjih v 8. tednu Квиз
• Select section 24. november - 30. november

  Затвори Зголеми

  24. november - 30. november

  Teorija grafov - lema o rokovanju, grafična zaporedja, družine grafov (polni in prazni grafi, polni dvodelni grafi, cikli, poti). Izomorfizem grafov. Podgrafi. Sprehod, pot, obhod, cikel. 

  Graph theory - definition of a graph (link), degree of a vertex, handshaking lemma (Theorem 5.1.1), graphical sequences (link), families of graphs (complete and empty graphs, complete bipartite graphs, cycles, paths) (link). Graph isomorphism (link). Subgraphs (link). Walk, path , closed walk, cycle. (link) 

  • Select activity Teorija grafov, izročki predavanj

    

    Teorija grafov, izročki predavanj Датотека

    Изменето 22/11/2025 17:51
  • Select activity references in English, graph theory

    

    references in English, graph theory Page
  • Select activity Naloge za vaje, 9. teden

    

    Naloge za vaje, 9. teden Датотека
  • Select activity Kviz po predavanjih v 9. tednu

    

    Kviz po predavanjih v 9. tednu Квиз
  • Select activity Domača naloga, 9. teden

    

    Domača naloga, 9. teden Квиз
• Select section 1. december - 7. december

  Затвори Зголеми

  1. december - 7. december

  Current week

  Teorija grafov - Povezanost in komponente za povezanost. Razdalja v grafu. Karakterizacija dvodelnih grafov. Eulerjev problem. Hamiltonov problem 

  Graph theory - Connected graphs and components. Distance in graphs. (link) Characterization of bipartite graphs. (link) Euler's problem (link). Hamiltonian problem.

  • Select activity Naloge za vaje, 10. teden

    

    Naloge za vaje, 10. teden Датотека
  • Select activity Kviz po predavanjih v 10. tednu

    

    Kviz po predavanjih v 10. tednu Квиз
  • Select activity Domača naloga, 10. teden

    

    Domača naloga, 10. teden Квиз