Diskretne strukture
Section outline
-
DNO in KNO.
Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
Sklepanje v izjavnem računu, uvod.
-
Uploaded 4/10/24, 17:54
-
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.
-
Spremenjeno 1/10/24, 11:36
-
-
Sklepanje v izjavnem računu. Pravila sklepanja.
Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov.
Predikatni račun, uvod. Notranja zgradba izjav.
-
Spremenjeno 9/10/24, 14:16
-
Uploaded 9/10/24, 13:02
-
-
Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.
Enakovrednosti v predikatnem računu.
-
Uploaded 21/10/24, 10:07
-
Preimenovanje spremenljivk. Enakovrednosti z omejitvami. Preneksna normalna oblika.
Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah. Operacije z množicami. Lastnosti operacij z množicami.
-
Spremenjeno 24/10/24, 23:12
-
-
Lastnosti operacij z množicami, nadaljevanje.
Reševanje sistemov enačb z množicami z eno neznanko.
Družine množic. Pokritje in razbitje.
Urejeni pari in kartezični produkt.
-
Uploaded 31/10/24, 11:32
-
-
Spremenjeno 8/11/24, 15:19
-
Uploaded 6/11/24, 17:13
-
-
Ekvivalenčna relacija.
Relacije urejenosti.
Preslikave.
-
Uploaded 15/11/24, 11:47
-
-
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, uvod.
-
Spremenjeno 22/11/24, 12:42
-
Spremenjeno 25/11/24, 11:39
-
-
Praštevila, nadaljevanje. Eulerjeva funkcija fi. Kongruence.
RSA kriptosistem.
-
Uploaded 2/12/24, 09:17