Discrete Structures

Section outline

• Select section General

  Collapse Expand

  General

  Collapse all Expand all

  Diskretne strukture UNI, 63203

  • 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 activity Sokratski tutor: AI način za učenje

    

    Sokratski tutor: AI način za učenje URL
• Select section 5 October - 11 October

  Collapse Expand

  5 October - 11 October

  Predstavitev predmeta in ekipe.

  Logika. Izjave. Izjavni vezniki. Izjavni izrazi.

  Resničnostna tabela izjavnega izraza. Konstrukcijsko drevo izjavnega izraza. Tavtologija, protislovje.

  Enakovrednost izjavnih izrazov. Zakoni izjavnega računa.

  • Select activity izročki, izjavni račun

    

    izročki, izjavni račun File

    Modified 4/10/26, 21:07
  • Select activity references in English, Propositional Logic

    

    references in English, Propositional Logic Page
  • Select activity Izjavni vezniki.

    

    Izjavni vezniki. File
  • Select activity Izjavni izrazi.

    

    Izjavni izrazi. File
  • Select activity Zakoni izjavnega računa.

    

    Zakoni izjavnega računa. File
  • Select activity Kviz po predavanjih, 1. teden

    

    Kviz po predavanjih, 1. teden Quiz
  • Select activity Vaje 1

    

    Vaje 1 File
  • Select activity Domača naloga 1

    

    Domača naloga 1 Quiz
• Select section 12 October - 18 October

  Collapse Expand

  12 October - 18 October

  Enakovredni izjavni izrazi, nadaljevanje.

  DNO in KNO. 

  Polni nabori izjavnih veznikov. Še trije izjavni vezniki.

  Sklepanje v izjavnem računu, nepravilen sklep.

  • Select activity Še trije izjavni vezniki.

    

    Še trije izjavni vezniki. File
  • Select activity Nepoln nabor (negacija in ekvivalenca)

    

    Nepoln nabor (negacija in ekvivalenca) File
  • Select activity Vaje 2

    

    Vaje 2 File

    Uploaded 11/10/26, 08:39
  • Select activity Domača naloga 2

    

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

    

    Kviz po predavanjih, 2. teden Quiz
• Select section 19 October - 25 October

  Collapse Expand

  19 October - 25 October

  Sklepanje v izjavnem računu. Pravila sklepanja.

  Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov. 

  Predikatni račun, uvod. Notranja zgradba izjav. 

  • Select activity Izročki, predikatni račun

    

    Izročki, predikatni račun File

    Modified 16/10/26, 14:28
  • Select activity references in English, Predicate Logic

    

    references in English, Predicate Logic Page
  • Select activity Pravilni in nepravilni sklep.

    

    Pravilni in nepravilni sklep. File
  • Select activity Pravila sklepanja.

    

    Pravila sklepanja. File
  • Select activity Pomožni sklepi.

    

    Pomožni sklepi. File
  • Select activity Vaje 3

    

    Vaje 3 File
  • Select activity Domača naloga 3

    

    Domača naloga 3 Quiz
  • Select activity Kviz po predavanjih, 3. teden

    

    Kviz po predavanjih, 3. teden Quiz
• Select section 26 October - 1 November

  Collapse Expand

  26 October - 1 November

  Current week

  Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.

  Enakovrednosti v predikatnem računu. 

  • Select activity Interpretacija in formalizacija.

    

    Interpretacija in formalizacija. File
  • Select activity Zakoni predikatnega računa.

    

    Zakoni predikatnega računa. File
  • Select activity Vaje 4

    

    Vaje 4 File
  • Select activity Domača naloga 4

    

    Domača naloga 4 Quiz
  • Select activity Kviz po predavanjih, 4. teden

    

    Kviz po predavanjih, 4. teden Quiz