Logika Diskrit (C)

Matakuliah ini memberikan gambaran mengenai teori-teori himpunan,  pernyataan atau kalimat logika proposisi dan proposisi majemuk, pembuktian keekivalenan dua buah proposisi dengan menggunakan hukum-hukum logika proposisi atau dengan tabel kebenaran, mengkombinasikan proposisi, macam metode-metode untuk penarikan kesimpulan (inferensi) yang dapat dibuktikan dengan tabel kebenaran, struktur diskrit seperti himpunan, matriks, relasi dan fungsi, induksi matematik, kombinatorial dan peluang diskrit