Discrete Structures
섹션 개요
-
Diskretne strukture UNI, 63203
-
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.
-
2025/10/1 10:17 수정됨
-
-
DNO in KNO.
Polni nabori izjavnih veznikov. Še trije izjavni vezniki.
-
2025/10/11 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.
-
2025/10/17 14:52 수정됨
-