Matakuliah Logika Matematika membahas tentang konsep
logika matematika, kata-kata penghubung logika matematika, konvers, invers,
kontraposisi, tautologi, kontradiksi, kontingensi, ekuivalensi logis, kalimat berkuantor,
metode inferensi, konsep aljabar boolean, aksioma aljabar boolean, sifat
aljabar boolean, bentuk fungsi aljabar boolean, operasi dan gerbang logika,
metode penyederhanaan fungsi boolean, Metode Pembuktian Langsung dan Tak
Langsung, Induksi Matematika. Penekanan utama
adalah mengerti cara membuktikan suatu pernyataan dan bagaimana menuliskan
bukti secara formal.
- DOSEN: NOVIAN RISKIANA DEWI
Skill Level: Beginner