Discrete Structures

Section outline

• Select section General

  General

  Collapse all Expand all

  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 30. september - 6. oktober

  30. september - 6. 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 File

    Modified 1/10/24, 12:14
  • 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 Quiz
  • Select activity Domača naloga 1. teden

    

    Domača naloga 1. teden Quiz
• Select section 7. oktober - 13. oktober

  7. oktober - 13. oktober

  Current week

  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 8. oktobra ob 17h, Zoom link

    

    Predavanja 8. oktobra ob 17h, Zoom link URL
  • Select activity Predavanja 8. oktobra ob 17h, gradiva

    

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

    

    Zakoni izjavnega računa File
  • Select activity Naloge za vaje, 2. teden

    

    Naloge za vaje, 2. teden File
  • Select activity Kviz po predavanjih v 2. tednu

    

    Kviz po predavanjih v 2. tednu Quiz
  • Select activity Domača naloga, 2. teden

    

    Domača naloga, 2. teden Quiz
• Select section 14. oktober - 20. oktober

  14. oktober - 20. oktober

  Predavanja: Lastnosti ekskluzivne disjunkcije. 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: Properties of XOR. 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 Naloge za vaje, 3. teden

    

    Naloge za vaje, 3. teden File
  • Select activity Kviz po predavanjih v 3. tednu

    

    Kviz po predavanjih v 3. tednu Quiz