Weekly outline
- Diskretne strukture UNI, 63203
3 October - 9 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.
10 October - 16 October
Zakoni izjavnega računa, nadaljevanje. DNO in KNO.
Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
17 October - 23 October
Sklepanje v izjavnem računu.
Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov.
24 October - 30 October
Notranja zgradba izjav. Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.
Enakovrednosti v predikatnem računu.
31 October - 6 November
Preimenovanje spremenljivk. Enakovrednosti z omejitvami. Preneksna normalna oblika.
Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah.
7 November - 13 November
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.
14 November - 20 November
Lastnosti kartezičnega produkta.
Relacije. Lastnosti relacij.
Operacije z relacijami.Potence relacij. Graf relacije.
21 November - 27 November
Ovojnice.
Ekvivalenčna relacija.
Relacije urejenosti.
28 November - 4 December
Preslikave. Lastnosti.
Kompozitum preslikav. Inverzna preslikava.
Moč množic.
Deljivost celih števil. Največji skupni delitelj in najmanjši skupni večkratnik. Računanje.5 December - 11 December
Linearne diofantske enačbe z dvema neznankama.
Praštevila. Eulerjeva funkcija fi.
Modulska aritmetika.12 December - 18 December
Eulerjev izrek, Mali Fermatov izrek. In posledice.
RSA kriptosistem.
Permutacije. Zapis s tabelico in disjunktnimi cikli.
Potenciranje permutacij in ciklična struktura.19 December - 25 December
Potenciranje permutacij in ciklična struktura.
Izrek o parnosti, igra 15.
Red permutacije. Potenčna enačba.26 December - 1 January
Ta teden so na sporedu samo vaje v izrednem terminu..
2 January - 8 January
Grafi. Stopnje točk. Izomorfizem.
Sprehodi. Povezanost. Eulerjevi grafi. Dvodelni grafi.
9 January - 15 January
Drevesa in gozdovi.
Hamiltonovi grafi.
Barvanje grafov.