Matematika Diskrit adalah cabang matematika yang berfokus pada kajian struktur diskret, yaitu struktur yang tidak bersifat kontinu, seperti bilangan bulat, graf, dan pernyataan logika. Mata kuliah ini memberikan dasar teori dan keterampilan yang penting dalam pemecahan masalah komputasional dan pengembangan algoritma.
Pokok bahasan meliputi:
Logika dan Ekivalensi Logika: Pemahaman tentang proposisi, konektor logika, tabel kebenaran, dan metode pembuktian.
Himpunan, Relasi, dan Fungsi: Operasi himpunan, relasi antar elemen, dan fungsi dalam matematika diskrit.
Deretan dan Rekursi: Analisis deretan angka dan pola, termasuk pengenalan rekursi.
Relasi Rekurens: Teknik penyelesaian dan penerapan relasi rekurens dalam berbagai masalah.
Aljabar Boolean: Konsep dasar aljabar Boolean yang digunakan dalam sirkuit digital dan pemrograman.
Teori Bilangan: Kajian bilangan prima, faktorisasi, dan aplikasi lainnya.
Counting (Penghitungan): Kombinatorika, prinsip pencacahan, dan probabilitas diskret.
Graf dan Tree: Struktur data graf dan tree, beserta aplikasinya dalam jaringan dan algoritma.
Mata kuliah ini dirancang untuk melatih mahasiswa berpikir logis, analitis, dan sistematis, yang sangat diperlukan dalam pengembangan perangkat lunak, analisis algoritma, dan teknologi informasi.
