Diskretne strukture

Tedenski oris

• Splošno
  
  

  Splošno

  Diskretne strukture UNI, 63203

  • Osnovni podatki o predmetu Stran
  • Obveznosti študenta Stran
  • Gradiva Stran
  • References in English Stran
  • Tutorske ure Stran
  • Rezultati Stran
  • Forum novic
  • Forum vprašanj in odgovorov
• 2. oktober - 8. oktober
  
  

  2. oktober - 8. oktober

  Predstavitev predmeta in ekipe.

  Logika. Izjave. Izjavni vezniki. Izjavni izrazi.

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

  Enakovrednost izjavnih izrazov.

  • izročki, izjavni račun Vir Naloženo 3/10/2017 22:29
  • references in English, Propositional Logic Stran
  • Izjavni vezniki. Vir
  • Izjavni izrazi. Vir
  • kviz po 1. predavanjih
  • 1. domača naloga Kviz
• 9. oktober - 15. oktober
  
  

  9. oktober - 15. oktober

  Zakoni izjavnega računa.

  DNO in KNO. Polni nabori izjavnih veznikov. Še trije izjavni vezniki.

  • Še trije izjavni vezniki. Vir
  • Nepoln nabor (negacija in ekvivalenca) Vir
  • Vaje, 2. teden Vir Naloženo 7/10/2017 10:03
  • kviz po 2. predavanjih
  • 2. domača naloga Kviz
• 16. oktober - 22. oktober
  
  

  16. oktober - 22. oktober

  Sklepanje v izjavnem računu.

  Pravila sklepanja.

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

  • Argument Clinic, Monthy Python URL
  • Pravila sklepanja. Vir
  • Pravilni in nepravilni sklep. Vir
  • Pomožni sklepi. Vir
  • kviz po 3. predavanjih
  • Vaje, 3. teden Vir Naloženo 13/10/2017 10:10
  • Domača naloga, 3. teden Kviz
• 23. oktober - 29. oktober
  Trenutno teden
  

  23. oktober - 29. oktober

  Notranja zgradba izjav. Kvantifikatorji. Interpetacija in formalizacija.
  

  Izjavne formule. Enakovrednosti v predikatnem računu.

  • izročki, predikatni račun Vir Naloženo 20/10/2017 15:23
  • references in English, Predicate Logic Stran
  • Interpretacija in formalizacija. Vir
  • Zakoni predikatnega računa. Vir
  • Kviz po 4. predavanjih
  • Vaje, 4. teden Vir Naloženo 20/10/2017 17:02
  • Domača naloga, 4. teden Kviz