General
Diskretne strukture UNI, 63203
Weekly outline
- General
- 7 October - 13 October
7 October - 13 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. Zakoni izjavnega računa.
- izročki, izjavni račun File Modified 3/10/19, 23:58
- Vaje, 1. teden File Uploaded 5/10/19, 11:10
- 14 October - 20 October
14 October - 20 October
DNO in KNO. Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
Sklepanje v izjavnem računu.
- Vaje, 2. teden File Uploaded 10/10/19, 09:55
- 21 October - 27 October
21 October - 27 October
Sklepanje v izjavnem računu, nadaljevanje.
Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov.
Notranja zgradba izjav.
- Izročki, predikatni račun File Modified 20/10/19, 11:10
- Vaje, 3. teden File Uploaded 17/10/19, 10:02
- 28 October - 3 November
28 October - 3 November
Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.
Enakovrednosti v predikatnem računu.
- Vaje, 4. teden File Uploaded 23/10/19, 11:01
- 4 November - 10 November
4 November - 10 November
Zakoni predikatnega računa z omejitvami. Preneksna normalna oblika.
Sklepanje v predikatnem računu.
Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah.
- izročki, teorija množic File Modified 3/11/19, 15:08
- Vaje, 5. teden File Uploaded 30/10/19, 13:26
- 11 November - 17 November
11 November - 17 November
Operacije z množicami. Lastnosti operacij. Potenčna množica.
Reševanje sistemov enačb z množicami z eno neznanko.
Družine množic. Pokritje in razbitje.
- Vaje, 6. teden File Uploaded 6/11/19, 13:53
- 18 November - 24 November
18 November - 24 November
Urejeni pari in kartezični produkt.
Lastnosti kartezičnega produkta.
Relacije. Lastnosti relacij.
Potence relacij. Graf relacije.
- izročki, relacije in preslikave File Uploaded 15/11/19, 14:13
- Vaje, 7. teden File Uploaded 13/11/19, 13:23
- 25 November - 1 December
25 November - 1 December
Potence relacij na grafu relacije. Ovojnice.
Ekvivalenčna relacija. Relacije urejenosti.
- Vaje, 8. teden File Uploaded 25/11/19, 21:50
- 2 December - 8 December
2 December - 8 December
Preslikave. Lastnosti.
Kompozitum preslikav. Inverzna preslikava.Moč množic. Princip vključitev in izključitev. Dirichletov princip.
Deljivost celih števil. Največji skupni delitelj in najmanjši skupni večkratnik. Računanje.
- izročki, moč množic in teorija števil File Uploaded 30/11/19, 23:01
- Vaje, 9. teden File Uploaded 2/12/19, 15:06
- 9 December - 15 December
9 December - 15 December
Linearne diofantske enačbe z dvema neznankama.
Praštevila. Eulerjeva funkcija fi.
Modulska aritmetika.
- Vaje, 10. teden File Uploaded 10/12/19, 09:05
- 16 December - 22 December
16 December - 22 December
Eulerjev izrek, Mali Fermatov izrek. RSA kriptosistem.
Permutacije. Zapis s tabelico in disjunktnimi cikli.- izročki, permutacije File Modified 14/12/19, 17:19
- Vaje, 11. teden File Uploaded 16/12/19, 10:45
- 23 December - 29 December
23 December - 29 December
Potenciranje permutacij in ciklična struktura.
Izrek o parnosti, red permutacije, potenčna enačba. - 30 December - 5 January
30 December - 5 January
Predah od predavanj in vaj.
- 6 January - 12 January
6 January - 12 January
Grafi, hiter uvod.
Podgrafi. Sprehodi, povezanost.
Dvodelni grafi. Eulerjevi grafi.
- izročki, teorija grafov File Modified 24/12/19, 15:45
- Vaje, 13. teden File Uploaded 6/01/20, 15:54
- 13 January - 19 January
13 January - 19 January
Drevesa in gozdovi, nadaljevanje.
Hamiltonovi grafi. Barvanje grafov.
- Vaje, 14. teden File Modified 14/01/20, 17:26