Splošno
Diskretne strukture UNI, 63203
Tedenski oris
- Splošno
- 1. oktober - 7. oktober
1. oktober - 7. 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. Zakoni izjavnega računa.
izročki, izjavni račun Vir Spremenjeno 3/10/2018 17:47
- 8. oktober - 14. oktober
8. oktober - 14. oktober
DNO in KNO. Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
Sklepanje v izjavnem računu.
- 15. oktober - 21. oktober
15. oktober - 21. oktober
Sklepanje v izjavnem računu, nadaljevanje.
Pravila sklepanja.
Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov.
Notranja zgradba izjav. Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.
- 22. oktober - 28. oktober
- 29. oktober - 4. november
29. oktober - 4. november
Predavanja v tem tednu odpadejo. Prazniki.
- 5. november - 11. november
5. november - 11. november
Izjavne formule. Enakovrednosti v predikatnem računu.
Zakoni predikatnega računa z omejitvami. Preneksna normalna oblika.
Sklepanje v predikatnem računu.
- 12. november - 18. novemberTrenutno teden
12. november - 18. november
Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah.
Operacije z množicami. Lastnosti operacij. Potenčna množica.
Reševanje sistemov enačb z množicami z eno neznanko.
Unija in presek družine. Pokritje in razbitje.
