Discrete Structures
Section outline
-
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.
-
Изменето 1/10/2025 10:17
-
-
DNO in KNO.
Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
-
Прикачено 11/10/2025 19:37
-
Sklepanje v izjavnem računu. Pravila sklepanja.
Pomožni sklepi: pogojni sklep, sklep s protislovjem, analiza primerov.
Predikatni račun, uvod. Notranja zgradba izjav.
-
Изменето 17/10/2025 14:52
-
-
Kvantifikatorji. Interpretacija in formalizacija. Izjavne formule.
Enakovrednosti v predikatnem računu.
-
Preneksna normalna oblika.
Teorija množic. Russellov paradoks. Enakost in vsebovanost pri množicah. Operacije z množicami. Lastnosti operacij z množicami.
-
Прикачено 3/11/2025 16:12
-
Изменето 31/10/2025 13:10
-
-
Reševanje sistemov enačb z množicami z eno neznanko.
Družine množic. Pokritje in razbitje.
Urejeni pari in kartezični produkt.
Relacije. Lastnosti relacij.
-
Прикачено 11/11/2025 11:06
-
Изменето 7/11/2025 15:45
-
Прикачено 9/11/2025 19:31
-
-
-
Прикачено 17/11/2025 16:10
-
-
Ekvivalenčna relacija.
Relacije urejenosti.
Preslikave.
Moč množic.
-
Изменето 22/11/2025 16:16
-
-
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.
-
Изменето 28/11/2025 18:25
-
-
Praštevila. Eulerjeva funkcija fi. Kongruence.
RSA kriptosistem.
-
Прикачено 16/12/2022 15:42
-
Прикачено 16/12/2022 15:43