Splošno
Diskretne strukture UNI, 63203
- kazalci, posnetki predavanj v šolskem letu 2020/21 StranOmejeno Ni na voljo, razen če velja karkoli od naštetega:
- Vaše Številka ID je 63220443
- Vaše Številka ID je 63220414
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, nadaljevanje. DNO in KNO.
Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
Sklepanje v izjavnem računu.
Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov.
Notranja zgradba izjav. Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.
Enakovrednosti v predikatnem računu.
Preimenovanje spremenljivk. Enakovrednosti z omejitvami. Preneksna normalna oblika.
Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah.
Lastnosti operacij z množicami.
Reševanje sistemov enačb z množicami z eno neznanko.
Družine množic. Pokritje in razbitje.
Urejeni pari in kartezični produkt.
Lastnosti kartezičnega produkta.
Relacije. Lastnosti relacij.
Operacije z relacijami.Potence relacij. Graf relacije.
Ovojnice.
Ekvivalenčna relacija.
Relacije urejenosti.
Preslikave. Lastnosti.
Kompozitum preslikav. Inverzna preslikava.
Moč množic.
Deljivost celih števil. Največji skupni delitelj in najmanjši skupni večkratnik. Računanje.Linearne diofantske enačbe z dvema neznankama.
Praštevila. Eulerjeva funkcija fi.
Modulska aritmetika.Eulerjev izrek, Mali Fermatov izrek. In posledice.
Potenciranje permutacij in ciklična struktura.
Ta teden so na sporedu samo vaje v izrednem terminu..
Grafi. Stopnje točk. Izomorfizem.
Sprehodi. Povezanost. Eulerjevi grafi. Dvodelni grafi.
Drevesa in gozdovi.
Hamiltonovi grafi.
Barvanje grafov.