Discrete Structures

섹션 개요

• Select section 공통

  축소 확대

  공통

  모두 접기 모두 펼치기

  Diskretne strukture VSŠ 63705

  • Select activity Osnovni podatki o predmetu

    

    Osnovni podatki o predmetu 웹페이지
  • Select activity Obveznosti študenta

    

    Obveznosti študenta 웹페이지
  • Select activity Gradiva

    

    Gradiva 웹페이지
  • Select activity References in English

    

    References in English 웹페이지
  • 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 파일

    2025/10/1 10:50 수정됨
  • Select activity references in English, Induction

    

    references in English, Induction 웹페이지
  • Select activity references in English, Propositional logic

    

    references in English, Propositional logic 웹페이지
  • 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 7. oktober - 13. oktober

  축소 확대

  7. oktober - 13. 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 웹페이지
  • 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 14. oktober - 20. oktober

  축소 확대

  14. oktober - 20. 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 퀴즈