Diskretne strukture

Osnutek odseka

• Izberi poglavje Splošno

  Skrči Razširi

  Splošno

  Skrči vse Razširi vse

  Diskretne strukture VSŠ 63705

  • Izberi aktivnost Osnovni podatki o predmetu

    

    Osnovni podatki o predmetu Stran
  • Izberi aktivnost Obveznosti študenta

    

    Obveznosti študenta Stran
  • Izberi aktivnost Gradiva

    

    Gradiva Stran
  • Izberi aktivnost References in English

    

    References in English Stran
  • Izberi aktivnost Forum novic

    

    Forum novic
  • Izberi aktivnost Forum vprašanj in odgovorov

    

    Forum vprašanj in odgovorov
• Izberi poglavje 29. september - 5. oktober

  Skrči Razširi

  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).

  • Izberi aktivnost Izročki predavanj, indukcija in izjavni račun

    

    Izročki predavanj, indukcija in izjavni račun Datoteka

    Spremenjeno 1/10/25, 10:50
  • Izberi aktivnost references in English, Induction

    

    references in English, Induction Stran
  • Izberi aktivnost references in English, Propositional logic

    

    references in English, Propositional logic Stran
  • Izberi aktivnost Kviz po predavanjih 1. teden

    

    Kviz po predavanjih 1. teden
  • Izberi aktivnost Domača naloga 1. teden

    

    Domača naloga 1. teden Kviz
• Izberi poglavje 6. oktober - 12. oktober

  Skrči Razširi

  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 

  • Izberi aktivnost Predavanja 7. oktobra ob 14h, Zoom link

    

    Predavanja 7. oktobra ob 14h, Zoom link URL
  • Izberi aktivnost Predavanja 7. oktobra ob 14h, gradiva

    

    Predavanja 7. oktobra ob 14h, gradiva Stran
  • Izberi aktivnost Zakoni izjavnega računa

    

    Zakoni izjavnega računa Datoteka
  • Izberi aktivnost Naloge za vaje, 2. teden

    

    Naloge za vaje, 2. teden Datoteka
  • Izberi aktivnost Posnetek 1. vaj iz leta 2020

    

    Posnetek 1. vaj iz leta 2020 URL
  • Izberi aktivnost Kviz po predavanjih v 2. tednu

    

    Kviz po predavanjih v 2. tednu
  • Izberi aktivnost Domača naloga, 2. teden

    

    Domača naloga, 2. teden Kviz
• Izberi poglavje 13. oktober - 19. oktober

  Skrči Razširi

  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). 

  • Izberi aktivnost Pravila sklepanja

    

    Pravila sklepanja Datoteka
  • Izberi aktivnost Pravilni in nepravilni sklep

    

    Pravilni in nepravilni sklep Datoteka
  • Izberi aktivnost Pomožni sklepi

    

    Pomožni sklepi Datoteka
  • Izberi aktivnost Naloge za vaje, 3. teden

    

    Naloge za vaje, 3. teden Datoteka
  • Izberi aktivnost Kviz po predavanjih v 3. tednu

    

    Kviz po predavanjih v 3. tednu
  • Izberi aktivnost Domača naloga, 3. teden

    

    Domača naloga, 3. teden Kviz
• Izberi poglavje 20. oktober - 26. oktober

  Skrči Razširi

  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.

  • Izberi aktivnost Predikatni račun - izročki predavanj

    

    Predikatni račun - izročki predavanj Datoteka

    Spremenjeno 17/10/25, 11:00
  • Izberi aktivnost references in English, Predicate logic

    

    references in English, Predicate logic Stran
  • Izberi aktivnost Interpretacija in formalizacija

    

    Interpretacija in formalizacija Datoteka
  • Izberi aktivnost Zakoni predikatnega računa

    

    Zakoni predikatnega računa Datoteka

    Naloženo 7/12/22, 16:14
  • Izberi aktivnost Naloge za vaje, 4. teden

    

    Naloge za vaje, 4. teden Datoteka
  • Izberi aktivnost Kviz po predavanjih v 4. tednu

    

    Kviz po predavanjih v 4. tednu
  • Izberi aktivnost Domača naloga, 4. teden

    

    Domača naloga, 4. teden Kviz
• Izberi poglavje 27. oktober - 2. november

  Skrči Razširi

  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).

  • Izberi aktivnost predavanja 30.10.2025, materiali

    

    predavanja 30.10.2025, materiali Stran
  • Izberi aktivnost Teorija množic - izročki predavanj

    

    Teorija množic - izročki predavanj Datoteka

    Spremenjeno 24/10/25, 08:43
  • Izberi aktivnost references in English, Set theory

    

    references in English, Set theory Stran
  • Izberi aktivnost Enakosti z množicami

    

    Enakosti z množicami Datoteka
  • Izberi aktivnost Kviz po predavanjih v 5. tednu

    

    Kviz po predavanjih v 5. tednu
  • Izberi aktivnost Naloge za vaje, 5. teden

    

    Naloge za vaje, 5. teden Datoteka
  • Izberi aktivnost Vaje 5. teden rešitve

    

    Vaje 5. teden rešitve Datoteka
  • Izberi aktivnost Naloge za vaje, 5. teden, rešitve (posnetki)

    

    Naloge za vaje, 5. teden, rešitve (posnetki) Stran
  • Izberi aktivnost Domača naloga, 5. teden

    

    Domača naloga, 5. teden Kviz
• Izberi poglavje 3. november - 9. november

  Skrči Razširi

  3. november - 9. november

  Ta teden

  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), 

  • Izberi aktivnost zapisi s table, predavanja 6.11.2025

    

    zapisi s table, predavanja 6.11.2025 Datoteka

    Naloženo 6/11/25, 15:17
  • Izberi aktivnost Moč množic, relacije, preslikave, izročki predavanj

    

    Moč množic, relacije, preslikave, izročki predavanj Datoteka

    Spremenjeno 31/10/25, 18:17
  • Izberi aktivnost references in English, set cardinality

    

    references in English, set cardinality Stran
  • Izberi aktivnost references in English, relations, functions (mappings)

    

    references in English, relations, functions (mappings) Stran
  • Izberi aktivnost Lastnosti kartezičnega produkta

    

    Lastnosti kartezičnega produkta Datoteka
  • Izberi aktivnost Lastnosti relacij

    

    Lastnosti relacij Datoteka
  • Izberi aktivnost Moč neskončnih množic.

    

    Moč neskončnih množic. Datoteka
  • Izberi aktivnost Naloge za vaje, 6. teden

    

    Naloge za vaje, 6. teden Datoteka
  • Izberi aktivnost Domača naloga, 6. teden

    

    Domača naloga, 6. teden Kviz
  • Izberi aktivnost Kviz po predavanjih v 6. tednu

    

    Kviz po predavanjih v 6. tednu
• Izberi poglavje 10. november - 16. november

  Skrči Razširi

  10. november - 16. november

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

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

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

  Mappings (link), properties (link), inverse mapping (link), composition of functions (link). Properties of a composition of functions (link). 

  • Izberi aktivnost Operacije z relacijami

    

    Operacije z relacijami Datoteka
  • Izberi aktivnost Inverzna preslikava

    

    Inverzna preslikava Datoteka
  • Izberi aktivnost Kompozitum preslikav

    

    Kompozitum preslikav Datoteka
  • Izberi aktivnost Naloge za vaje, 7. teden

    

    Naloge za vaje, 7. teden Datoteka
  • Izberi aktivnost Domača naloga, 7. teden

    

    Domača naloga, 7. teden Kviz
  • Izberi aktivnost Kviz po predavanjih v 7. tednu

    

    Kviz po predavanjih v 7. tednu