General
Diskretne strukture UNI, 63203
Weekly outline
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.
- izročki, izjavni račun File Modified 6/10/22, 23:02
10 October - 16 October
Zakoni izjavnega računa, nadaljevanje. DNO in KNO.
Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
- Vaje, 2. teden File Uploaded 9/10/22, 11:09
- Rešitve vaj, 2. teden (2020) File Uploaded 16/10/20, 16:21
- Zapiski z vaj, 2. teden (2022) File Uploaded 14/10/22, 16:55
17 October - 23 October
Sklepanje v izjavnem računu.
Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov.
- Vaje, 3. teden File Uploaded 16/10/22, 20:07
- Rešitve vaj, 3. teden File Uploaded 10/12/20, 09:07
- Zapiski z vaj, 3. teden (2022) File Uploaded 21/10/22, 14:56
24 October - 30 October
Notranja zgradba izjav. Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.
Enakovrednosti v predikatnem računu.
- Izročki, predikatni račun File Modified 24/10/22, 19:19
- Vaje, 4. teden File Uploaded 21/10/22, 15:59
31 October - 6 November
Preimenovanje spremenljivk. Enakovrednosti z omejitvami. Preneksna normalna oblika.
Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah.
- Izročki, teorija množic File Uploaded 3/11/22, 19:25
- Vaje, 5. teden File Uploaded 30/10/22, 13:03
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.
- Vaje, 6. teden File Uploaded 4/11/22, 13:02
14 November - 20 November
Lastnosti kartezičnega produkta.
Relacije. Lastnosti relacij.
Operacije z relacijami.Potence relacij. Graf relacije.
- izročki, relacije in preslikave File Modified 17/11/22, 10:54
- Vaje, 7. teden File Uploaded 11/11/22, 13:01
21 November - 27 November
Ovojnice.
Ekvivalenčna relacija.
Relacije urejenosti.
- Vaje, 8. teden File Uploaded 18/11/22, 13:08
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.- izročki, moč množic File Uploaded 25/11/22, 15:04
- izročki, teorija števil File Modified 25/11/22, 15:17
- Vaje, 9. teden File Uploaded 27/11/21, 21:21
5 December - 11 December
Linearne diofantske enačbe z dvema neznankama.
Praštevila. Eulerjeva funkcija fi.
Modulska aritmetika.- Vaje, 10. teden File Uploaded 6/12/22, 11:14
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.- izročki, permutacije File Modified 9/12/22, 16:09
- zgled RSA (jupyter notebook) File Uploaded 16/12/22, 15:42
- zgled RSA (pdf) File Uploaded 16/12/22, 15:43
- Vaje, 11. teden File Uploaded 11/12/22, 20:56
19 December - 25 December
Potenciranje permutacij in ciklična struktura.
Izrek o parnosti, igra 15.
Red permutacije. Potenčna enačba.- Vaje, 12. teden File Uploaded 19/12/22, 06:14
26 December - 1 January
Ta teden so na sporedu samo vaje v izrednem terminu..
- Vaje, 13. teden File Uploaded 29/12/22, 10:00
- Rešitve (nekaterih) nalog z vaj, petek 30.12.2022 File Uploaded 30/12/22, 13:34
2 January - 8 January
Grafi. Stopnje točk. Izomorfizem.
Sprehodi. Povezanost. Eulerjevi grafi. Dvodelni grafi.
- izročki, teorija grafov File Uploaded 4/01/23, 23:17
- Vaje, 14. teden File Uploaded 3/01/23, 09:20
9 January - 15 January
Drevesa in gozdovi.
Hamiltonovi grafi.
Barvanje grafov.
- Vaje, 15. teden File Uploaded 10/01/23, 06:23