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. Kuliah ini adalah kuliah pertama bagi mahasiswa
untuk berlatih bernalar secara ketat dan berpikir analitis. Penekanan utama
adalah mengerti cara membuktikan suatu pernyataan dan bagaimana menuliskan
bukti secara formal.
Materi yang dipelajari : konsep logika matematika, kalimat berkuantor, aljabar boolean, Metode Pembuktian Langsung dan Tak Langsung, Induksi
Matematika
Mata Kuliah Prasyarat : Pembelajaran Matematika SMP, Pembelajaran Matematika SMA