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
- This week
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
5 December - 11 December
Linearne diofantske enačbe z dvema neznankama.
Praštevila. Eulerjeva funkcija fi.
Modulska aritmetika. Eulerjev izrek, Mali Fermatov izrek.